[clang] [StaticAnalyzer] Fix state update in VisitObjCForCollectionStmt (PR #124477)
Gábor Horváth via cfe-commits
cfe-commits at lists.llvm.org
Mon Jan 27 03:04:47 PST 2025
Xazax-hun wrote:
> I would greatly appreciate if anyone can help me create a minimal reproducer.
If we cannot find a way to trigger this with the existing checks, you could try to come up with a unit test like this: https://github.com/llvm/llvm-project/blob/main/clang/unittests/StaticAnalyzer/ExprEngineVisitTest.cpp
https://github.com/llvm/llvm-project/pull/124477
More information about the cfe-commits
mailing list