Update lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDESecureHeapPropagation.cpp

pdschubert · vulder · web-flow · commit 56018978189b · 2022-01-11T15:44:18.000+01:00
Co-authored-by: Florian Sattler &lt;vuld3r@gmail.com&gt;
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDESecureHeapPropagation.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDESecureHeapPropagation.cpp
@@ -315,7 +315,7 @@ IDESecureHeapPropagation::SHPGenEdgeFn::getInstance(l_t Val) {
                                                                nullptr};
   auto Ind = static_cast<std::underlying_type<l_t>::type>(Val);
   if (!Cache.at(Ind)) {
-    Cache.at(Ind) = std::make_shared<SHPGenEdgeFn>(Val);
+    Cache[Ind] = std::make_shared<SHPGenEdgeFn>(Val);
   }
   return Cache.at(Ind);
 }

Original file line number	Diff line number	Diff line change
`@@ -315,7 +315,7 @@ IDESecureHeapPropagation::SHPGenEdgeFn::getInstance(l_t Val) {`
`315`	`315`	`nullptr};`
`316`	`316`	`auto Ind = static_cast<std::underlying_type<l_t>::type>(Val);`
`317`	`317`	`if (!Cache.at(Ind)) {`
`318`		`- Cache.at(Ind) = std::make_shared<SHPGenEdgeFn>(Val);`
	`318`	`+ Cache[Ind] = std::make_shared<SHPGenEdgeFn>(Val);`
`319`	`319`	`}`
`320`	`320`	`return Cache.at(Ind);`
`321`	`321`	`}`