diff --git a/cpp/ql/lib/change-notes/2026-01-02-constant-folding.md b/cpp/ql/lib/change-notes/2026-01-02-constant-folding.md new file mode 100644 index 00000000000..8ac0f91b939 --- /dev/null +++ b/cpp/ql/lib/change-notes/2026-01-02-constant-folding.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* Some constants will now be represented by their unfolded expression trees. The `isConstant` predicate of `Expr` will no longer yield a result for those constants. diff --git a/cpp/ql/src/change-notes/2026-01-02-constant-comparison.md b/cpp/ql/src/change-notes/2026-01-02-constant-comparison.md new file mode 100644 index 00000000000..2b37f31268d --- /dev/null +++ b/cpp/ql/src/change-notes/2026-01-02-constant-comparison.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The `cpp/constant-comparison` query has been updated to not produce false positives for constants that are now represented by their unfolded expression trees.