Skip to content

Commit ebb03f0

Browse files
committed
C++: Fix QL formatting
1 parent c6e00f0 commit ebb03f0

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

‎cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/extensions/ConstantShiftExprRange.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ bindingset[val]
2121
private predicate isValidShiftExprShift(float val, Expr l) {
2222
val >= 0 and
2323
// We use getFullyConverted because the spec says to use the *promoted* left operand
24-
val < (l.getFullyConverted().getUnderlyingType().getBitWidth())
24+
val < l.getFullyConverted().getUnderlyingType().getBitWidth()
2525
}
2626

2727
bindingset[val, shift, max_val]

‎cpp/ql/src/Likely Bugs/Memory Management/Padding/Suboptimal64BitType.ql‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ from
1414
PaddedType t, Architecture arch, WideCharType wc, int holes, int size, int percentage, int optimum
1515
where
1616
arch.pointerSize() = 64 and // Select 64-bit architecture
17-
arch.wideCharSize() = (wc.getBitWidth()) and // Select Windows(sizeof(wchar_t == 2)) or non-Windows(sizeof(wchar_t == 4))
17+
arch.wideCharSize() = wc.getBitWidth() and // Select Windows(sizeof(wchar_t == 2)) or non-Windows(sizeof(wchar_t == 4))
1818
t.isPrecise() and
1919
optimum = t.optimalSize(arch) and
2020
size = arch.paddedSize(t) and

0 commit comments

Comments
 (0)