Lines Matching refs:complainIfUndefined
76 behaviour. [mc_translate.c:complainIfUndefined]
85 argument) [complainIfUndefined]
88 control flow. [complainIfUndefined]
95 [complainIfUndefined]
106 historical reasons.) [complainIfUndefined]
1094 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom, IRExpr *guard )
1322 /* complainIfUndefined(mce, atom); */
1368 complainIfUndefined(mce, ix, NULL);
1372 /* complainIfUndefined(mce, atom); */
1417 complainIfUndefined(mce, ix, NULL);
2509 complainIfUndefined(mce, atom3, NULL);
2512 complainIfUndefined(mce, atom3, NULL);
2517 complainIfUndefined(mce, atom2, NULL);
2584 complainIfUndefined(mce, atom2, NULL);
2667 complainIfUndefined(mce, atom2, NULL);
2673 complainIfUndefined(mce, atom2, NULL);
2679 complainIfUndefined(mce, atom2, NULL);
2685 complainIfUndefined(mce, atom2, NULL);
2782 complainIfUndefined(mce, atom2, NULL);
2785 complainIfUndefined(mce, atom2, NULL);
2788 complainIfUndefined(mce, atom2, NULL);
2818 complainIfUndefined(mce, atom2, NULL);
2865 complainIfUndefined(mce, atom2, NULL);
2872 complainIfUndefined(mce, atom2, NULL);
3029 complainIfUndefined(mce, atom2, NULL);
3035 complainIfUndefined(mce, atom2, NULL);
3041 complainIfUndefined(mce, atom2, NULL);
3047 complainIfUndefined(mce, atom2, NULL);
3110 complainIfUndefined(mce, atom2, NULL);
3113 complainIfUndefined(mce, atom2, NULL);
3116 complainIfUndefined(mce, atom2, NULL);
3119 complainIfUndefined(mce, atom2, NULL);
3178 complainIfUndefined(mce, atom2, NULL);
3844 complainIfUndefined( mce, addr, NULL );
4193 complainIfUndefined( mce, addr, guard );
4420 complainIfUndefined(mce, d->guard, NULL);
4494 complainIfUndefined(mce, d->mAddr, d->guard);
5497 complainIfUndefined( &mce, st->Ist.Exit.guard, NULL );
5568 complainIfUndefined( &mce, sb_in->next, NULL );
