Merge pull request #9770 from MathiasVP/nomagic-use-in-own-init

MathiasVP · web-flow · commit 3bacb18315c4 · 2022-07-02T16:35:45.000+01:00
C++: Add `nomagic` to `VariableAccessInInitializer`
diff --git a/cpp/ql/src/Likely Bugs/UseInOwnInitializer.ql b/cpp/ql/src/Likely Bugs/UseInOwnInitializer.ql
@@ -15,6 +15,7 @@ class VariableAccessInInitializer extends VariableAccess {
   Variable var;
   Initializer init;
 
+  pragma[nomagic]
   VariableAccessInInitializer() {
     init.getDeclaration() = var and
     init.getExpr().getAChild*() = this
