Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 7df45a9

Browse files
MathiasVPMathiasVP
authored
Merge pull request #3316 from jbj/arithTypesMatch-perf
C++: inline arithTypesMatch predicate
2 parents 9c12fa3 + 7a36639 commit 7df45a9

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎cpp/ql/src/Likely Bugs/Underspecified Functions/MistypedFunctionArguments.qll‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66

77
import cpp
88

9+
pragma[inline]
910
private predicate arithTypesMatch(Type arg, Type parm) {
1011
arg = parm
1112
or

0 commit comments

Comments
 (0)