aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
diff options
context:
space:
mode:
authorFlorian Hahn <flo@fhahn.com>2023-07-24 15:17:17 +0200
committerFlorian Hahn <flo@fhahn.com>2023-07-24 15:17:18 +0200
commit4d02b472f1dc290388d8e826d52d4cc5c438612c (patch)
tree3f9b3ba6c79ada97044430f281e265657d9cf0ac /clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
parent0cbcf17cb8be4a2c6f1b55e36cba31070c674045 (diff)
downloadllvm-4d02b472f1dc290388d8e826d52d4cc5c438612c.zip
llvm-4d02b472f1dc290388d8e826d52d4cc5c438612c.tar.gz
llvm-4d02b472f1dc290388d8e826d52d4cc5c438612c.tar.bz2
[LAA] Add assertion to check both Start and End are invariant (NFC).
Add extra assert to check invariant of RuntimePointerChecking::insert to guard against subtle changes when extending the scope of LAA.
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp')
0 files changed, 0 insertions, 0 deletions