reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
270 Solver.MarkBlockExecutable(FEntry); 271 Solver.Solve(); 273 EXPECT_TRUE(Solver.isBlockExecutable(GEntry)); 309 Solver.MarkBlockExecutable(FEntry); 310 Solver.MarkBlockExecutable(GEntry); 311 Solver.Solve(); 314 EXPECT_TRUE(Solver.getExistingValueState(MemGV).isConstant()); 350 Solver.MarkBlockExecutable(FEntry); 351 Solver.MarkBlockExecutable(GEntry); 352 Solver.Solve(); 355 EXPECT_TRUE(Solver.getExistingValueState(MemGV).isOverdefined()); 391 Solver.MarkBlockExecutable(If); 392 Solver.Solve(); 395 EXPECT_TRUE(Solver.getExistingValueState(RetF).isConstant()); 431 Solver.MarkBlockExecutable(If); 432 Solver.Solve(); 435 EXPECT_TRUE(Solver.getExistingValueState(RetF).isOverdefined()); 478 Solver.MarkBlockExecutable(FEntry); 479 Solver.Solve(); 483 EXPECT_TRUE(Solver.getExistingValueState(RegA).isOverdefined()); 484 EXPECT_TRUE(Solver.getExistingValueState(RegB).isConstant()); 537 Solver.MarkBlockExecutable(Entry); 538 Solver.Solve(); 540 EXPECT_TRUE(Solver.isBlockExecutable(Pad)); 541 EXPECT_TRUE(Solver.isBlockExecutable(Body)); 542 EXPECT_TRUE(Solver.isBlockExecutable(Exit));