[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