Searched refs:setjmp_sval1 (Results 1 – 4 of 4) sorted by relevance
369 const setjmp_svalue *setjmp_sval1 = (const setjmp_svalue *)sval1; in cmp_ptr() local371 const setjmp_record &rec1 = setjmp_sval1->get_setjmp_record (); in cmp_ptr()
397 const setjmp_svalue *setjmp_sval1 = (const setjmp_svalue *)sval1; in cmp_ptr() local399 const setjmp_record &rec1 = setjmp_sval1->get_setjmp_record (); in cmp_ptr()