File tree Expand file tree Collapse file tree 1 file changed +3
-10
lines changed Expand file tree Collapse file tree 1 file changed +3
-10
lines changed Original file line number Diff line number Diff line change @@ -652,6 +652,7 @@ class Transferer {
652
652
Factory.OriginMapFact .add (InState.Origins , DestOID, SrcLoans));
653
653
}
654
654
};
655
+
655
656
// ========================================================================= //
656
657
// Dataflow analysis
657
658
// ========================================================================= //
@@ -719,19 +720,11 @@ class LifetimeDataflow {
719
720
}
720
721
721
722
LifetimeLattice getEntryState (const CFGBlock *B) const {
722
- auto It = BlockEntryStates.find (B);
723
- if (It != BlockEntryStates.end ()) {
724
- return It->second ;
725
- }
726
- return LifetimeLattice{};
723
+ return BlockEntryStates.lookup (B);
727
724
}
728
725
729
726
LifetimeLattice getExitState (const CFGBlock *B) const {
730
- auto It = BlockExitStates.find (B);
731
- if (It != BlockExitStates.end ()) {
732
- return It->second ;
733
- }
734
- return LifetimeLattice{};
727
+ return BlockExitStates.lookup (B);
735
728
}
736
729
};
737
730
You can’t perform that action at this time.
0 commit comments