main

SSam Estep[clang][dataflow] Analyze calls to in-TU functions

300fbf56创建于 2022年7月27日历史提交

文件	最后提交记录	最后更新时间
FlowSensitive	[clang][dataflow] Analyze calls to in-TU functions This patch adds initial support for context-sensitive analysis of simple functions whose definition is available in the translation unit, guarded by the ContextSensitive flag in the new TransferOptions struct. When this option is true, the VisitCallExpr case in the builtin transfer function has a fallthrough case which checks for a direct callee with a body. In that case, it constructs a CFG from that callee body, uses the new pushCall method on the Environment to make an environment to analyze the callee, and then calls runDataflowAnalysis with a NoopAnalysis (disabling context-sensitive analysis on that sub-analysis, to avoid problems with recursion). After the sub-analysis completes, the Environment from its exit block is simply assigned back to the environment at the callsite. The pushCall method (which currently only supports non-method functions with some restrictions) maps the SourceLocations for all the parameters to the existing source locations for the corresponding arguments from the callsite. This patch adds a few tests to check that this context-sensitive analysis works on simple functions. More sophisticated functionality will be added later; the most important next step is to explicitly model context in some fields of the DataflowAnalysisContext class, as mentioned in a FIXME comment in the pushCall implementation. Reviewed By: ymandel, xazax.hun Differential Revision: https://reviews.llvm.org/D130306	3 年前
CFGBuildResult.h	[DataFlow] Factor two worklist implementations out Right now every dataflow algorithm uses its own worklist implementation. This is a first step to reduce this duplication. Some upcoming algorithms such as the lifetime analysis is going to use the factored out implementations. Differential Revision: https://reviews.llvm.org/D72380	6 年前
CFGDominatorTree.cpp	[NFC][Clang][test] Inclusive language: Remove and rephrase uses of sanity test/check in clang/test Part of work to use more inclusive terms in clang/llvm.	4 年前
CFGTest.cpp	[DataFlow] Factor two worklist implementations out Right now every dataflow algorithm uses its own worklist implementation. This is a first step to reduce this duplication. Some upcoming algorithms such as the lifetime analysis is going to use the factored out implementations. Differential Revision: https://reviews.llvm.org/D72380	6 年前
CMakeLists.txt	[Testing] Drop clangTesting from clang's public library interface This was probably not particularly intended to be public, and disallows deps on gtest which are useful in test helpers. https://discourse.llvm.org/t/stop-exporting-clangtesting-library/61672 Differential Revision: https://reviews.llvm.org/D123610	4 年前
CloneDetectionTest.cpp	[clang] Minor cleanup in CloneDetectionTest Follow up to e8f13f4f62f.	6 年前
ExprMutationAnalyzerTest.cpp	[clang-tidy] implement new check 'misc-const-correctness' to add 'const' to unmodified variables This patch connects the check for const-correctness with the new general utility to add const to variables. The code-transformation is only done, if the detected variable for const-ness is not part of a group-declaration. The check allows to control multiple facets of adding const, e.g. if pointers themself should be marked as const if they are not changed. Reviewed By: njames93 Differential Revision: https://reviews.llvm.org/D54943	3 年前
MacroExpansionContextTest.cpp	[clang] Use value instead of getValue (NFC)	3 年前