Lines Matching refs:complainIfUndefined
83 behaviour. [mc_translate.c:complainIfUndefined]
92 argument) [complainIfUndefined]
95 control flow. [complainIfUndefined]
102 [complainIfUndefined]
113 historical reasons.) [complainIfUndefined]
1211 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom, IRExpr *guard )
1457 /* complainIfUndefined(mce, atom); */
1503 complainIfUndefined(mce, ix, NULL);
1507 /* complainIfUndefined(mce, atom); */
1552 complainIfUndefined(mce, ix, NULL);
2880 complainIfUndefined(mce, atom3, NULL);
2884 complainIfUndefined(mce, atom3, NULL);
2889 complainIfUndefined(mce, atom2, NULL);
2894 complainIfUndefined(mce, atom3, NULL);
2988 complainIfUndefined(mce, atom2, NULL);
3071 complainIfUndefined(mce, atom2, NULL);
3077 complainIfUndefined(mce, atom2, NULL);
3083 complainIfUndefined(mce, atom2, NULL);
3089 complainIfUndefined(mce, atom2, NULL);
3186 complainIfUndefined(mce, atom2, NULL);
3189 complainIfUndefined(mce, atom2, NULL);
3192 complainIfUndefined(mce, atom2, NULL);
3227 complainIfUndefined(mce, atom2, NULL);
3308 complainIfUndefined(mce, atom2, NULL);
3315 complainIfUndefined(mce, atom2, NULL);
3489 complainIfUndefined(mce, atom2, NULL);
3495 complainIfUndefined(mce, atom2, NULL);
3501 complainIfUndefined(mce, atom2, NULL);
3507 complainIfUndefined(mce, atom2, NULL);
3570 complainIfUndefined(mce, atom2, NULL);
3644 complainIfUndefined(mce, atom2, NULL);
3647 complainIfUndefined(mce, atom2, NULL);
3650 complainIfUndefined(mce, atom2, NULL);
3653 complainIfUndefined(mce, atom2, NULL);
3723 complainIfUndefined(mce, atom2, NULL);
3729 complainIfUndefined(mce, atom2, NULL);
4146 complainIfUndefined(mce, atom2, NULL);
4629 complainIfUndefined( mce, addr, guard );
5071 complainIfUndefined( mce, addr, guard );
5298 complainIfUndefined(mce, d->guard, NULL);
5374 complainIfUndefined(mce, d->mAddr, d->guard);
6046 complainIfUndefined(mce, sg->guard, NULL);
6059 complainIfUndefined(mce, lg->guard, NULL);
6463 complainIfUndefined( &mce, st->Ist.Exit.guard, NULL );
6534 complainIfUndefined( &mce, sb_in->next, NULL );
