We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 40dbc6f commit 0c3d9f7Copy full SHA for 0c3d9f7
1 file changed
cpp/ql/lib/change-notes/2024-03-19-predicates-for-switches-as-guards.md
@@ -0,0 +1,5 @@
1
+---
2
+category: feature
3
4
+* Added a predicate `GuardCondition.comparesEq/4` to query whether an expression is compared to a constant.
5
+* Added a predicate `GuardCondition.ensuresEq/4` to query whether a basic block is guarded by an expression being equal to a constant.
0 commit comments