Skip to content

Commit 97f38d3

Browse files
committed
Address query formatting
1 parent 8931f91 commit 97f38d3

File tree

3 files changed

+3
-4
lines changed

3 files changed

+3
-4
lines changed

c/cert/src/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.ql

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,5 @@ import semmle.code.cpp.controlflow.Guards
1818
import codingstandards.cpp.UndefinedBehavior
1919

2020
from ShiftByNegativeOrGreaterPrecisionOperand badShift
21-
where
22-
not isExcluded(badShift, Types1Package::exprShiftedbyNegativeOrGreaterPrecisionOperandQuery())
21+
where not isExcluded(badShift, Types1Package::exprShiftedbyNegativeOrGreaterPrecisionOperandQuery())
2322
select badShift, badShift.getReason()

cpp/common/src/codingstandards/cpp/Function.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,4 @@ import cpp
77
*/
88
class PopCount extends Function {
99
PopCount() { this.getName().toLowerCase().matches("%popc%nt%") }
10-
}
10+
}

cpp/common/src/codingstandards/cpp/Type.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,4 +69,4 @@ int getPrecision(IntegralType type) {
6969
type.isExplicitlyUnsigned() and result = type.getSize() * 8
7070
or
7171
type.isExplicitlySigned() and result = type.getSize() * 8 - 1
72-
}
72+
}

0 commit comments

Comments
 (0)