projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 954de25) | patch
[clang][dataflow] Analyze method bodies
authorSam Estep <sam@samestep.com>
Thu, 4 Aug 2022 17:45:30 +0000 (17:45 +0000)
committerSam Estep <sam@samestep.com>
Thu, 4 Aug 2022 17:45:47 +0000 (17:45 +0000)
commit8611a77ee7ee342f5925cba2fa6df023596af9d9
treedcc2d21d2711174b943e68df1faa00e027342011tree | snapshot
parent954de25a92d08d83149c38e17f628d424b587bb5commit | diff
[clang][dataflow] Analyze method bodies

This patch adds the ability to context-sensitively analyze method bodies, by moving `ThisPointeeLoc` from `DataflowAnalysisContext` to `Environment`, and adding code in `pushCall` to set it.

Reviewed By: ymandel, sgatev, xazax.hun

Differential Revision: https://reviews.llvm.org/D131170
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h diff | blob | history
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp diff | blob | history
Domain: System / Toolchain;