diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-05-04 20:52:39 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-05-04 20:52:39 +0000 |
| commit | a2e053638bbfea50b29a29ee687f1bdd6abd427f (patch) | |
| tree | dfeae83b24cdb39419329099fd0f93862296aae2 /clang/lib/StaticAnalyzer/Core/Store.cpp | |
| parent | b6211d9084e13d892faa6c7020561d9193b5513f (diff) | |
| download | bcm5719-llvm-a2e053638bbfea50b29a29ee687f1bdd6abd427f.tar.gz bcm5719-llvm-a2e053638bbfea50b29a29ee687f1bdd6abd427f.zip | |
[analyzer] Treat more const variables and fields as known contants.
When loading from a variable or a field that is declared as constant,
the analyzer will try to inspect its initializer and constant-fold it.
Upon success, the analyzer would skip normal load and return the respective
constant.
The new behavior also applies to fields/elements of brace-initialized structures
and arrays.
Patch by Rafael Stahl!
Differential Revision: https://reviews.llvm.org/D45774
llvm-svn: 331556
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/Store.cpp')
0 files changed, 0 insertions, 0 deletions
