diff options
| author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-08-22 00:20:36 +0000 |
|---|---|---|
| committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-08-22 00:20:36 +0000 |
| commit | 0202c3596c52d453d1e9e5a43d7533b83444df4e (patch) | |
| tree | a87056abc119d94187e9892df8c033b05adc9b87 /llvm/lib/CodeGen/MachineSink.cpp | |
| parent | b73a5711f63466d829f815ed0f1b14f03cef0b05 (diff) | |
| download | bcm5719-llvm-0202c3596c52d453d1e9e5a43d7533b83444df4e.tar.gz bcm5719-llvm-0202c3596c52d453d1e9e5a43d7533b83444df4e.zip | |
[analyzer] CastValueChecker: Store the dynamic types and casts
Summary:
This patch introduces `DynamicCastInfo` similar to `DynamicTypeInfo` which
is stored in `CastSets` which are storing the dynamic cast informations of
objects based on memory regions. It could be used to store and check the
casts and prevent infeasible paths.
Reviewed By: NoQ
Differential Revision: https://reviews.llvm.org/D66325
llvm-svn: 369605
Diffstat (limited to 'llvm/lib/CodeGen/MachineSink.cpp')
0 files changed, 0 insertions, 0 deletions
