[Bug fortran/30981] a ** exp fails for integer exponents if exp is "-huge()-1" (endless loop)
--- Comment #15 from tkoenig at gcc dot gnu dot org 2007-03-04 08:03 --- Subject: Bug 30981 Author: tkoenig Date: Sun Mar 4 08:03:34 2007 New Revision: 122522 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122522 Log: 2007-03-04 Thomas Koenig <[EMAIL PROTECTED]> PR libfortran/30981 * m4/pow_m4: Use appropriate unsigned int type for u. * generated/pow_c10_i16.c: Regenerated. * generated/pow_c10_i4.c: Regenerated. * generated/pow_c10_i8.c: Regenerated. * generated/pow_c16_i16.c: Regenerated. * generated/pow_c16_i4.c: Regenerated. * generated/pow_c16_i8.c: Regenerated. * generated/pow_c4_i16.c: Regenerated. * generated/pow_c4_i4.c: Regenerated. * generated/pow_c4_i8.c: Regenerated. * generated/pow_c8_i16.c: Regenerated. * generated/pow_c8_i4.c: Regenerated. * generated/pow_c8_i8.c: Regenerated. * generated/pow_i16_i16.c: Regenerated. * generated/pow_i16_i4.c: Regenerated. * generated/pow_i16_i8.c: Regenerated. * generated/pow_i4_i16.c: Regenerated. * generated/pow_i4_i4.c: Regenerated. * generated/pow_i4_i8.c: Regenerated. * generated/pow_i8_i16.c: Regenerated. * generated/pow_i8_i4.c: Regenerated. * generated/pow_i8_i8.c: Regenerated. * generated/pow_r10_i16.c: Regenerated. * generated/pow_r10_i4.c: Regenerated. * generated/pow_r10_i8.c: Regenerated. * generated/pow_r16_i16.c: Regenerated. * generated/pow_r16_i4.c: Regenerated. * generated/pow_r16_i8.c: Regenerated. * generated/pow_r4_i16.c: Regenerated. * generated/pow_r4_i4.c: Regenerated. * generated/pow_r4_i8.c: Regenerated. * generated/pow_r8_i16.c: Regenerated. * generated/pow_r8_i4.c: Regenerated. * generated/pow_r8_i8.c: Regenerated. 2007-03-04 Thomas Koenig <[EMAIL PROTECTED]> PR libfortran/30981 * gfortran.dg/integer_exponentiation_1.f90: New test. Added: trunk/gcc/testsuite/gfortran.dg/integer_exponentiation_1.f90 Modified: trunk/gcc/testsuite/ChangeLog trunk/libgfortran/ChangeLog trunk/libgfortran/generated/pow_c10_i16.c trunk/libgfortran/generated/pow_c10_i4.c trunk/libgfortran/generated/pow_c10_i8.c trunk/libgfortran/generated/pow_c16_i16.c trunk/libgfortran/generated/pow_c16_i4.c trunk/libgfortran/generated/pow_c16_i8.c trunk/libgfortran/generated/pow_c4_i16.c trunk/libgfortran/generated/pow_c4_i4.c trunk/libgfortran/generated/pow_c4_i8.c trunk/libgfortran/generated/pow_c8_i16.c trunk/libgfortran/generated/pow_c8_i4.c trunk/libgfortran/generated/pow_c8_i8.c trunk/libgfortran/generated/pow_i16_i16.c trunk/libgfortran/generated/pow_i16_i4.c trunk/libgfortran/generated/pow_i16_i8.c trunk/libgfortran/generated/pow_i4_i16.c trunk/libgfortran/generated/pow_i4_i4.c trunk/libgfortran/generated/pow_i4_i8.c trunk/libgfortran/generated/pow_i8_i16.c trunk/libgfortran/generated/pow_i8_i4.c trunk/libgfortran/generated/pow_i8_i8.c trunk/libgfortran/generated/pow_r10_i16.c trunk/libgfortran/generated/pow_r10_i4.c trunk/libgfortran/generated/pow_r10_i8.c trunk/libgfortran/generated/pow_r16_i16.c trunk/libgfortran/generated/pow_r16_i4.c trunk/libgfortran/generated/pow_r16_i8.c trunk/libgfortran/generated/pow_r4_i16.c trunk/libgfortran/generated/pow_r4_i4.c trunk/libgfortran/generated/pow_r4_i8.c trunk/libgfortran/generated/pow_r8_i16.c trunk/libgfortran/generated/pow_r8_i4.c trunk/libgfortran/generated/pow_r8_i8.c trunk/libgfortran/m4/pow.m4 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30981
[Bug target/30406] ICE in LOGICAL(8) functions
--- Comment #35 from fxcoudert at gcc dot gnu dot org 2007-03-04 08:10 --- Subject: Bug 30406 Author: fxcoudert Date: Sun Mar 4 08:10:25 2007 New Revision: 122523 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122523 Log: PR target/30406 * config/rs6000/rs6000.c (rs6000_function_value): Look at bit size instead of precision. * gfortran.dg/logical_3.f90: New test. Added: trunk/gcc/testsuite/gfortran.dg/logical_3.f90 Modified: trunk/gcc/ChangeLog trunk/gcc/config/rs6000/rs6000.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30406
[Bug target/30406] [4.1/4.2 only] ICE in LOGICAL(8) functions
-- fxcoudert at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |fxcoudert at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Known to fail|4.3.0 4.2.0 4.1.2 |4.2.0 4.1.2 Known to work||4.3.0 Last reconfirmed|2007-02-10 17:24:22 |2007-03-04 08:11:37 date|| Summary|ICE in LOGICAL(8) functions |[4.1/4.2 only] ICE in ||LOGICAL(8) functions Target Milestone|--- |4.2.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30406
[Bug libfortran/22423] Warnings when building libgfortran
--- Comment #12 from fxcoudert at gcc dot gnu dot org 2007-03-04 08:32 --- Jerry sent me (on 2007-01-19) the following mail: "Andrew Pinski had issues with this fix because it is covering up a problem somewhere else. He said on IRC he may have time to look into this and get a correct fix tonight. We had quite a bit of discussion some time back on this issue. I suggest you hold off a bit." Since I've had no news since, Andrew, did you have time to give it a look? -- fxcoudert at gcc dot gnu dot org changed: What|Removed |Added CC||pinskia at gcc dot gnu dot ||org AssignedTo|fxcoudert at gcc dot gnu dot|unassigned at gcc dot gnu |org |dot org Status|ASSIGNED|NEW http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22423
[Bug ada/26797] [4.2/4.3 regression] ACATS c35507m cd2a23e cxh1001 fail
--- Comment #24 from ebotcazou at gcc dot gnu dot org 2007-03-04 10:05 --- Subject: Bug 26797 Author: ebotcazou Date: Sun Mar 4 10:05:44 2007 New Revision: 122524 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122524 Log: PR ada/26797 * doc/invoke.texi (-O2): Document that Tree-VRP is not turned on for the Ada compiler. ada/ * lang.opt: Accept -ftree-vrp for Ada. * misc.c (OPT_ftree_vrp): New case. (gnat_post_options): Disable Tree-VRP unless explicitly turned on. Modified: branches/gcc-4_2-branch/gcc/ChangeLog branches/gcc-4_2-branch/gcc/ada/ChangeLog branches/gcc-4_2-branch/gcc/ada/lang.opt branches/gcc-4_2-branch/gcc/ada/misc.c branches/gcc-4_2-branch/gcc/doc/invoke.texi -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797
[Bug ada/26797] [4.3 regression] ACATS cxh1001 fail
-- ebotcazou at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|4.2.0 |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797
[Bug tree-optimization/31034] New: [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267
I get the following ICE with -O2: (sid)2632:[EMAIL PROTECTED]: ~] /usr/lib/gcc-snapshot/bin/gcc -c -O1 potrace-trace.c (sid)2633:[EMAIL PROTECTED]: ~] /usr/lib/gcc-snapshot/bin/gcc -c -O2 potrace-trace.c potrace-trace.c: In function 'opticurve': potrace-trace.c:35: internal compiler error: in set_value_range, at tree-vrp.c:267 Please submit a full bug report, -- Summary: [4.3 Regression] ICE in set_value_range, at tree- vrp.c:267 Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: tbm at cyrius dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034
[Bug tree-optimization/31034] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267
--- Comment #1 from tbm at cyrius dot com 2007-03-04 12:11 --- Created an attachment (id=13138) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13138&action=view) testcase -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034
[Bug c/31035] New: GNU/Hurd needs crtfm and dfprules too
Currently, on the GNU/Hurd target, gcc doesn't built crtfastmath.o, which is needed whenever one compiles with -ffast-math. The attached patch fixes this. -- Summary: GNU/Hurd needs crtfm and dfprules too Product: gcc Version: 4.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: samuel dot thibault at ens-lyon dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31035
[Bug c/31035] GNU/Hurd needs crtfm and dfprules too
--- Comment #1 from samuel dot thibault at ens-lyon dot org 2007-03-04 12:36 --- Created an attachment (id=13139) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13139&action=view) Fix -ffast-math -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31035
[Bug tree-optimization/31034] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-03-04 12:37 --- Confirmed. #1 0x085c837d in set_value_range (vr=0xbfdff0e4, t=VR_RANGE, min=0xb7ccd300, max=0xb7d89be8, equiv=0x8aaf548) at /home/richard/src/trunk2/gcc/tree-vrp.c:267 267 gcc_assert (cmp == 0 || cmp == -1 || cmp == -2); (gdb) call debug_tree (min) constant invariant -2147483648> (gdb) call debug_tree (max) constant invariant public overflow -2147483648> -- rguenth at gcc dot gnu dot org changed: What|Removed |Added CC||ian at gcc dot gnu dot org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-03-04 12:37:08 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034
[Bug tree-optimization/31034] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267
--- Comment #3 from rguenth at gcc dot gnu dot org 2007-03-04 12:45 ---
More reduced testcase:
static inline int
mod (int a, int n)
{
return a >= n ? a % n : a >= 0 ? a : n - 1 - (-1 - a) % n;
}
void dpara(int);
void opticurve (int m)
{
int i;
for (i = 0; i < m; i++)
{
dpara(mod (i - 1, m));
}
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034
[Bug tree-optimization/31034] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267
--- Comment #4 from rguenth at gcc dot gnu dot org 2007-03-04 12:54 ---
More useless stuff removed:
static inline int
mod (int a, int n)
{
return a >= n ? a % n : a;
}
void dpara(int);
void opticurve (int m)
{
int i;
for (i = 0; i < m; i++)
{
dpara(mod (i - 1, m));
}
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034
[Bug c/31035] GNU/Hurd needs crtfm and dfprules too
--- Comment #2 from tbm at cyrius dot com 2007-03-04 13:13 --- Can you post this to gcc-patches for review? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31035
[Bug ada/31036] New: ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
These failures were introduced between: http://gcc.gnu.org/ml/gcc-testresults/2007-03/msg00073.html LAST_UPDATED: Fri Mar 2 06:18:14 UTC 2007 (revision 122469) http://gcc.gnu.org/ml/gcc-testresults/2007-03/msg00085.html LAST_UPDATED: Fri Mar 2 21:02:52 UTC 2007 (revision 122487) Likely changes: r122487 | ian | 2007-03-02 21:09:31 +0100 (Fri, 02 Mar 2007) | 35 lines Used signed infinities in VRP. * tree-vrp.c (uses_overflow_infinity): New static function. (supports_overflow_infinity): New static function. (make_overflow_infinity): New static function. (negative_overflow_infinity): New static function. (positive_overflow_infinity): New static function. (is_negative_overflow_infinity): New static function. (is_positive_overflow_infinity): New static function. (is_overflow_infinity): New static function. (overflow_infinity_range_p): New static function. (compare_values_warnv): New function split out of compare_values. (compare_value): Call it. (set_value_range_to_nonnegative): Add overflow_infinity parameter. Change caller. (vrp_expr_computes_nonnegative): Add strict_overflow_p parameter. Change callers. (vrp_expr_computes_nonzero): Likewise. (compare_ranges, compare_range_with_value): Likewise. (compare_name_with_value, compare_names): Likewise. (vrp_evaluate_conditional): Likewise. (set_value_range): Handle infinity (vrp_operand_equal_p, operand_less_p): Likewise. (extract_range_from_assert): Likewise. (vrp_int_const_binop): Likewise. (extract_range_from_binary_expr): Likewise. (extract_range_from_unary_expr): Likewise. (extract_range_from_comparison): Likewise. (extract_range_from_expr): Likewise. (dump_value_range): Likewise. (vrp_visit_cond_stmt, vrp_visit_phi_node): Likewise. (test_for_singularity): Likewise. (vrp_int_const_binop): Remove inline qualifier. (adjust_range_with_scev): Add comment. * tree-flow.h (vrp_evaluate_conditional): Update declaration. r122484 | dnovillo | 2007-03-02 20:20:14 +0100 (Fri, 02 Mar 2007) | 17 lines * tree-ssa-structalias.c (could_have_pointers): Tidy. (get_constraint_for): Likewise. (do_structure_copy): Likewise. (find_func_aliases): Fix references to MODIFY_EXPR. (intra_create_variable_infos): Tidy. * tree-ssa-operands.c (add_virtual_operand): Add argument IS_CALL_SITE. When adding members of alias sets, if IS_CALL_SITE is true and the symbol is not call-clobbered, skip it. Adjust all callers. testsuite/ChangeLog * gcc.dg/tree-ssa/20070302-1.c: New test. c41307d.adb: In function 'C41307D': c41307d.adb:32: error: definition in block 44 does not dominate use in block 42 for SSA_NAME: NMT.250_740 in statement: NMT.250_1472 = PHI PHI argument NMT.250_740 for PHI node NMT.250_1472 = PHI +===GNAT BUG DETECTED==+ | 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | verify_ssa failed| | Error detected at c41307d.adb:255:5 | c85006d.adb: In function 'C85006D': c85006d.adb:38: error: definition in block 667 does not dominate use in block 804 for SSA_NAME: NMT.2215_4272(ab) in statement: NMT.2215_6842(ab) = PHI PHI argument NMT.2215_4272(ab) for PHI node NMT.2215_6842(ab) = PHI +===GNAT BUG DETECTED==+ | 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | verify_ssa failed| cd10002_deriv.ads: In function 'Cd10002_Deriv': cd10002_deriv.ads:6: error: definition in block 3 does not dominate use in block 5 for SSA_NAME: NMT.3275_77 in statement: NMT.3275_42 = PHI PHI argument NMT.3275_77 for PHI node NMT.3275_42 = PHI +===GNAT BUG DETECTED==+ | 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | verify_ssa failed| | Error detected at cd10002_deriv.adb:96:1 | cxaa018.adb: In function 'CXAA018': cxaa018.adb:57: error: definition in block 77 does not dominate use in block 145 for SSA_NAME: NMT.367_636(ab) in statement: NMT.367_988(ab) = PHI PHI argument NMT.367_636(ab) for PHI node NMT.367_988(ab) = PHI +===GNAT BUG DETECTED==+ | 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | verify_ssa failed
[Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #1 from laurent at guerby dot net 2007-03-04 13:25 --- No ICE at -O0 but it ICEs at -O1 and -O2 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #2 from laurent at guerby dot net 2007-03-04 13:28 ---
(gdb) debug_bb_n (5)
Undefined command: "debug_bb_n". Try "help".
(gdb) p debug_bb_n (5)
;; basic block 5, loop depth 0, count 0
;; prev block 4, next block 6
;; pred: 4 [31.0%] (true,exec)
;; succ: 6 [100.0%] (fallthru,exec)
:;
D.2751_21 = (character[(long int) .P_BOUNDS->LB0:(long int) .P_BOUNDS->UB0] *) "INCORRECT RESULTS FROM EXPANDED NAME - 2";
# D.2749_363 = VDEF { D.2749 }
D.2749.P_ARRAY = D.2751_21;
# D.2749_364 = VDEF { D.2749 }
D.2749.P_BOUNDS = &C.76;
# VUSE { D.2749 }
# P_365 = VDEF
# FRAME.151_366 = VDEF
# MPT.249_372 = VDEF
# SMT.268_951 = VDEF
# NMT.275_1088 = VDEF
# NMT.276_1089 = VDEF
# NMT.277_1090 = VDEF
# SMT.287_1369 = VDEF { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__failed (D.2749);
$1 = (struct basic_block_def *) 0x2b3f2c5d3600
(gdb) p debug_bb_n (3)
;; basic block 3, loop depth 0, count 0
;; prev block 2, next block 4
;; pred: 2 [31.0%] (true,exec)
;; succ: 4 [100.0%] (fallthru,exec)
:;
D.2740_11 = (character[(long int) .P_BOUNDS->LB0:(long int) .P_BOUNDS->UB0] *) "INCORRECT RESULTS FROM EXPANDED NAME - 1";
# D.2738_328 = VDEF { D.2738 }
D.2738.P_ARRAY = D.2740_11;
# D.2738_329 = VDEF { D.2738 }
D.2738.P_BOUNDS = &C.75;
# VUSE { D.2738 }
# P_330 = VDEF
# FRAME.151_331 = VDEF
# MPT.249_337 = VDEF
# SMT.268_943 = VDEF
# NMT.275_1072 = VDEF
# NMT.276_1073 = VDEF
# NMT.277_1074 = VDEF
# SMT.287_1365 = VDEF { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__failed (D.2738);
$2 = (struct basic_block_def *) 0x2b3f2c5d3500
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #3 from laurent at guerby dot net 2007-03-04 13:45 ---
Ooops wrong numbers, for c41307d
(gdb) up
#1 0x0091c5c8 in verify_use (bb=0x2abaa9552480, def_bb=0x2abaa9552d00,
use_p=0x2abaa9591c38, stmt=0x2abaa9591c00, check_abnormal=0 '\0',
names_defined_in_bb=0x0)
at /home/guerby/work/gcc/version-head/gcc/tree-ssa.c:244
244 error ("definition in block %i does not dominate use in block
%i",
(gdb) p debug_bb_n(42)
;; basic block 42, loop depth 1, count 0
;; prev block 41, next block 43
;; pred: 48 [31.0%] (false,exec)
;; succ: 43 [100.0%] (fallthru,exec)
:;
# P_742 = VDEF
# FRAME.151_743 = VDEF
# MPT.249_749 = VDEF
# SMT.268_1029 = VDEF
# NMT.275_1244 = VDEF
# NMT.276_1245 = VDEF
# NMT.277_1246 = VDEF
# SMT.287_1408 = VDEF { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__ident_char (43);
$1 = (struct basic_block_def *) 0x2abaa7b69580
(gdb) p debug_bb_n(43)
;; basic block 43, loop depth 1, count 0
;; prev block 42, next block 44
;; pred: 48 [69.0%] (true,exec) 42 [100.0%] (fallthru,exec)
;; succ: 44 [54.0%] (true,exec) 45 [46.0%] (false,exec)
# SMT.287_1355 = PHI
# SMT.282_1283 = PHI
# NMT.277_181 = PHI
# NMT.276_186 = PHI
# NMT.275_150 = PHI
# SMT.274_119 = PHI
# SMT.269_926 = PHI
# SMT.268_911 = PHI
# MPT.249_263 = PHI
# NMT.248_249 = PHI
# NMT.247_235 = PHI
# NMT.246_221 = PHI
# FRAME.151_179 = PHI
# P_165 = PHI
lab1:;
# P_750 = VDEF
# FRAME.151_751 = VDEF
# MPT.249_757 = VDEF
# SMT.268_1031 = VDEF
# NMT.275_1248 = VDEF
# NMT.276_1249 = VDEF
# NMT.277_1250 = VDEF
# SMT.287_1409 = VDEF { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
new_var_70 = report__ident_char (45);
i_72 = i_809 + 1;
ivtmp.289_1417 = ivtmp.289_1416 - 1;
new_var_1415 = new_var_70;
# P_758 = VDEF
# FRAME.151_759 = VDEF
# MPT.249_765 = VDEF
# SMT.268_1033 = VDEF
# NMT.275_1252 = VDEF
# NMT.276_1253 = VDEF
# NMT.277_1254 = VDEF
# SMT.287_1410 = VDEF { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
D.2805_73 = report__ident_char (45);
if (new_var_1415 != D.2805_73) goto ; else goto ;
$2 = (struct basic_block_def *) 0x2abaa7b69600
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug c++/18543] Error message for invalid friend declaration could be improved
--- Comment #2 from reichelt at gcc dot gnu dot org 2007-03-04 17:02 --- Fixed on mainline. The message in both cases now reads: error: return type specification for constructor invalid -- reichelt at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18543
[Bug c++/18543] Error message for invalid friend declaration could be improved
--- Comment #3 from reichelt at gcc dot gnu dot org 2007-03-04 17:03 --- Fixed. -- reichelt at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18543
[Bug tree-optimization/31034] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added CC||pinskia at gcc dot gnu dot ||org Severity|normal |blocker Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034
[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #4 from pinskia at gcc dot gnu dot org 2007-03-04 17:39 --- Could you say which pass is causing this invalid IR to show up? -- pinskia at gcc dot gnu dot org changed: What|Removed |Added CC||pinskia at gcc dot gnu dot ||org Component|ada |tree-optimization Summary|ACATS: verify_ssa failed |[4.3 Regression] ACATS: |for c41307d c85006d cd10002 |verify_ssa failed for |cxaa018 |c41307d c85006d cd10002 ||cxaa018 Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug target/31035] x86 GNU/Hurd should include crtfm and dfprules because it uses linux.h
--- Comment #3 from pinskia at gcc dot gnu dot org 2007-03-04 17:47 --- Actually this is caused by i686-gnu using linux.h when it is not really GNU/Linux. This is related to PR 28102 which is exactly the same issue. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added Component|c |target GCC target triplet||i686-gnu Summary|GNU/Hurd needs crtfm and|x86 GNU/Hurd should include |dfprules too|crtfm and dfprules because ||it uses linux.h http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31035
[Bug target/31035] x86 GNU/Hurd should include crtfm and dfprules because it uses linux.h
--- Comment #4 from samuel dot thibault at ens-lyon dot org 2007-03-04 17:54 --- Ok, but more generally, isn't the crtfastmath.o helper needed for what -ffast-math permits anyway? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31035
[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #5 from laurent at guerby dot net 2007-03-04 18:26 ---
(gdb) bt
#0 error (gmsgid=0xcaba20 "definition in block %i does not dominate use in
block %i") at /home/guerby/work/gcc/version-head/gcc/diagnostic.c:548
#1 0x0091c5c8 in verify_use (bb=0x2ac849e1f480, def_bb=0x2ac849e1fd00,
use_p=0x2ac849e5ec38, stmt=0x2ac849e5ec00, check_abnormal=0 '\0',
names_defined_in_bb=0x0)
at /home/guerby/work/gcc/version-head/gcc/tree-ssa.c:244
#2 0x0091e2c2 in verify_phi_args (phi=0x2ac849e5ec00,
bb=0x2ac849e1fd00, definition_block=0x16a0a20) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa.c:343
#3 0x0091e7b9 in verify_ssa (check_modified_stmt=1 '\001') at
/home/guerby/work/gcc/version-head/gcc/tree-ssa.c:617
#4 0x007a0ba5 in execute_function_todo (data=) at
/home/guerby/work/gcc/version-head/gcc/passes.c:911
#5 0x007a090d in execute_todo (flags=48) at
/home/guerby/work/gcc/version-head/gcc/passes.c:932
#6 0x007a0dea in execute_one_pass (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1077
#7 0x007a0f4c in execute_pass_list (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1107
#8 0x007a0f5e in execute_pass_list (pass=0x101df00) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1108
#9 0x007a0f5e in execute_pass_list (pass=0x101d3c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1108
#10 0x0086d967 in tree_rest_of_compilation (fndecl=0x2ac849772e00) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:412
#11 0x0041e92c in gnat_expand_body (gnu_decl=0xcaba20) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:672
#12 0x009a6bf0 in cgraph_expand_function (node=0x2ac8497a5620) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1015
#13 0x009a8e72 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1084
#14 0x00420039 in gnat_write_global_declarations () at
/home/guerby/work/gcc/version-head/gcc/ada/utils.c:3774
#15 0x0081aaab in toplev_main (argc=, argv=) at /home/guerby/work/gcc/version-head/gcc/toplev.c:1034
#16 0x2ac848c168e4 in __libc_start_main () from /lib/libc.so.6
#17 0x00403d49 in _start ()
(gdb) f 6
#6 0x007a0dea in execute_one_pass (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1077
1077 execute_todo (todo_after | pass->todo_flags_finish);
(gdb) p *pass
$1 = {name = 0xca7323 "cunroll", gate = 0x8df010 ,
execute = 0x8df0b0 , sub = 0x0, next = 0x101e320,
static_pass_number = 103, tv_id = 64,
properties_required = 72, properties_provided = 0, properties_destroyed = 0,
todo_flags_start = 0, todo_flags_finish = 65, letter = 0 '\0'}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug tree-optimization/31037] New: [4.3 Regression] ICE: verify_ssa failed
I get the following ICE compiling Thunderbird with GCC 4.3. pinskia says it's related to PR31036 but that it's worth filing a separate bug. (sid)2723:[EMAIL PROTECTED]: ~] /usr/lib/gcc-snapshot/bin/g++ -c -O1 -fno-exceptions -fcheck-new icedove-xpccomponents.ii xpccomponents.cpp: In member function 'nsresult nsXPCComponents_utils_Sandbox::CallOrConstruct(nsIXPConnectWrappedNative*, JSContext*, JSObject*, PRUint32, jsval*, jsval*, PRBool*)': xpccomponents.cpp:2407: error: definition in block 23 does not dominate use in block 32 for SSA_NAME: NMT.14386_417 in statement: NMT.14386_131 = PHI PHI argument NMT.14386_417 for PHI node NMT.14386_131 = PHI xpccomponents.cpp:2407: internal compiler error: verify_ssa failed Please submit a full bug report, -- Summary: [4.3 Regression] ICE: verify_ssa failed Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: tbm at cyrius dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037
[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #6 from dnovillo at gcc dot gnu dot org 2007-03-04 18:37 --- I've just reproduced these failures locally. Two options: 1- The Ada FE is somehow tricking alias analysis into thinking that some call-clobbered symbols are not call-clobbered. 2- Alias analysis is not properly marking some call-clobbered symbols. Tell me how I generate the .adb file from its .ada source? What I see in acats.log does not work. gnatmake --GCC="/home/dnovillo/gcc/native.clean/bld/gcc/xgcc -B/home/dnovillo/gcc/native.clean/bld/gcc/" -gnatws -O2 -I/home/dnovillo/gcc/native.clean/bld/gcc/testsuite/ada/acats/support c41307d.adb -largs --GCC="/home/dnovillo/gcc/native.clean/bld/gcc/xgcc -B/home/dnovillo/gcc/native.clean/bld/gcc/" /home/dnovillo/gcc/native.clean/bld/gcc/xgcc -c -B/home/dnovillo/gcc/native.clean/bld/gcc/ -gnatws -O2 -I/home/dnovillo/gcc/native.clean/bld/gcc/testsuite/ada/acats/support c41307d.adb -- dnovillo at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |dnovillo at gcc dot gnu dot |dot org |org Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-03-04 18:37:21 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #7 from laurent at guerby dot net 2007-03-04 18:44 --- If you have a run directory: cd gcc/testsuite/ada/acats/tests/c4/c41307d gdb .../gcc/x86_64-unknown-linux-gnu/4.3.0/gnat1 r -I../../../support -quiet -dumpbase c41307d.adb -O1 -mtune=generic c41307d.adb If not cd somewhere then gnatchop .../version-head/gcc/testsuite/ada/acats/tests/c4/c41307d.ada gnatchop ../version-head/gcc/testsuite/ada/acats/support/rep* gcc -c -O1 c41307d.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug middle-end/30744] [4.2/4.3 Regression] ICE in compare_values, at tree-vrp.c:466
--- Comment #2 from sayle at gcc dot gnu dot org 2007-03-04 19:03 --- Subject: Bug 30744 Author: sayle Date: Sun Mar 4 19:03:13 2007 New Revision: 122531 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122531 Log: PR middle-end/30744 * fold-const.c (fold_comparison): Enforce type consistency when transforming ~X op ~Y to Y op X, and ~X op C to X op' ~C. * gcc.dg/pr30744-1.c: New test case. Added: trunk/gcc/testsuite/gcc.dg/pr30744-1.c Modified: trunk/gcc/ChangeLog trunk/gcc/fold-const.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30744
[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #8 from dnovillo at gcc dot gnu dot org 2007-03-04 19:04 --- (In reply to comment #7) > If you have a run directory: > cd gcc/testsuite/ada/acats/tests/c4/c41307d > gdb .../gcc/x86_64-unknown-linux-gnu/4.3.0/gnat1 > r -I../../../support -quiet -dumpbase c41307d.adb -O1 -mtune=generic > c41307d.adb > > If not cd somewhere then > gnatchop .../version-head/gcc/testsuite/ada/acats/tests/c4/c41307d.ada > gnatchop ../version-head/gcc/testsuite/ada/acats/support/rep* > gcc -c -O1 c41307d.adb > Thanks. It's one of these three symbols: c41307d: This symbols is not marked call-clobbered: C.83 c41307d: This symbols is not marked call-clobbered: C.84 c41307d: This symbols is not marked call-clobbered: C.87 These symbols are in the alias set of a call-clobbered memory tag. When the operand scanner is adding VDEFs for this call-clobbered tag, it goes through the set of aliases adding VDEF operands for them. However, since these symbols are not marked as call-clobbered, the operand scanner is ignoring them. For now, I'm suspecting a bug in alias analysis because according to the alias dumps, the variables are all considered global and addressable. We are not discovering that their address escape. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
--- Comment #9 from pinskia at gcc dot gnu dot org 2007-03-04 19:07 --- > c41307d: This symbols is not marked call-clobbered: C.83 > c41307d: This symbols is not marked call-clobbered: C.84 > c41307d: This symbols is not marked call-clobbered: C.87 Those are constants decls so they should not matter if they escape or not really because they are never changed. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
[Bug c++/30895] [4.1/4.2/4.3 regression] ICE with complex values in template parameter
--- Comment #3 from simartin at gcc dot gnu dot org 2007-03-04 19:51 --- Subject: Bug 30895 Author: simartin Date: Sun Mar 4 19:50:54 2007 New Revision: 122532 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122532 Log: 2007-03-04 Simon Martin <[EMAIL PROTECTED]> PR c++/30895 * tree.c (cp_tree_equal): Properly handle COMPLEX_CST trees. Added: trunk/gcc/testsuite/g++.dg/parse/template23.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/tree.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30895
[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32
--- Comment #1 from tbm at cyrius dot com 2007-03-04 19:53 --- Created an attachment (id=13140) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13140&action=view) testcase Here's the testcase based on Thunderbird. You need -O1 -fno-exceptions -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037
[Bug fortran/30723] Freeing memory doesn't need to call a library function
--- Comment #3 from fxcoudert at gcc dot gnu dot org 2007-03-04 20:12 --- Created an attachment (id=13141) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13141&action=view) Patch removing need for internal_malloc and internal_free library functions Attached patch updates the previous one, and allows the front-end to generate code to malloc and free directly. This removes the need for the library internal_malloc and internal_free functions, and allows better optimization. -- fxcoudert at gcc dot gnu dot org changed: What|Removed |Added Attachment #13020|0 |1 is obsolete|| AssignedTo|unassigned at gcc dot gnu |fxcoudert at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30723
[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32
--- Comment #2 from tbm at cyrius dot com 2007-03-04 20:13 --- Created an attachment (id=13142) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13142&action=view) testcase Slightly more reduced, although I'm sure pinskia can still trim it down. ;) -- tbm at cyrius dot com changed: What|Removed |Added Attachment #13140|0 |1 is obsolete|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037
[Bug c++/30534] [4.3 regression] ICE with invalid template argument
--- Comment #3 from patchapp at dberlin dot org 2007-03-04 20:56 --- Subject: Bug number PR c++/30534 A patch for this bug has been added to the patch tracker. The mailing list url for the patch is http://gcc.gnu.org/ml/gcc-patches/2007-03/msg00228.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30534
[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32
--- Comment #3 from pinskia at gcc dot gnu dot org 2007-03-04 20:56 ---
Reduced as far as I can get it:
struct nsGetServiceByContractID {
nsGetServiceByContractID (const char *aContractID) :mContractID
(aContractID) { }
const char *mContractID;
};
struct nsCOMPtr_base
{
~ nsCOMPtr_base ();
};
struct nsCOMPtr
{
~ nsCOMPtr ();
voidassign_from_gs_contractid (const nsGetServiceByContractID);
nsCOMPtr () { }
nsCOMPtr (const nsGetServiceByContractID gs)
{
assign_from_gs_contractid (gs);
}
int f();
};
const char kScriptSecurityManagerContractID[] = "f";
int CallOrConstruct ( int wrapper, char * argv )
{
nsCOMPtr sop;
int prinOrSop = 0;
nsCOMPtr secman = nsGetServiceByContractID
(kScriptSecurityManagerContractID);
if (argv[0])
{
nsCOMPtr_base xpc ;
if (wrapper)
prinOrSop = sop.f();
}
if (!prinOrSop)
return 0;
return 222;
}
--
If I change kScriptSecurityManagerContractID, not to be const, then the
tetstcase works which means even more PR 31036 is very related as that one has
the same issue with const decls too.
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
OtherBugsDependingO||31036
nThis||
Severity|normal |blocker
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|-00-00 00:00:00 |2007-03-04 20:56:47
date||
Target Milestone|--- |4.3.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037
[Bug libfortran/30690] Clean up m4 files
--- Comment #2 from tkoenig at gcc dot gnu dot org 2007-03-04 20:59 --- I'll give this a shot. -- tkoenig at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |tkoenig at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Last reconfirmed|2007-02-03 12:51:08 |2007-03-04 20:59:52 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30690
[Bug fortran/30723] Freeing memory doesn't need to call a library function
--- Comment #4 from rguenth at gcc dot gnu dot org 2007-03-04 21:01 --- Note that we currently do not optimize tmp = malloc (XXX); free (tmp); That would require some special handling in DCE (or a completely separate pass). -- rguenth at gcc dot gnu dot org changed: What|Removed |Added CC||rguenth at gcc dot gnu dot ||org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30723
[Bug target/30582] 64-bit Darwin ABI does not support array field
--- Comment #3 from patchapp at dberlin dot org 2007-03-04 21:15 --- Subject: Bug number PR c++/30582 A patch for this bug has been added to the patch tracker. The mailing list url for the patch is http://gcc.gnu.org/ml/gcc-patches/2007-03/msg00229.html -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30582
[Bug c++/31038] New: [4.1/4.2/4.3 regression] ICE with cast in initializer
The following valid code snippet triggers an ICE since GCC 4.1.0:
=
template void foo()
{
int i = (int) { 0 };
}
template void foo<0>();
=
bug.cc: In function 'void foo() [with int = 0]':
bug.cc:6: instantiated from here
bug.cc:3: internal compiler error: in tsubst_copy, at cp/pt.c:8342
Please submit a full bug report, [etc.]
--
Summary: [4.1/4.2/4.3 regression] ICE with cast in initializer
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code, monitored
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: reichelt at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31038
[Bug c++/31038] [4.1/4.2/4.3 regression] ICE with cast in initializer
-- reichelt at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.1.3 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31038
[Bug c++/31038] [4.1/4.2/4.3 regression] ICE with C99 style compound literal vs templates vs instiaiontion
--- Comment #1 from pinskia at gcc dot gnu dot org 2007-03-04 22:00 ---
I can fix the testcase here by optimizing when we produce a CLEANUP_POINT_EXPR
but the following testcase still fails at that point:
int f(void);
template void foo()
{
int i = (int) { f() };
}
template void foo<0>();
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|-00-00 00:00:00 |2007-03-04 22:00:04
date||
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31038
[Bug c++/31038] [4.1/4.2/4.3 regression] ICE with C99 style compound literal vs templates vs instiaiontion
--- Comment #2 from pinskia at gcc dot gnu dot org 2007-03-04 22:14 --- #8 0x0017dc54 in cp_parser_initializer_clause (parser=0x434e1dc0, non_constant_p=0xb039 "") at ../../gcc/cp/parser.c:12954 12954 initializer = fold_non_dependent_expr (initializer); And fold_non_dependent_expr sets processing_template_decl to false. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31038
[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32
--- Comment #4 from tbm at cyrius dot com 2007-03-04 22:27 --- Created an attachment (id=13143) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13143&action=view) testcase Here's another testcase. This one only needs -O (sid)3163:[EMAIL PROTECTED]: ~] /usr/lib/gcc-snapshot/bin/g++ -c -O1 sam2p-sam2p_main.cc sam2p-sam2p_main.cc: In function 'void run_sam2p_engine(Files::FILEW&, Files::FILEW&, const char* const*, bool)': sam2p-sam2p_main.cc:156: error: definition in block 7 does not dominate use in block 21 for SSA_NAME: NMT.57_171 in statement: NMT.57_314 = PHI PHI argument NMT.57_171 for PHI node NMT.57_314 = PHI sam2p-sam2p_main.cc:156: internal compiler error: verify_ssa failed -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037
[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32
--- Comment #5 from pinskia at gcc dot gnu dot org 2007-03-04 23:13 ---
Here is a reduced testcase for that last one:
struct GenBuffer
{
virtual int getLength () const = 0;
};
struct SimBuffer
{
struct B : virtual public GenBuffer
{
char *beg;
virtual int getLength () const ;
virtual ~ B () {
delete[]beg;
}
B & term0 ();
};
};
void cexit (int exitCode);
void f(const char*);
void run_sam2p_engine (char const *const *argv1, bool helpp)
{
if (!helpp && argv1[0] != 0 && argv1[1] == 0 ) { }
else if (helpp)
{
help:
f( " test.gif EPS: test.eps\n" ) ;
if (helpp)
cexit (0);
}
else {
SimBuffer::B jobss;
goto help;
}
SimBuffer::B ().term0 ();
}
I think this is the same issue except this time the constant decl is a the
vtable reference.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037
[Bug other/30465] Duplicated overflow warning
--- Comment #2 from manu at gcc dot gnu dot org 2007-03-04 23:29 --- Subject: Bug 30465 Author: manu Date: Sun Mar 4 23:29:41 2007 New Revision: 122534 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122534 Log: 2007-03-04 Manuel Lopez-Ibanez <[EMAIL PROTECTED]> PR other/30465 * c-common.c (convert_and_check): Don't give warnings for conversion if 'expr' already overflowed. testsuite/ * gcc.dg/multiple-overflow-warn-3.c: New. * g++.dg/warn/multiple-overflow-warn-3.C: New. Added: trunk/gcc/testsuite/g++.dg/warn/multiple-overflow-warn-3.C trunk/gcc/testsuite/gcc.dg/multiple-overflow-warn-3.c Modified: trunk/gcc/ChangeLog trunk/gcc/c-common.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30465
[Bug other/30465] Duplicated overflow warning
--- Comment #3 from manu at gcc dot gnu dot org 2007-03-04 23:30 --- Fixed in GCC 4.3.0 -- manu at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30465
[Bug tree-optimization/31034] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267
--- Comment #5 from ian at airs dot com 2007-03-05 00:42 ---
I'm testing this patch.
Index: tree-vrp.c
===
--- tree-vrp.c (revision 122538)
+++ tree-vrp.c (working copy)
@@ -1137,13 +1137,14 @@ extract_range_from_assert (value_range_t
/* If the maximum value forces us to be out of bounds, simply punt.
It would be pointless to try and do anything more since this
all should be optimized away above us. */
- if (cond_code == LT_EXPR && compare_values (max, min) == 0)
+ if ((cond_code == LT_EXPR
+ && compare_values (max, min) == 0)
+ || is_overflow_infinity (max))
set_value_range_to_varying (vr_p);
else
{
/* For LT_EXPR, we create the range [MIN, MAX - 1]. */
- if (cond_code == LT_EXPR
- && !is_positive_overflow_infinity (max))
+ if (cond_code == LT_EXPR)
{
tree one = build_int_cst (type, 1);
max = fold_build2 (MINUS_EXPR, type, max, one);
@@ -1169,13 +1170,14 @@ extract_range_from_assert (value_range_t
/* If the minimum value forces us to be out of bounds, simply punt.
It would be pointless to try and do anything more since this
all should be optimized away above us. */
- if (cond_code == GT_EXPR && compare_values (min, max) == 0)
+ if ((cond_code == GT_EXPR
+ && compare_values (min, max) == 0)
+ || is_overflow_infinity (min))
set_value_range_to_varying (vr_p);
else
{
/* For GT_EXPR, we create the range [MIN + 1, MAX]. */
- if (cond_code == GT_EXPR
- && !is_negative_overflow_infinity (min))
+ if (cond_code == GT_EXPR)
{
tree one = build_int_cst (type, 1);
min = fold_build2 (PLUS_EXPR, type, min, one);
--
ian at airs dot com changed:
What|Removed |Added
AssignedTo|unassigned at gcc dot gnu |ian at airs dot com
|dot org |
Status|NEW |ASSIGNED
Last reconfirmed|2007-03-04 12:37:08 |2007-03-05 00:42:53
date||
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034
[Bug bootstrap/31039] New: Latest CVS-stage 2-Cannot create executables
$ uname -a CYGWIN_NT-5.1 McKelvey-PC 1.5.24(0.156/4/2) 2007-01-31 10:57 i686 Cygwin alias CONFIGURECVS='/home/User/cvsroot/gcc/configure --verbose --enable-threads --disable-nls --disable-win32-registry --enable-languages=c,c++' alias BUILD='nice make CFLAGS='\'''\'' BOOT_CFLAGS='\'''\'' LIBCFLAGS='\''-g -O'\'' CXXFLAGS='\''-O'\'' LIBCXXFLAGS='\''-g -O'\'' bootstrap' $ g++ -v Using built-in specs. Target: i686-pc-cygwin Configured with: /home/User/cvsroot/gcc/configure --verbose --enable-threads --disable-nls --disable-win32-registry --enable-languages=c,c++ Thread model: posix gcc version 4.3.0 20070121 (experimental) make[2]: Leaving directory `/home/User/cvsroot/gcc-obj' make[2]: Entering directory `/home/User/cvsroot/gcc-obj' Configuring stage 2 in ./intl configure: loading cache ./config.cache checking whether make sets $(MAKE)... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether NLS is requested... no checking for msgfmt... /usr/bin/msgfmt checking for gmsgfmt... /usr/bin/msgfmt checking for xgettext... /usr/bin/xgettext checking for msgmerge... /usr/bin/msgmerge checking for i686-pc-cygwin-gcc... /home/User/cvsroot/gcc-obj/./prev-gcc/xgcc -B/home/User/cvsroot/gcc-obj/./prev-gcc/ -B/usr/local/i686-pc-cygwin/bin/ checking for C compiler default output file name... configure: error: C compiler cannot create executables See `config.log' for more details. make[2]: *** [configure-stage2-intl] Error 77 make[2]: Leaving directory `/home/User/cvsroot/gcc-obj' make[1]: *** [stage2-bubble] Error 2 make[1]: Leaving directory `/home/User/cvsroot/gcc-obj' make: *** [bootstrap] Error 2 intl/config.log: This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. It was created by configure, which was generated by GNU Autoconf 2.59. Invocation command line was $ /home/User/cvsroot/gcc/intl/configure --cache-file=./config.cache --verbose --enable-threads --disable-nls --disable-win32-registry --enable-languages=c,c++ --program-transform-name=s,y,y, --build=i686-pc-cygwin --host=i686-pc-cygwin --target=i686-pc-cygwin --srcdir=/home/User/cvsroot/gcc/intl --with-build-libsubdir=. --enable-werror-always ## - ## ## Platform. ## ## - ## hostname = McKelvey-PC uname -m = i686 uname -r = 1.5.24(0.156/4/2) uname -s = CYGWIN_NT-5.1 uname -v = 2007-01-31 10:57 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = i686 /usr/bin/arch -k = i686 /usr/convex/getsysinfo = unknown hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /usr/local/bin PATH: /usr/bin PATH: /bin PATH: /usr/X11R6/bin PATH: /cygdrive/c/Perl/bin/ PATH: /cygdrive/c/WINDOWS/system32 PATH: /cygdrive/c/WINDOWS PATH: /cygdrive/c/WINDOWS/System32/Wbem PATH: /home/User/scripts PATH: /cygdrive/c/Program Files/Common Files/Roxio Shared/DLLShared PATH: /cygdrive/c/Program Files/SSH Communications Security/SSH Secure Shell PATH: /cygdrive/c/Program Files/Pinnacle/Shared Files PATH: /cygdrive/c/Program Files/Pinnacle/Shared Files/Filter PATH: /usr/lib/lapack PATH: . PATH: /home/User/scripts ## --- ## ## Core tests. ## ## --- ## configure:1220: loading cache ./config.cache configure:1323: checking whether make sets $(MAKE) configure:1343: result: yes configure:1390: checking for a BSD-compatible install configure:1445: result: /usr/bin/install -c configure:1470: checking whether NLS is requested configure:1479: result: no configure:1517: checking for msgfmt configure:1548: result: /usr/bin/msgfmt configure:1557: checking for gmsgfmt configure:1588: result: /usr/bin/msgfmt configure:1627: checking for xgettext configure:1658: result: /usr/bin/xgettext configure:1698: checking for msgmerge configure:1728: result: /usr/bin/msgmerge configure:1771: checking for i686-pc-cygwin-gcc configure:1797: result: /home/User/cvsroot/gcc-obj/./prev-gcc/xgcc -B/home/User/cvsroot/gcc-obj/./prev-gcc/ -B/usr/local/i686-pc-cygwin/bin/ configure:2079: checking for C compiler version configure:2082: /home/User/cvsroot/gcc-obj/./prev-gcc/xgcc -B/home/User/cvsroot/gcc-obj/./prev-gcc/ -B/usr/local/i686-pc-cygwin/bin/ --version &5 xgcc (GCC) 4.3.0 20070302 (experimental) Copyright (C) 2006 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:2085: $? = 0 configure:2087: /home/User/cvsroot/gcc-obj/./prev-gcc/xgcc -B/home/User/cvsroot/gcc-obj/./prev-gcc/ -B/usr/local/i686-pc-cygwin/bin/ -v &5 Reading specs from /home/User/cvsroot/gcc-obj/./prev-gcc/specs Target: i686-pc-cygwin Configured with: /home/User/cvsroot/gcc/configure --verbose --enable-threads --disable-nls --disable-win32-registry --enable-languages=c,c++ Thread model: posix gcc version 4.3.0 20070302 (experimental) configure
[Bug tree-optimization/29718] [4.2 Regression] ice in add_virtual_operand with some C++ code
--- Comment #9 from mmitchel at gcc dot gnu dot org 2007-03-05 03:27 --- Moshe -- Did you get a chance to see whether this test case still fails? -- Mark -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29718
[Bug target/30406] [4.1/4.2 only] ICE in LOGICAL(8) functions
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P5 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30406
[Bug c++/30274] [4.2/4.3 Regression] bool bit-field: wrong increment and decremenet
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30274
[Bug inline-asm/30505] [4.2 regression] asm operand has impossible constraints.
--- Comment #4 from mmitchel at gcc dot gnu dot org 2007-03-05 03:29 --- Jan -- I would still like your input; would you please comment? Thanks, -- Mark -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30505
[Bug rtl-optimization/30643] [4.1/4.2/4.3 Regression] CSE regression
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30643
[Bug preprocessor/30805] [4.1/4.2/4.3 Regression] Internal compiler error when using "x##,##__VA_ARGS__" in macro
--- Comment #4 from mmitchel at gcc dot gnu dot org 2007-03-05 03:55 --- The fact that the result is in any case unspecified, coupled with the obscurity of the code, makes this a P2. -- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30805
[Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30818
[Bug c++/30850] [4.1/4.2/4.3 regression] ICE with invalid asm statement
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P4 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30850
[Bug c++/30863] [4.1/4.2/4.3 Regression] Unsigned templatized struct treated as unsigned int
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30863
[Bug c++/30895] [4.1/4.2/4.3 regression] ICE with complex values in template parameter
--- Comment #4 from mmitchel at gcc dot gnu dot org 2007-03-05 04:00 --- Simon -- Would you please test and apply the patch to 4.1 and 4.2 as well? Thanks, -- Mark -- mmitchel at gcc dot gnu dot org changed: What|Removed |Added CC||simartin at gcc dot gnu dot ||org AssignedTo|unassigned at gcc dot gnu |simartin at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Priority|P3 |P2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30895
[Bug c++/30897] [4.1/4.2/4.3 regression] ICE with default argument in template template parameter
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30897
[Bug c++/30917] [4.1/4.2/4.3 Regression] ICE with friend in local class (to a function)
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30917
[Bug c++/30924] [4.1/4.2/4.3 Regression] Array of pointer type argument in partial template specialization fails
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30924
[Bug middle-end/30984] [4.1/4.2/4.3 Regression] ICE with computed goto and constants
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30984
[Bug c++/30988] [4.1/4.2/4.3 Regression] Incorrect "no return statement" warning with __attribute__ ((noreturn)) and __FUNCTION__
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30988
[Bug libfortran/31001] [4.1/4.2 only] PACK crashes on zero-sized arrays
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P5 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31001
[Bug c++/31038] [4.1/4.2/4.3 regression] ICE with C99 style compound literal vs templates vs instiaiontion
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31038
[Bug target/30451] incorrect attributes in *movti_ppc64 of rs6000.md
--- Comment #4 from dje at gcc dot gnu dot org 2007-03-05 04:56 --- Yes, the attributes are in the wrong order. A patch to correct the attributes probably can be considered obvious. -- dje at gcc dot gnu dot org changed: What|Removed |Added CC||dje at gcc dot gnu dot org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2007-03-05 04:56:00 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30451
[Bug rtl-optimization/30643] [4.1/4.2/4.3 Regression] CSE regression
--- Comment #4 from ebotcazou at gcc dot gnu dot org 2007-03-05 07:22 --- Investigating. -- ebotcazou at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |ebotcazou at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Last reconfirmed|2007-02-20 22:31:02 |2007-03-05 07:22:17 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30643
[Bug fortran/30437] [4.1/4.2 Regression] -Wno-all is rejected (even when fortran is not included)
-- brooks at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |brooks at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED Last reconfirmed|2007-01-14 05:49:41 |2007-03-05 07:35:03 date|| Summary|[4.0/4.1/4.2 Regression] - |[4.1/4.2 Regression] -Wno- |Wno-all is rejected (even |all is rejected (even when |when fortran is not |fortran is not included) |included) | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30437
