Commit be17532
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -63,7 +63,7 @@ predicate verifiedRealloc(FunctionCall reallocCall, Variable v, ControlFlowNode | |||
| 63 | 63 | node.(AnalysedExpr).getNonNullSuccessor(newV) = verified and | |
| 64 | 64 | // note: this case uses naive flow logic (getAnAssignedValue). | |
| 65 | 65 | // special case: if the result of the 'realloc' is assigned to the | |
| 66 | - // same variable, we don't descriminate properly between the old | ||
| 66 | + // same variable, we don't discriminate properly between the old | ||
| 67 | 67 | // and the new allocation; better to not consider this a free at | |
| 68 | 68 | // all in that case. | |
| 69 | 69 | newV != v | |
0 commit comments