diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-21 14:54:47 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-21 14:54:47 +0000 |
| commit | 079589a4e7165bbbea63a5a9d1cb43d9e12807cc (patch) | |
| tree | 30178c30f5f53ba548194c129e6273ceb7ad0460 /gcc/testsuite/gcc.c-torture/compile/pr32453.c | |
| parent | a3dadcdea63dfb7f7543a26ee101f6ddde1c3b5a (diff) | |
| download | gcc-079589a4e7165bbbea63a5a9d1cb43d9e12807cc.tar.gz | |
2007-06-21 Richard Guenther <rguenther@suse.de>
PR tree-optimization/32453
* tree-vrp.c (extract_range_from_assert): Build POINTER_PLUS_EXPR
for pointer anti-range.
* gcc.c-torture/compile/pr32453.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125922 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/compile/pr32453.c')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr32453.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr32453.c b/gcc/testsuite/gcc.c-torture/compile/pr32453.c new file mode 100644 index 00000000000..bdabac76d71 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr32453.c @@ -0,0 +1,11 @@ +void ucs2reverse_internal_loop_single (long *irreversible, int foo) +{ + unsigned char bytebuf[2]; + const unsigned char *inptr = bytebuf; + if (irreversible == (void *)0) + ; + else + inptr += 2; + if (inptr != bytebuf) + ((inptr - bytebuf > foo) ? (void) (0) : __assert_fail ()); +} |