hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: remove unneeded pragma

Browse Source
This commit is contained in:
Robert Marsh
2023-05-22 11:09:44 -04:00
committed by Robert Marsh
parent 604affdeb0
commit 4ed7450689
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
View File

@@ -111,7 +111,6 @@ module FieldAddressToDerefConfig implements DataFlow::StateConfigSig {
)
}
pragma[inline]
predicate isSink(DataFlow::Node sink, FlowState state) {
exists(DataFlow::Node pai |
state = TOverflowArithmetic(pai.asInstruction()) and