[all-commits] [llvm/llvm-project] 2eb1d8: Revert "[Clang][analyzer] Replace Stmt* with Const...
Balazs Benics via All-commits
all-commits at lists.llvm.org
Fri Apr 25 02:54:29 PDT 2025
Branch: refs/heads/revert-128251-clang-analyzer-conjured-symbol-use-cfgelement-ref
Home: https://github.com/llvm/llvm-project
Commit: 2eb1d806d5a01c32f981ef88ef483f74bd6b3108
https://github.com/llvm/llvm-project/commit/2eb1d806d5a01c32f981ef88ef483f74bd6b3108
Author: Balazs Benics <benicsbalazs at gmail.com>
Date: 2025-04-25 (Fri, 25 Apr 2025)
Changed paths:
M clang/include/clang/Analysis/CFG.h
M clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h
M clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
M clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h
M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
M clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
M clang/lib/Analysis/CFG.cpp
M clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
M clang/lib/StaticAnalyzer/Checkers/ContainerModeling.cpp
M clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.cpp
M clang/lib/StaticAnalyzer/Checkers/ErrnoModeling.h
M clang/lib/StaticAnalyzer/Checkers/ErrnoTesterChecker.cpp
M clang/lib/StaticAnalyzer/Checkers/Iterator.cpp
M clang/lib/StaticAnalyzer/Checkers/Iterator.h
M clang/lib/StaticAnalyzer/Checkers/IteratorModeling.cpp
M clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
M clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
M clang/lib/StaticAnalyzer/Checkers/STLAlgorithmModeling.cpp
M clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp
M clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
M clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
M clang/lib/StaticAnalyzer/Checkers/cert/InvalidPtrChecker.cpp
M clang/lib/StaticAnalyzer/Core/CallEvent.cpp
M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
M clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
M clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
M clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
M clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
M clang/lib/StaticAnalyzer/Core/LoopWidening.cpp
M clang/lib/StaticAnalyzer/Core/ProgramState.cpp
M clang/lib/StaticAnalyzer/Core/RegionStore.cpp
M clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
M clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
R clang/test/Analysis/PR57270.cpp
M clang/test/Analysis/container-modeling.cpp
M clang/test/Analysis/dump_egraph.cpp
M clang/test/Analysis/explain-svals.cpp
M clang/test/Analysis/explain-svals.m
Log Message:
-----------
Revert "[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConj…"
This reverts commit ec936b3186e3512a9297c5a12b58d627ef1a1b32.
To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications
More information about the All-commits
mailing list