jorgectf
diff --git a/‎cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll
Lines changed: 256 additions & 90 deletions b/‎cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRConsistency.qll
Lines changed: 256 additions & 90 deletions
diff --git a/‎cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll
Lines changed: 256 additions & 90 deletions b/‎cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRConsistency.qll
Lines changed: 256 additions & 90 deletions
diff --git a/‎cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
Lines changed: 1 addition & 1 deletion b/‎cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
Lines changed: 1 addition & 1 deletion
@@ -463,7 +463,7 @@ newtype TTranslatedElement =
     )
   } or
   // The side effects of an allocation, i.e. `new`, `new[]` or `malloc`
-  TTranslatedAllocationSideEffects(AllocationExpr expr) or
+  TTranslatedAllocationSideEffects(AllocationExpr expr) { not ignoreExpr(expr) } or
   // A precise side effect of an argument to a `Call`
   TTranslatedArgumentSideEffect(Call call, Expr expr, int n, boolean isWrite) {
     (
Original file line number	Diff line number	Diff line change
`@@ -463,7 +463,7 @@ newtype TTranslatedElement =`
`463`	`463`	`)`
`464`	`464`	`} or`
`465`	`465`	// The side effects of an allocation, i.e. `new`, `new[]` or `malloc`
`466`		`- TTranslatedAllocationSideEffects(AllocationExpr expr) or`
	`466`	`+ TTranslatedAllocationSideEffects(AllocationExpr expr) { not ignoreExpr(expr) } or`
`467`	`467`	// A precise side effect of an argument to a `Call`
`468`	`468`	`TTranslatedArgumentSideEffect(Call call, Expr expr, int n, boolean isWrite) {`
`469`	`469`	`(`