================ @@ -260,7 +260,7 @@ ProgramStateRef setErrnoStdMustBeChecked(ProgramStateRef State, const MemRegion *ErrnoR = State->get<ErrnoRegion>(); if (!ErrnoR) return State; - State = State->invalidateRegions(ErrnoR, InvalE, C.blockCount(), ---------------- isuckatcs wrote:
`InvalE` is an unused parameter, the element reference should point to that I think. https://github.com/llvm/llvm-project/pull/128251 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits