Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 1b6de4b

Browse files
author
Dave Bartolomeo
committed
C++: Fix formatting
1 parent 73ad2e9 commit 1b6de4b

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

  • cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -405,7 +405,8 @@ private Overlap getExtentOverlap(MemoryLocation def, MemoryLocation use) {
405405
or
406406
not use instanceof AllNonLocalMemory and
407407
not use.isAlwaysAllocatedOnStack() and
408-
if use instanceof VariableMemoryLocation then
408+
if use instanceof VariableMemoryLocation
409+
then
409410
// AllNonLocalMemory totally overlaps any non-local variable.
410411
result instanceof MustTotallyOverlap
411412
else

0 commit comments

Comments
 (0)