diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-17 08:38:59 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-17 08:38:59 +0000 |
| commit | 74dbdd1fb62e21b08fd11fbf81a67995dcfa0eed (patch) | |
| tree | e122e9f887592491b3c316c026bf3457db280f07 /libada | |
| parent | 694f9adc28f05ead2d8fea6202266f6cd5a009f2 (diff) | |
2017-01-17 Richard Biener <rguenther@suse.de>
PR tree-optimization/71433
* tree-vrp.c (register_new_assert_for): Merge same asserts
on all incoming edges.
(process_assert_insertions_for): Handle insertions at the
beginning of BBs.
* gcc.dg/Warray-bounds-20.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244520 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libada')
0 files changed, 0 insertions, 0 deletions