diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:47 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:47 +0000 |
| commit | f142c965e4145b9f602ab81271b3df25660da1a9 (patch) | |
| tree | addbd2e5e5e6b1ec2e9398a25de04ff07cde9db2 /llvm/unittests/DebugInfo/PDB | |
| parent | 5c3d032e70a8bca7c90092513c216b401477e23d (diff) | |
| download | bcm5719-llvm-f142c965e4145b9f602ab81271b3df25660da1a9.tar.gz bcm5719-llvm-f142c965e4145b9f602ab81271b3df25660da1a9.zip | |
[analyzer] Use the macro REGISTER_TRAIT_WITH_PROGRAMSTATE in the Z3 backend
Summary:
The macro was manually expanded in the Z3 backend and this patch adds it back.
Adding the expanded code is dangerous as the macro may change in the future and the expanded code might be left outdated.
Reviewers: NoQ, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, a.sidorin
Differential Revision: https://reviews.llvm.org/D49769
llvm-svn: 337923
Diffstat (limited to 'llvm/unittests/DebugInfo/PDB')
0 files changed, 0 insertions, 0 deletions
