[clang] [analyzer] Revert incorrect LazyCoumpoundVal changes (PR #163461)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 27 07:55:05 PDT 2025


================
@@ -4,16 +4,6 @@
 // RUN:  -analyzer-config alpha.cplusplus.STLAlgorithmModeling:AggressiveStdFindModeling=true\
 // RUN:  -verify
 
-// STLAlgorithmModeling and DebugIteratorModeling are probably bugged because
-// these tests started failing after we just directly copy the symbol
-// representing the value of a variable instead of creating a LazyCompoundVal
-// of that single conjured value.
-// In theory, it shouldn't matter if we eagerly copy the value that we would
-// "load" from the LCV once requested or just directly binding the backing symbol.
-// Yet, these tests fail, so there is likely messed up how/what the checker
-// metadata is associated with.
-// XFAIL: *
----------------
NagyDonat wrote:

By the way, in our internal repository we already have a commit that reverts https://github.com/llvm/llvm-project/pull/116840 to keep the iterator modeling checkers functional.

https://github.com/llvm/llvm-project/pull/163461


More information about the cfe-commits mailing list