Merge pull request github#3316 from jbj/arithTypesMatch-perf

MathiasVP · web-flow · commit 7df45a9bb458 · 2020-04-24T09:13:02.000+02:00
C++: inline arithTypesMatch predicate
diff --git a/cpp/ql/src/Likely Bugs/Underspecified Functions/MistypedFunctionArguments.qll b/cpp/ql/src/Likely Bugs/Underspecified Functions/MistypedFunctionArguments.qll
@@ -6,6 +6,7 @@
 
 import cpp
 
+pragma[inline]
 private predicate arithTypesMatch(Type arg, Type parm) {
   arg = parm
   or
