diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-01-17 22:40:36 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-01-17 22:40:36 +0000 |
| commit | df1bb8a65d318f8552546221165404c3343424f7 (patch) | |
| tree | 6ea98420b36eb331632feb33c6348fad13616dc3 /clang/test/Analysis | |
| parent | 5579630275ce2fc64d0c7acd27789442728d6555 (diff) | |
| download | bcm5719-llvm-df1bb8a65d318f8552546221165404c3343424f7.tar.gz bcm5719-llvm-df1bb8a65d318f8552546221165404c3343424f7.zip | |
[analyzer] NFC: Forbid array elements of void type.
Represent the symbolic value for results of pointer arithmetic on void pointers
in a different way: instead of making void-typed element regions, make
char-typed element regions.
Add an assertion that ensures that no void-typed regions are ever constructed.
This is a refactoring of internals that should not immediately affect
the analyzer's (default) behavior.
Differential Revision: https://reviews.llvm.org/D40939
llvm-svn: 322775
Diffstat (limited to 'clang/test/Analysis')
0 files changed, 0 insertions, 0 deletions
