projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b056c1c) | patch
[analyzer] Remove the loop from the exploded graph caused by missing information...
authorisuckatcs <65320245+isuckatcs@users.noreply.github.com>
Fri, 10 Feb 2023 17:07:31 +0000 (18:07 +0100)
committerisuckatcs <65320245+isuckatcs@users.noreply.github.com>
Sat, 4 Mar 2023 01:01:45 +0000 (02:01 +0100)
commitd65379c8d4768ddae143672f5d4827acafe22553
treecdbecc0d5d4fdcc3ccf69a432dc84867c7a73ab8tree | snapshot
parentb056c1cb1b4b5443149a28ca2216b2f7642150c3commit | diff
[analyzer] Remove the loop from the exploded graph caused by missing information in program points

This patch adds CFGElementRef to ProgramPoints
and helps the analyzer to differentiate between
two otherwise identically looking ProgramPoints.

Fixes #60412

Differential Revision: https://reviews.llvm.org/D143328
13 files changed:
clang/include/clang/Analysis/ProgramPoint.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/CallEvent.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp diff | blob | history
clang/test/Analysis/PR60412.cpp [new file with mode: 0644] blob
clang/test/Analysis/analysis-after-multiple-dtors.cpp [new file with mode: 0644] blob
clang/unittests/StaticAnalyzer/CallDescriptionTest.cpp diff | blob | history
Domain: System / Toolchain;