libbarrelfish: memobj_anon: return error if frame_identify fails

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/lib/barrelfish/vspace/memobj_anon.c b/lib/barrelfish/vspace/memobj_anon.c
index 9032b50..2974dab 100644 (file)
--- a/lib/barrelfish/vspace/memobj_anon.c
+++ b/lib/barrelfish/vspace/memobj_anon.c
@@ -270,6 +270,9 @@ static errval_t fill_foff(struct memobj *memobj, genvaddr_t offset, struct capre
 
     struct frame_identity fi;
     err = frame_identify(frame, &fi);
+    if (err_is_fail(err)) {
+        return err_push(err, LIB_ERR_FRAME_IDENTIFY);
+    }
     assert(err_is_ok(err));
     new->pa = fi.base;