We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fb21815 commit b5e5949Copy full SHA for b5e5949
1 file changed
cpp/ql/lib/change-notes/2024-03-15-switches-in-guard-conditions.md
@@ -0,0 +1,4 @@
1
+---
2
+category: feature
3
4
+* Added a predicate `GuardCondition.valueControls` to query whether a basic block is guarded by a particular `case` of a `switch` statement.
0 commit comments