aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
diff options
context:
space:
mode:
authorHenrik G. Olsson <hnrklssn@gmail.com>2023-04-14 16:28:34 +0200
committerHenrik G. Olsson <hnrklssn@gmail.com>2023-07-05 14:04:50 +0200
commit8a3fdf7b908978625e9a7e57fbb443e4e6f98976 (patch)
treedcb0918e7837c2b59f28b21a44e836e0a4443502 /clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
parentc6a4fc8ddfaf68d932b69b80a1efd0742fa8211a (diff)
downloadllvm-8a3fdf7b908978625e9a7e57fbb443e4e6f98976.zip
llvm-8a3fdf7b908978625e9a7e57fbb443e4e6f98976.tar.gz
llvm-8a3fdf7b908978625e9a7e57fbb443e4e6f98976.tar.bz2
[UTC] Add fallback support for specific metadata, and check their defs
This prevents update_cc_tests.py from emitting hard-coded identifiers for metadata (global variable checkers still check hard-coded identifiers). Instead it emits regex checkers that match even if the identifiers change. Also adds a new mode for --check-globals: instead of simply being on or off, it now has the options 'none', 'smart' and 'all', with 'none' and 'all' corresponding to the previous modes. The 'smart' mode only emits checks for global definitions referenced in the IR or other metadata that itself has a definition checker emitted, making the rule transitive. It does not emit checks for attribute sets, since that is better checked by --check-attributes. This mode is made the new default. To make the change in default mode backwards compatible a version bump is introduced (to v3), and the default remains 'none' in v1 & v2. This will result in metadata checks being emitted more often, so filters are added to not check absolute file paths and compiler version git hashes. rdar://105239218
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp')
0 files changed, 0 insertions, 0 deletions