summaryrefslogtreecommitdiffstats
path: root/clang/lib/Frontend/CompilerInvocation.cpp
diff options
context:
space:
mode:
authorArtem Dergachev <artem.dergachev@gmail.com>2018-07-17 00:22:27 +0000
committerArtem Dergachev <artem.dergachev@gmail.com>2018-07-17 00:22:27 +0000
commitd1163790c363bb47c4b072dc679522941ebf55ca (patch)
treec50beddb06bc58c315b4478a9a9b56c71847d397 /clang/lib/Frontend/CompilerInvocation.cpp
parent0a9969b36b16307e6cf60004b108be972c93d336 (diff)
downloadbcm5719-llvm-d1163790c363bb47c4b072dc679522941ebf55ca.tar.gz
bcm5719-llvm-d1163790c363bb47c4b072dc679522941ebf55ca.zip
[analyzer] Assert that nonloc::SymbolVal always wraps a non-Loc-type symbol.
In the current SVal hierarchy there are multiple ways of representing certain values but few are actually used and expected to be seen by the code. In particular, a value of a symbolic pointer is always represented by a loc::MemRegionVal that wraps a SymbolicRegion that wraps the pointer symbol and never by a nonloc::SymbolVal that wraps that symbol directly. Assert the aforementioned fact. Fix one minor violation of it. Differential Revision: https://reviews.llvm.org/D48205 llvm-svn: 337227
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions
OpenPOWER on IntegriCloud