diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c index 0d5fa9dc6..9ae788e8e 100644 --- a/src/runtime/c/pgf/jit.c +++ b/src/runtime/c/pgf/jit.c @@ -26,6 +26,16 @@ PGF_INTERNAL void pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr, PgfAbsCat* abscat) { + size_t n_funs = pgf_read_len(rdr); + gu_return_on_exn(rdr->err, ); + + for (size_t i = 0; i < n_funs; i++) { + gu_in_f64be(rdr->in, rdr->err); // ignore + gu_return_on_exn(rdr->err, ); + + PgfCId name = pgf_read_cid(rdr, rdr->tmp_pool); + gu_return_on_exn(rdr->err, ); + } } PGF_INTERNAL void diff --git a/src/runtime/c/pgf/reader.c b/src/runtime/c/pgf/reader.c index 755f14a24..9342d699e 100644 --- a/src/runtime/c/pgf/reader.c +++ b/src/runtime/c/pgf/reader.c @@ -1326,7 +1326,7 @@ pgf_read_concretes(PgfReader* rdr, PgfAbstr* abstr, bool with_content) PGF_INTERNAL PgfPGF* pgf_read_pgf(PgfReader* rdr) { PgfPGF* pgf = gu_new(PgfPGF, rdr->opool); - + pgf->major_version = gu_in_u16be(rdr->in, rdr->err); gu_return_on_exn(rdr->err, NULL); @@ -1335,7 +1335,7 @@ pgf_read_pgf(PgfReader* rdr) { pgf->gflags = pgf_read_flags(rdr); gu_return_on_exn(rdr->err, NULL); - + pgf_read_abstract(rdr, &pgf->abstract); gu_return_on_exn(rdr->err, NULL);