diff options
author | Denys Petrov <dpetrov@accesssoftek.com> | 2021-07-02 16:04:07 +0300 |
---|---|---|
committer | Denys Petrov <dpetrov@accesssoftek.com> | 2022-01-18 16:08:04 +0200 |
commit | d835dd4cf5cc32bcc983c23eda60f7b016118dd3 (patch) | |
tree | 5da3043138b63537ba3209f48b9a1b97c1f2736d /clang/lib/Frontend/FrontendActions.cpp | |
parent | 7f4d66f23e3e8a2a03e83a2df0ee3a56790e2b64 (diff) | |
download | llvm-d835dd4cf5cc32bcc983c23eda60f7b016118dd3.zip llvm-d835dd4cf5cc32bcc983c23eda60f7b016118dd3.tar.gz llvm-d835dd4cf5cc32bcc983c23eda60f7b016118dd3.tar.bz2 |
[analyzer] Produce SymbolCast symbols for integral types in SValBuilder::evalCast
Summary: Produce SymbolCast for integral types in `evalCast` function. Apply several simplification techniques while producing the symbols. Added a boolean option `handle-integral-cast-for-ranges` under `-analyzer-config` flag. Disabled the feature by default.
Differential Revision: https://reviews.llvm.org/D105340
Diffstat (limited to 'clang/lib/Frontend/FrontendActions.cpp')
0 files changed, 0 insertions, 0 deletions