Skip to content

Commit 48342db

Browse files
Try inline late on exp37-c isExcluded
1 parent 1225030 commit 48342db

2 files changed

Lines changed: 5 additions & 1 deletion

File tree

c/cert/src/rules/EXP37-C/DoNotCallFunctionsWithIncompatibleArguments.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ import codingstandards.cpp.MistypedFunctionArguments
2222

2323
from FunctionCall fc, Function f, Parameter p
2424
where
25-
not isExcluded(fc, ExpressionsPackage::doNotCallFunctionsWithIncompatibleArgumentsQuery()) and
25+
not isExcludedLate(fc, ExpressionsPackage::doNotCallFunctionsWithIncompatibleArgumentsQuery()) and
2626
(
2727
mistypedFunctionArguments(fc, f, p)
2828
or

cpp/common/src/codingstandards/cpp/Exclusions.qll

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,10 @@ private class ExcludeOutsideSourceLocation extends ExcludedFile {
1717
bindingset[e, query]
1818
predicate isExcluded(Element e, Query query) { isExcluded(e, query, _) }
1919

20+
bindingset[e, query]
21+
pragma[inline_late]
22+
predicate isExcludedLate(Element e, Query query) { isExcluded(e, query, _) }
23+
2024
bindingset[e, query]
2125
predicate isExcluded(Element e, Query query, string reason) {
2226
e instanceof ExcludedElement and reason = "Element is an excluded element."

0 commit comments

Comments
 (0)