diff options
| author | Gabor Horvath <xazax.hun@gmail.com> | 2016-08-22 10:07:32 +0000 |
|---|---|---|
| committer | Gabor Horvath <xazax.hun@gmail.com> | 2016-08-22 10:07:32 +0000 |
| commit | 855ad82e05247498ebd0e28d8e6c244937a914db (patch) | |
| tree | 3aa1b0fbba0b4134ad0dbe6763fc2ae813447c47 /llvm/lib/CodeGen/MachineInstr.cpp | |
| parent | 5f8419da34393de830e8d53c93253159cc9a2e3f (diff) | |
| download | llvm-855ad82e05247498ebd0e28d8e6c244937a914db.zip llvm-855ad82e05247498ebd0e28d8e6c244937a914db.tar.gz llvm-855ad82e05247498ebd0e28d8e6c244937a914db.tar.bz2 | |
[analyzer] Correctly add assumptions based on array bounds.
Also simplify the constraints generated by the checker.
Differential Revision: https://reviews.llvm.org/D23112
llvm-svn: 279425
Diffstat (limited to 'llvm/lib/CodeGen/MachineInstr.cpp')
0 files changed, 0 insertions, 0 deletions