Searched defs:setjmp_sval (Results 1 – 3 of 3) sorted by relevance
333 setjmp_svalue *setjmp_sval = new setjmp_svalue (r, type); in get_or_create_setjmp_svalue() local
1644 const setjmp_svalue *setjmp_sval in on_longjmp() local
1244 setjmp_svalue *setjmp_sval = buf_content_sval->dyn_cast_setjmp_svalue (); in on_longjmp() local