Lines Matching defs:initsWhenTrue
245 Bits initsWhenTrue;
500 initsWhenTrue = inits;
509 inits = initsWhenFalse.andSet(initsWhenTrue);
546 * (un)initsWhenTrue(WhenFalse) on exit.
563 /** Analyze a condition. Make sure to set (un)initsWhenTrue(WhenFalse)
569 initsWhenTrue = inits.dup();
570 initsWhenTrue.inclRange(firstadr, nextadr);
581 initsWhenTrue = inits;
821 inits = initsWhenTrue;
846 inits = initsWhenTrue;
882 inits = initsWhenTrue;
1187 inits = initsWhenTrue;
1196 Bits initsAfterThenWhenTrue = initsWhenTrue.dup();
1203 initsWhenTrue.andSet(initsAfterThenWhenTrue);
1223 inits = initsWhenTrue;
1354 initsWhenFalse = initsWhenTrue;
1355 initsWhenTrue = t;
1376 inits = initsWhenTrue;
1384 Bits initsWhenTrueLeft = initsWhenTrue;
1389 initsWhenTrue.andSet(initsWhenTrueLeft);
1451 initsWhenTrue = initsWhenFalse =
1470 initsWhenTrue = initsWhenFalse =