From b24bee039721e7304575c4c0b93bb1601dd63463 Mon Sep 17 00:00:00 2001 From: sayle Date: Sat, 31 May 2003 13:23:32 +0000 Subject: * flags.h (flag_wrapv): New flag controlling overflow semantics. * toplev.c (flag_wrapv): Declare the variable with default false. (lang_independent_options): New option "-fwrapv" to set the above. * fold-const.c (extract_muldiv_1): Disable optimization of (2*x)/2 as x, when signed arithmetic overflow wraps around. (fold): Optimize "-A - B" as "-B - A" if overflow wraps around. * loop.c (basic_induction_var): Ignore BIVs that rely on undefined overflow when flag_wrapv is true. * java/lang.c (java_init_options): Prescribe wrap-around two's complement arithmetic overflow by setting flag_wrapv. * doc/invoke.texi: Document new -fwrapv command line option. * doc/c-tree.texi: Mention that the overflow semantics of NEGATE_EXPR, PLUS_EXPR, MINUS_EXPR and MULT_EXPR is dependent upon both flag_wrapv and flag_trapv. * gcc.dg/fwrapv-1.c: New test case. * gcc.dg/fwrapv-2.c: New test case. * libjava.lang/Overflow.java: New test. * libjava.lang/Overflow.out: New file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@67270 138bc75d-0d04-0410-961f-82ee72b054a4 --- libjava/testsuite/ChangeLog | 5 +++++ libjava/testsuite/libjava.lang/Overflow.java | 16 ++++++++++++++++ libjava/testsuite/libjava.lang/Overflow.out | 0 3 files changed, 21 insertions(+) create mode 100644 libjava/testsuite/libjava.lang/Overflow.java create mode 100644 libjava/testsuite/libjava.lang/Overflow.out (limited to 'libjava') diff --git a/libjava/testsuite/ChangeLog b/libjava/testsuite/ChangeLog index 6ea10fff1be..ee7883b2f8f 100644 --- a/libjava/testsuite/ChangeLog +++ b/libjava/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-05-31 Roger Sayle + + * libjava.lang/Overflow.java: New test. + * libjava.lang/Overflow.out: New file. + 2003-05-06 Tom Tromey * libjava.lang/verify.java: New file. diff --git a/libjava/testsuite/libjava.lang/Overflow.java b/libjava/testsuite/libjava.lang/Overflow.java new file mode 100644 index 00000000000..312e9cb209f --- /dev/null +++ b/libjava/testsuite/libjava.lang/Overflow.java @@ -0,0 +1,16 @@ +class Overflow +{ + static int test(int x) + { + return (2*x)/2; + } + + public static void main(String argv[]) + { + int x = Integer.MAX_VALUE; + + if (test(x) == x) + throw new RuntimeException (); + } +} + diff --git a/libjava/testsuite/libjava.lang/Overflow.out b/libjava/testsuite/libjava.lang/Overflow.out new file mode 100644 index 00000000000..e69de29bb2d -- cgit v1.2.1