diff options
author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-07-17 00:22:27 +0000 |
---|---|---|
committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-07-17 00:22:27 +0000 |
commit | d1163790c363bb47c4b072dc679522941ebf55ca (patch) | |
tree | c50beddb06bc58c315b4478a9a9b56c71847d397 /clang/lib/Frontend/CompilerInvocation.cpp | |
parent | 0a9969b36b16307e6cf60004b108be972c93d336 (diff) | |
download | bcm5719-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