gcc/libjava/testsuite
Roger Sayle 4fa26a6079 flags.h (flag_wrapv): New flag controlling overflow semantics.
* 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.

From-SVN: r67270
2003-05-31 13:23:32 +00:00
..
config
lib libjava.exp (gcj_invoke): Moved... 2003-03-22 07:14:53 +00:00
libjava.cni libjava.exp (gcj_invoke): Moved... 2003-03-22 07:14:53 +00:00
libjava.compile re PR java/10459 (ICE with certain expressions as 3rd clause of for loop) 2003-05-03 00:33:18 +00:00
libjava.jacks * libjava.jacks/jacks.xfail: Updated to reflect reality. 2003-03-10 16:39:15 +00:00
libjava.jni jni.exp: Add compilation/link fix dor darwin dylibs. 2003-03-22 11:45:04 +01:00
libjava.lang flags.h (flag_wrapv): New flag controlling overflow semantics. 2003-05-31 13:23:32 +00:00
libjava.loader TestEarlyGC.java: Added comment explaining bytecode. 2003-01-28 23:21:13 +00:00
libjava.mauve * libjava.mauve/xfails: Remove all AcuniaPropertiesTest failures 2003-03-02 22:40:00 +00:00
ChangeLog flags.h (flag_wrapv): New flag controlling overflow semantics. 2003-05-31 13:23:32 +00:00
Makefile.am Makefile.in: Rebuilt. 2002-06-24 04:44:53 +00:00
Makefile.in * libjava.jacks/jacks.xfail: Most 4.7.10 tests pass now. 2003-02-24 02:15:22 +00:00