diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll index 1843ad5815c..bcf3e5db19e 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll @@ -554,8 +554,9 @@ MemoryLocation getResultMemoryLocation(Instruction instr) { ) or kind instanceof EntireAllocationMemoryAccess and - result = TEntireAllocationMemoryLocation(getAddressOperandAllocation(instr - .getResultAddressOperand()), isMayAccess) + result = + TEntireAllocationMemoryLocation(getAddressOperandAllocation(instr.getResultAddressOperand()), + isMayAccess) or kind instanceof EscapedMemoryAccess and result = TAllAliasedMemory(instr.getEnclosingIRFunction(), isMayAccess) @@ -584,8 +585,9 @@ MemoryLocation getOperandMemoryLocation(MemoryOperand operand) { ) or kind instanceof EntireAllocationMemoryAccess and - result = TEntireAllocationMemoryLocation(getAddressOperandAllocation(operand - .getAddressOperand()), isMayAccess) + result = + TEntireAllocationMemoryLocation(getAddressOperandAllocation(operand.getAddressOperand()), + isMayAccess) or kind instanceof EscapedMemoryAccess and result = TAllAliasedMemory(operand.getEnclosingIRFunction(), isMayAccess)