C++: Mark constexpr if as unevalauted.

MathiasVP · MathiasVP · commit fe575df32501 · 2024-07-31T13:09:12.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll
@@ -307,6 +307,10 @@ class Expr extends StmtParent, @expr {
     )
     or
     exists(Decltype d | d.getExpr() = this.getParentWithConversions*())
+    or
+    exists(ConstexprIfStmt constIf |
+      constIf.getControllingExpr() = this.getParentWithConversions*()
+    )
   }
 
   /**
diff --git a/cpp/ql/test/library-tests/exprs/unevaluated/unevaluated.expected b/cpp/ql/test/library-tests/exprs/unevaluated/unevaluated.expected
@@ -14,3 +14,7 @@
 | test.cpp:57:9:57:9 | 4 |
 | test.cpp:63:9:63:19 | call to getAVirtual |
 | test.cpp:63:9:63:21 | temporary object |
+| test.cpp:67:16:67:26 | sizeof(int) |
+| test.cpp:67:16:67:31 | ... == ... |
+| test.cpp:67:31:67:31 | 4 |
+| test.cpp:67:31:67:31 | (unsigned long)... |

Original file line number	Diff line number	Diff line change
`@@ -307,6 +307,10 @@ class Expr extends StmtParent, @expr {`
`307`	`307`	`)`
`308`	`308`	`or`
`309`	`309`	`exists(Decltype d \| d.getExpr() = this.getParentWithConversions*())`
	`310`	`+ or`
	`311`	`+ exists(ConstexprIfStmt constIf \|`
	`312`	`+ constIf.getControllingExpr() = this.getParentWithConversions*()`
	`313`	`+ )`
`310`	`314`	`}`
`311`	`315`
`312`	`316`	`/**`