C++: Enable sound IR.

MathiasVP · MathiasVP · commit 4831ee65b6da · 2024-04-08T10:10:31.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/IRConfiguration.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/IRConfiguration.qll
@@ -41,5 +41,5 @@ class IREscapeAnalysisConfiguration extends TIREscapeAnalysisConfiguration {
    * Holds if the escape analysis done by SSA construction should be sound. By default, the SSA is
    * built assuming that no variable's address ever escapes.
    */
-  predicate useSoundEscapeAnalysis() { none() }
+  predicate useSoundEscapeAnalysis() { any() }
 }

Original file line number	Diff line number	Diff line change
`@@ -41,5 +41,5 @@ class IREscapeAnalysisConfiguration extends TIREscapeAnalysisConfiguration {`
`41`	`41`	`* Holds if the escape analysis done by SSA construction should be sound. By default, the SSA is`
`42`	`42`	`* built assuming that no variable's address ever escapes.`
`43`	`43`	`*/`
`44`		`- predicate useSoundEscapeAnalysis() { none() }`
	`44`	`+ predicate useSoundEscapeAnalysis() { any() }`
`45`	`45`	`}`