We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3223bcd commit 55cb51dCopy full SHA for 55cb51d
change_notes/2024-09-17-fix-fp-678-m0-1-9.md
@@ -0,0 +1,2 @@
1
+- `M0-1-9` - `DeadCode.qll`:
2
+ - Fixes #678. Remove dead code false positive when integer constant expression is used to define the size of an array.
0 commit comments