Skip to content

Commit 331663d

Browse files
committed
Executed codeql query format
1 parent 31eea6c commit 331663d

File tree

1 file changed

+17
-18
lines changed

1 file changed

+17
-18
lines changed

cpp/autosar/src/rules/A13-2-2/BinaryOperatorAndBitwiseOperatorReturnAPrvalue.ql

+17-18
Original file line numberDiff line numberDiff line change
@@ -14,22 +14,21 @@
1414
* external/autosar/obligation/required
1515
*/
1616

17-
import cpp
18-
import codingstandards.cpp.autosar
19-
import codingstandards.cpp.Operator
20-
import semmle.code.cpp.Print
17+
import cpp
18+
import codingstandards.cpp.autosar
19+
import codingstandards.cpp.Operator
20+
import semmle.code.cpp.Print
2121

22-
from Operator o
23-
where
24-
not isExcluded(o, OperatorInvariantsPackage::binaryOperatorAndBitwiseOperatorReturnAPrvalueQuery()) and
25-
(o instanceof UserBitwiseOperator or o instanceof UserArithmeticOperator) and
26-
(
27-
o.getType().isDeeplyConst()
28-
or
29-
o.getType() instanceof PointerType
30-
or
31-
o.getType() instanceof ReferenceType
32-
)
33-
select o,
34-
"User-defined bitwise or arithmetic operator " + o.toString() +
35-
" does not return a prvalue."
22+
from Operator o
23+
where
24+
not isExcluded(o, OperatorInvariantsPackage::binaryOperatorAndBitwiseOperatorReturnAPrvalueQuery()) and
25+
(o instanceof UserBitwiseOperator or o instanceof UserArithmeticOperator) and
26+
(
27+
o.getType().isDeeplyConst()
28+
or
29+
o.getType() instanceof PointerType
30+
or
31+
o.getType() instanceof ReferenceType
32+
)
33+
select o,
34+
"User-defined bitwise or arithmetic operator " + o.toString() + " does not return a prvalue."

0 commit comments

Comments
 (0)