diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2014-09-29 23:01:17 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2014-09-29 23:01:17 +0000 |
| commit | e76340be8fecb0b441e3c7040703e63f40b890cb (patch) | |
| tree | 5b06d0bbf9fbfe3f3c708849252bb65efb953e44 /libgo | |
| parent | ff5fdf67462d1b4c883c1c10938c7e719a20c5f2 (diff) | |
| download | gcc-e76340be8fecb0b441e3c7040703e63f40b890cb.zip gcc-e76340be8fecb0b441e3c7040703e63f40b890cb.tar.gz gcc-e76340be8fecb0b441e3c7040703e63f40b890cb.tar.bz2 | |
tree-vrp.c (get_single_symbol): New function.
* tree-vrp.c (get_single_symbol): New function.
(build_symbolic_expr): Likewise.
(symbolic_range_based_on_p): New predicate.
(extract_range_from_binary_expr_1): Deal with single-symbolic ranges
for PLUS and MINUS. Do not drop symbolic ranges at the end.
(extract_range_from_binary_expr): Try harder for PLUS and MINUS if
operand is symbolic and based on the other operand.
From-SVN: r215697
Diffstat (limited to 'libgo')
0 files changed, 0 insertions, 0 deletions