Update OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.ql

ihsinme · web-flow · commit 375a60194b5b · 2021-08-01T16:44:54.000+03:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-783/OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.ql b/cpp/ql/src/experimental/Security/CWE/CWE-783/OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.ql
@@ -109,6 +109,7 @@ predicate isRealRange(Expr exp) {
 }
 
 /** Holds if expressions are of different size or range */
+pragma[inline]
 predicate isDifferentSize(Expr exp1, Expr exp2, Expr exp3) {
   exp1.getType().getSize() = exp2.getType().getSize() and
   exp1.getType().getSize() != exp3.getType().getSize()
@@ -127,6 +128,7 @@ predicate isDifferentSize(Expr exp1, Expr exp2, Expr exp3) {
 }
 
 /** Holds if it is possible to get different values of the expression */
+pragma[inline]
 predicate isDifferentResults(
   Expr exp1, Expr exp2, Expr exp3, BinaryBitwiseOperation op1, BinaryBitwiseOperation op2
 ) {

Original file line number	Diff line number	Diff line change
`@@ -109,6 +109,7 @@ predicate isRealRange(Expr exp) {`
`109`	`109`	`}`
`110`	`110`
`111`	`111`	`/** Holds if expressions are of different size or range */`
	`112`	`+pragma[inline]`
`112`	`113`	`predicate isDifferentSize(Expr exp1, Expr exp2, Expr exp3) {`
`113`	`114`	`exp1.getType().getSize() = exp2.getType().getSize() and`
`114`	`115`	`exp1.getType().getSize() != exp3.getType().getSize()`
`@@ -127,6 +128,7 @@ predicate isDifferentSize(Expr exp1, Expr exp2, Expr exp3) {`
`127`	`128`	`}`
`128`	`129`
`129`	`130`	`/** Holds if it is possible to get different values of the expression */`
	`131`	`+pragma[inline]`
`130`	`132`	`predicate isDifferentResults(`
`131`	`133`	`Expr exp1, Expr exp2, Expr exp3, BinaryBitwiseOperation op1, BinaryBitwiseOperation op2`
`132`	`134`	`) {`