[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