[clang] [Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConjured (PR #128251)

via cfe-commits cfe-commits at lists.llvm.org
Sun Feb 23 17:26:45 PST 2025


================
@@ -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


More information about the cfe-commits mailing list