1211 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom, IRExpr *guard )  in complainIfUndefined()  function
1503    complainIfUndefined(mce, ix, NULL);  in do_shadow_PUTI()
1552    complainIfUndefined(mce, ix, NULL);  in shadow_GETI()
2880          complainIfUndefined(mce, atom3, NULL);  in expr2vbits_Triop()
2884          complainIfUndefined(mce, atom3, NULL);  in expr2vbits_Triop()
2889          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Triop()
2894          complainIfUndefined(mce, atom3, NULL);  in expr2vbits_Triop()
2988          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3071          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3077          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3083          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3089          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3186          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3189          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3192          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3227          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3308          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3315          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3489          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3495          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3501          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3507          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3570          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3644          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3647          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3650          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3653          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3723          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
3729          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
4150          complainIfUndefined(mce, atom2, NULL);  in expr2vbits_Binop()
4633    complainIfUndefined( mce, addr, guard );  in expr2vbits_Load_WRK()
5075    complainIfUndefined( mce, addr, guard );  in do_shadow_Store()
5302    complainIfUndefined(mce, d->guard, NULL);  in do_shadow_Dirty()
5378       complainIfUndefined(mce, d->mAddr, d->guard);  in do_shadow_Dirty()
6050    complainIfUndefined(mce, sg->guard, NULL);  in do_shadow_StoreG()
6063    complainIfUndefined(mce, lg->guard, NULL);  in do_shadow_LoadG()
6470             complainIfUndefined( &mce, st->Ist.Exit.guard, NULL );  in MC_()
6541    complainIfUndefined( &mce, sb_in->next, NULL );  in MC_()