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