[Bug ada/34373] Compiler crash: container and discriminant

[vgodunko at rostel dot ru]

--- Comment #1 from vgodunko at rostel dot ru  2007-12-07 08:29 ---


*** This bug has been marked as a duplicate of 34372 ***


-- 

vgodunko at rostel dot ru changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34373

[Bug ada/34372] New: Compiler crash: container and discriminant

[vgodunko at rostel dot ru]

Hello,

I have following GNAT bug box for uploaded testcase:

gcc -c items-contexts.adb 
+===GNAT BUG DETECTED==+
| 4.3.0 20071118 (experimental) (i686-pc-linux-gnu) Assert_Failure
exp_util.adb:1769|
| Error detected at items-contexts.adb:7:9 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.|
| Use a subject line meaningful to you and us to track the bug.|
| Include the entire contents of this bug box in the report.   |
| Include the exact gcc or gnatmake command that you entered.  |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files).   |
+==+

PS. Problem appears in combination of discriminant and Vector (Controlled?)
component.


-- 
   Summary: Compiler crash: container and discriminant
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: vgodunko at rostel dot ru


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34372

[Bug ada/34372] Compiler crash: container and discriminant

[vgodunko at rostel dot ru]

--- Comment #1 from vgodunko at rostel dot ru  2007-12-07 08:25 ---
Created an attachment (id=14706)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14706&action=view)
Testcase


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34372

[Bug ada/34373] New: Compiler crash: container and discriminant

[vgodunko at rostel dot ru]

Hello,

I have following GNAT bug box for uploaded testcase:

gcc -c items-contexts.adb 
+===GNAT BUG DETECTED==+
| 4.3.0 20071118 (experimental) (i686-pc-linux-gnu) Assert_Failure
exp_util.adb:1769|
| Error detected at items-contexts.adb:7:9 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.|
| Use a subject line meaningful to you and us to track the bug.|
| Include the entire contents of this bug box in the report.   |
| Include the exact gcc or gnatmake command that you entered.  |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files).   |
+==+

PS. Problem appears in combination of discriminant and Vector (Controlled?)
component.


-- 
   Summary: Compiler crash: container and discriminant
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: vgodunko at rostel dot ru


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34373

[Bug ada/34374] New: limited with clause and private parent package

[vgodunko at rostel dot ru]

Hello,

private package P is
end P;

with P.B;
package P.A is
end P.A;

limited with P.A;
package P.B is
end P.B;

gcc -c p-a.ads
p-b.ads:1:14: unit in with clause is private child unit

This seems incorrect.


-- 
   Summary: limited with clause and private parent package
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: vgodunko at rostel dot ru


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34374

[Bug fortran/34376] New: [4.3 Regression] gfortran.dg/ishft_1.f90

[hjl at lucon dot org]

I got

/net/gnu-13/export/gnu/src/gcc/gcc/gcc/testsuite/gfortran.dg/ishft_1.f90:28.29:^M
^M
if (ishft (-1_8, -60) /= z'F') call abort^M
1^M
Warning: Extension: BOZ used outside a DATA statement at (1)^M

Is this related to

http://gcc.gnu.org/ml/fortran/2007-12/msg00055.html


-- 
   Summary: [4.3 Regression]  gfortran.dg/ishft_1.f90
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: hjl at lucon dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34376

[Bug fortran/34377] [4.3 Regression] 187.facerec in SPEC CPU 2000 failed to compile

[aldot at gcc dot gnu dot org]

--- Comment #1 from aldot at gcc dot gnu dot org  2007-12-07 10:33 ---


*** This bug has been marked as a duplicate of 34359 ***


-- 

aldot at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34377

[Bug fortran/34359] ICE in December 6 version of gfortran when compiling a file with two routines that contain INCLUDE statements

[aldot at gcc dot gnu dot org]

--- Comment #2 from aldot at gcc dot gnu dot org  2007-12-07 10:33 ---
*** Bug 34377 has been marked as a duplicate of this bug. ***


-- 

aldot at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||hjl at lucon dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34359

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

[rguenth at gcc dot gnu dot org]

--- Comment #3 from rguenth at gcc dot gnu dot org  2007-12-07 10:32 ---
Confirmed.  Caused by

2007-12-06  Harsha Jagasia <[EMAIL PROTECTED]>

* tree-vectorizer.c (slpeel_add_loop_guard): Gimplify the condition.
(set_prologue_iterations): New. Set the prologue iterations to total
number of scalar iterations if the cost model check indicates that
scalar code should be generated.
(slpeel_tree_peel_loop_to_edge): Add a new parameter and code for
generating the cost condition for epilog. Call
set_prologue_iterations to generate cost condition for prolog.
(new_loop_vec_info): Initialize LOOP_VINFO_NITERS_UNCHANGED.
...


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||rguenth at gcc dot gnu dot
   ||org, harsha dot jagasia at
   ||amd dot com
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 10:32:33
   date||
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34371

[Bug tree-optimization/34363] [4.2 Regression] Aliasing failure during tree fre

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2007-12-07 10:25 ---
Confirmed.  Wrong alias info:

foo (p)
{
  unsigned int n.0;

:
  #   n_2 = V_MUST_DEF ;
  n = 4;
  #   NONLOCAL.6_6 = V_MAY_DEF ;
  *p_3 = 0;
  #   VUSE ;
  n.0_4 = n;
  if (n.0_4 != 0) goto ; else goto ;

:;
  #   VUSE ;
  #   VUSE ;
  abort ();

:;
  return;


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
  Component|c   |tree-optimization
 Ever Confirmed|0   |1
   Keywords||alias, wrong-code
  Known to fail||4.2.2
  Known to work||4.1.3 4.3.0
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 10:25:13
   date||
Summary|Aliasing failure during tree|[4.2 Regression] Aliasing
   |fre |failure during tree fre
   Target Milestone|--- |4.2.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34363

[Bug ada/29157] gnattools fail on cross compilation - Makefile bug?

[sam at gcc dot gnu dot org]

--- Comment #6 from sam at gcc dot gnu dot org  2007-12-07 14:32 ---
Subject: Bug 29157

Author: sam
Date: Fri Dec  7 14:31:48 2007
New Revision: 130675

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130675
Log:
gcc/
PR ada/29157
* doc/install.texi: Explain how to check for a clean environment when
building GNAT.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/doc/install.texi


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29157

[Bug ada/33420] [Ada] crash passing SomeFunctionReturningPointer.all as function argument

[sam at gcc dot gnu dot org]

--- Comment #4 from sam at gcc dot gnu dot org  2007-12-07 14:44 ---
Confirmed on trunk.

+===GNAT BUG DETECTED==+
| 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure
atree.adb:962|
| Error detected at test2.adb:12:60|


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 14:44:51
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33420

[Bug ada/15805] Illegal program not detected, allows writing through access to constant

[sam at gcc dot gnu dot org]

--- Comment #2 from sam at gcc dot gnu dot org  2007-12-07 14:35 ---
Subject: Bug 15805

Author: sam
Date: Fri Dec  7 14:35:22 2007
New Revision: 130676

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130676
Log:
gcc/ada/
PR ada/15805
* sem_ch6.adb (Process_Formals): Prevent an access type formal
to be initialized with an access to constant object.

gcc/testsuite/
PR ada/15805
* gnat.dg/specs/access_constants.ads: New test.

Added:
trunk/gcc/testsuite/gnat.dg/specs/access_constant.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15805

[Bug ada/15805] Illegal program not detected, allows writing through access to constant

[sam at gcc dot gnu dot org]

--- Comment #3 from sam at gcc dot gnu dot org  2007-12-07 14:39 ---
Fixed in SVN trunk


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15805

[Bug ada/29157] gnattools fail on cross compilation - Makefile bug?

[sam at gcc dot gnu dot org]

--- Comment #7 from sam at gcc dot gnu dot org  2007-12-07 14:38 ---
Fixed in SVN trunk


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29157

[Bug ada/29157] gnattools fail on cross compilation - Makefile bug?

[sam at gcc dot gnu dot org]

-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |sam at gcc dot gnu dot org
   |dot org |
 Status|UNCONFIRMED |ASSIGNED
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 14:18:12
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29157

[Bug ada/29015] Ada 2005 observer pattern with mutually dependent packages and containers produces compiler error

[sam at gcc dot gnu dot org]

--- Comment #4 from sam at gcc dot gnu dot org  2007-12-07 14:01 ---
Confirmed on SVN trunk

+===GNAT BUG DETECTED==+
| 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure
atree.adb:962|
| Error detected at subjects.ads:19:3  |


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
   Last reconfirmed|2006-09-18 17:55:33 |2007-12-07 14:01:58
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29015

[Bug ada/29958] Ada: gcc bug box with an inherited generic package

[sam at gcc dot gnu dot org]

--- Comment #4 from sam at gcc dot gnu dot org  2007-12-07 13:58 ---
Confirmed on SVN trunk:

+===GNAT BUG DETECTED==+
| 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure
sem_ch7.adb:1457|
| Error detected at example-generic_child.ads:4:1  |


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 13:58:51
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29958

[Bug libgcj/33114] jc1 segault building lljava/java/util/AbstractMap.java

[dps at simpson dot demon dot co dot uk]

--- Comment #4 from dps at simpson dot demon dot co dot uk  2007-12-07 
13:26 ---
Subject: Re:  jc1 segault building 
 lljava/java/util/AbstractMap.java


I have experinced odd problems which seemed to be related to svn not being 
quite magic enoguh to keep what was on my disc in sync with the repository (I 
think). Whatever the explanation nuking my coy and obtain a frsh one form 
stratch made the problem vanish.

The box that had sufficient horse power to sensibly build gcc has died, so I 
will wait for a (faster) replacement before I try again. I will want a 64 bit 
compiler in any case, and probably a 32 bit "cross" compiler. I put "cross" in 
quotes because I will be getting an AMD Athlon X2 which actually can run 32 
bit binaries.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33114

[Bug ada/30618] [4.1 regression] Infinite loop in sem_ch8.end_use_clauses

[sam at gcc dot gnu dot org]

--- Comment #4 from sam at gcc dot gnu dot org  2007-12-07 12:53 ---
This is fixed in SVN trunk


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
   Priority|P5  |P2
 Resolution||FIXED
   Target Milestone|4.1.3   |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30618

[Bug ada/34379] [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program

[ludovic at ludovic-brenta dot org]

--- Comment #1 from ludovic at ludovic-brenta dot org  2007-12-07 15:21 
---
Second test case that triggers the same bug box:

package pak2 is
   type T1 is interface;
   function f1 (x: access T1) return integer;
   x1: integer := T1'Class (3).f1;
end pak2;

gnatmake -gnat05 pak2
gcc-4.1 -c -gnat05 pak2.ads
pak2.ads:4:21: expected an access type with designated type "T1" defined at
line 2
pak2.ads:4:21: found type "T1'class" defined at line 2

gcc -c pak2.ads -gnat05
+===GNAT BUG DETECTED==+
| 4.2.2 (i686-unknown-linux-gnu) Assert_Failure einfo.adb:508  |
| Error detected at pak2.ads:6:21  |


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34379

[Bug ada/32286] [4.2/4.3 Regression] ICE in dwarf2out with -g: sees Ada f-e unconstrained_array_type node

[sam at gcc dot gnu dot org]

--- Comment #2 from sam at gcc dot gnu dot org  2007-12-07 12:37 ---
Have you tried with a recent trunk GCC? Your GCC reads "20070611", but with the
current trunk (4.3.0 20071207), I cannot reproduce the bug on
i686-pc-linux-gnu:

% gcc -c -g -gnat05 e.adb

Laurent, which version did you use?


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||laurent at guerby dot net,
   ||sam at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32286

[Bug ada/34379] New: [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program

[ludovic at ludovic-brenta dot org]

package pak1 is
   type T1 is interface;
   function f1 (x: access T1'class) return integer;
   x1: integer := T1'Class (3).f1;
end pak1;

gnatmake -gnat05 pak1
gcc-4.1 -c -gnat05 pak1.ads
pak1.ads:4:31: no selector "f1" for type "T1'class" defined at line 2
gnatmake: "pak1.ads" compilation error

gcc -c pak1.ads  -gnat05
+===GNAT BUG DETECTED==+
| 4.2.2 (i686-unknown-linux-gnu) Assert_Failure einfo.adb:508  |
| Error detected at pak1.ads:4:21  |


-- 
   Summary: [4.2 regression] Bug box, Assert_Failure einfo.adb:508
on illegal Ada 2005 program
   Product: gcc
   Version: 4.2.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic at ludovic-brenta dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34379

[Bug ada/32452] [4.1//4.2 Regression] Incorrect type debugging information for variables in other compilation units

[sam at gcc dot gnu dot org]

--- Comment #2 from sam at gcc dot gnu dot org  2007-12-07 12:33 ---
Already fixed in SVN trunk:

(gdb) ptype external.b
type = array (1 .. 4) of float


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED
   Target Milestone|4.1.3   |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32452

Re: [Bug ada/34173] New: [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

[Olivier Hainque]

Hello,

andreasmeier80 at gmx dot de wrote:
> gnat.dg/release_unc_maxalign.adb execution test fails for me since
> 20.11.2007.  At 19.11.2007 it whas worked.

 This should be fixed now. Analysis at 

  http://gcc.gnu.org/ml/gcc-patches/2007-12/msg00318.html

 Thanks again for opening the PR.

 Olivier

[Bug ada/34173] [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

[hainque at adacore dot com]

--- Comment #9 from hainque at adacore dot com  2007-12-07 11:08 ---
Subject: Re:   New: [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb
execution test

Hello,

andreasmeier80 at gmx dot de wrote:
> gnat.dg/release_unc_maxalign.adb execution test fails for me since
> 20.11.2007.  At 19.11.2007 it whas worked.

 This should be fixed now. Analysis at 

  http://gcc.gnu.org/ml/gcc-patches/2007-12/msg00318.html

 Thanks again for opening the PR.

 Olivier


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34173

[Bug ada/34173] [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

[hainque at gcc dot gnu dot org]

--- Comment #8 from hainque at gcc dot gnu dot org  2007-12-07 10:50 ---
Subject: Bug 34173

Author: hainque
Date: Fri Dec  7 10:50:23 2007
New Revision: 130673

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130673
Log:
2007-12-07  Olivier Hainque  <[EMAIL PROTECTED]>

PR ada/34173
* decl.c (gnat_to_gnu_entity) : When setting
the alignment on the GCC XUA array type, set TYPE_USER_ALIGN if
this is from an alignment clause on the GNAT entity.
* utils.c (create_field_decl): Rewrite the computation of DECL_ALIGN
to distinguish the case where we set it from the type's alignment.
When so, propagate TYPE_USER_ALIGN into DECL_USER_ALIGN to indicate
whether this alignment was set from an explicit alignment clause.


Added:
trunk/gcc/testsuite/gnat.dg/unc_memfree.adb
trunk/gcc/testsuite/gnat.dg/unc_memops.adb
trunk/gcc/testsuite/gnat.dg/unc_memops.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/decl.c
trunk/gcc/ada/utils.c
trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34173

[Bug fortran/34376] [4.3 Regression] gfortran.dg/ishft_1.f90

[burnus at gcc dot gnu dot org]

--- Comment #1 from burnus at gcc dot gnu dot org  2007-12-07 10:31 ---
Seemingly, I forgot commit that change. However, the change becomes obsolete
(i.e. does not trigger for -pedantic) with the patch:

http://gcc.gnu.org/ml/fortran/2007-12/msg00075.html

I therefore would like to wait a while to see whether the patch gets approved;
otherwise I will add the missing dg-warning.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34376

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

[jakub at gcc dot gnu dot org]

--- Comment #2 from jakub at gcc dot gnu dot org  2007-12-07 10:21 ---
Which arch?  Can't reproduce this on x86_64-linux, i686-linux nor
ppc{,64}-linux
with current trunk.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34371

[Bug ada/34173] [4.3 regression] FAIL: gnat.dg/release_unc_maxalign.adb execution test

[hainque at gcc dot gnu dot org]

--- Comment #10 from hainque at gcc dot gnu dot org  2007-12-07 11:09 
---
fixed on mainline.


-- 

hainque at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34173

[Bug middle-end/34375] New: internal compiler error: tree check: expected ssa_name, have symbol_memory_tag in is_old_name, at tree-into-ssa.c:566

[dominiq at lps dot ens dot fr]

Since at least revision 130630 (but not in 130463), the gfortran testsuite has
a lot of failures with -O3 on powerpc-apple-darwin9 not present on
i686-apple-darwin9 nor powerpc-apple-darwin8. A reduced case is:

[karma] f90/bug% cat scalarize_ref.f90
! Program to test the scalarizer
program testarray
   implicit none
   integer, dimension (6, 5) :: a

   a = 0
   a(1,2) = 2

   ! The following expression should cause loop reordering
   a(:, 2:4) = a(:, 1:3)

   if (a(1, 3) .ne. 2) call abort
end program

[karma] f90/bug% gfc -O3 scalarize_ref.f90
scalarize_ref.f90: In function 'testarray':
scalarize_ref.f90:2: internal compiler error: tree check: expected ssa_name,
have symbol_memory_tag in is_old_name, at tree-into-ssa.c:566
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.

As far as I can tell, it requires both

   a(:, 2:4) = a(:, 1:3)

and

   if (a(1, 3) .ne. 2) call abort


-- 
   Summary: internal compiler error: tree check: expected ssa_name,
have symbol_memory_tag in is_old_name, at tree-into-
ssa.c:566
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: dominiq at lps dot ens dot fr
 GCC build triplet: powerpc-apple-darwin9
  GCC host triplet: powerpc-apple-darwin9
GCC target triplet: powerpc-apple-darwin9


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34375

[Bug ada/34372] Compiler crash: container and discriminant

[vgodunko at rostel dot ru]

--- Comment #2 from vgodunko at rostel dot ru  2007-12-07 08:29 ---
*** Bug 34373 has been marked as a duplicate of this bug. ***


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34372

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
   |dot org |
URL||http://gcc.gnu.org/ml/gcc-
   ||patches/2007-
   ||12/msg00327.html
 Status|NEW |ASSIGNED
   Last reconfirmed|2007-12-07 10:32:33 |2007-12-07 12:32:30
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34371

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

[sam at gcc dot gnu dot org]

--- Comment #1 from sam at gcc dot gnu dot org  2007-12-07 15:51 ---
On trunk:

Compiling: pak5.ads (source file time stamp: 2007-12-07 15:48:22)

 6.x2: integer := f(x1.all); -- line 5; column 19 is the opening paren
   |
>>> expected type "t1'class" defined at pak4.ads:2
>>> found type "t2'class" defined at pak4.ads:3

 7.x3: float := x1.all;
   |
>>> expected type "Standard.Float"
>>> found type "t2'class" defined at pak4.ads:3

 8.x4: boolean := pak4."="(x1.all, x1.all);
  |
>>> "=" not declared in "pak4"

 9 lines: 5 errors

I haven't looked at whether all those errors are legitimate or not.


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
 Status|UNCONFIRMED |WAITING


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381

[Bug ada/34379] [4.2 regression] Bug box, Assert_Failure einfo.adb:508 on illegal Ada 2005 program

[sam at gcc dot gnu dot org]

--- Comment #2 from sam at gcc dot gnu dot org  2007-12-07 15:46 ---
Already fixed in trunk.

Compiling: pak1.ads (source file time stamp: 2007-12-07 15:45:01)

 4.x1: integer := T1'Class (3).f1;
|
>>> object in prefixed call to "f1" must be aliased (RM-2005 4.3.1
(13))

 5 lines: 1 error

Compiling: pak2.ads (source file time stamp: 2007-12-07 15:45:38)

 3.function f1 (x: access T1) return integer;
   |
>>> (Ada 2005) interface subprogram "f1" must be abstract or null

 4.x1: integer := T1'Class (3).f1;
|
>>> object in prefixed call to "f1" must be aliased (RM-2005 4.3.1
(13))

 5 lines: 2 errors


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34379

[Bug ada/19409] ACATS c460010 - valgrind detects wrong code

[sam at gcc dot gnu dot org]

--- Comment #8 from sam at gcc dot gnu dot org  2007-12-07 13:01 ---
I cannot reproduce the problem on 4.3.0 20071207 by running the test case.
However, the valgrind messages remain.


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19409

[Bug ada/34380] New: [4.2 regression] Bug box, Assert_Failure elists.adb:167 on illegal Ada 2005 program

[ludovic at ludovic-brenta dot org]

This is the same bug box as in PR ada/34344 but it happens only in 4.2.2 and
with a different test case; therefore I think this is a different bug.

package pak3 is
   type T1 is interface;
   type T2 is null record;
   x2: T2;
   function f1 (x: access T1'class) return integer;
   x1: integer := T1'Class (x2).f1;
end pak3;

gcc-4.1 -c -gnat05 pak3.ads
pak3.ads:6:32: no selector "f1" for type "T1'class" defined at line 2

gcc -c pak3.ads -gnat05
+===GNAT BUG DETECTED==+
| 4.2.2 (i686-unknown-linux-gnu) Assert_Failure elists.adb:167 |
| Error detected at pak3.ads:8:21  |


-- 
   Summary: [4.2 regression] Bug box, Assert_Failure elists.adb:167
on illegal Ada 2005 program
   Product: gcc
   Version: 4.2.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic at ludovic-brenta dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34380

[Bug ada/34381] New: Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

[ludovic at ludovic-brenta dot org]

package pak4 is
   type T1 is interface;
   type T2 is interface and T1;
end pak4;

limited with pak4;
package pak5 is
   function f(x: pak4.T1'class) return integer;
   x1: access pak4.T2'class;
   x2: integer := f(x1.all); -- line 5; column 19 is the opening paren
   x3: float := x1.all;
   x4: boolean := pak4."="(x1.all, x1.all);
end pak5;

gnatmake -gnat05 pak5
gcc-4.1 -c -gnat05 pak5.ads
+===GNAT BUG DETECTED==+
| 4.1.3 20070518 (prerelease) (Debian 4.1.2-8) (x86_64-pc-linux-gnu)   |
| Program_Error sem_type.adb:636 explicit raise|
| Error detected at pak5.ads:5:19  |

gcc -c pak5.ads -gnat05
+===GNAT BUG DETECTED==+
| 4.2.2 (i686-unknown-linux-gnu) Program_Error sem_type.adb:651 explicit raise|
| Error detected at pak5.ads:5:19  |


-- 
   Summary: Bug box, Program_Error sem_type.adb:636 explicit raise
on illegal Ada 2005 program
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic at ludovic-brenta dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

[pault at gcc dot gnu dot org]

--- Comment #4 from pault at gcc dot gnu dot org  2007-12-07 18:37 ---
Created an attachment (id=14708)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14708&action=view)
Fix for PR - not yet regtested


-- 

pault at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |pault at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31487

[Bug ada/34380] [4.2 regression] Bug box, Assert_Failure elists.adb:167 on illegal Ada 2005 program

[sam at gcc dot gnu dot org]

--- Comment #1 from sam at gcc dot gnu dot org  2007-12-07 15:44 ---
Already fixed in SVN trunk.

Compiling: pak3.ads (source file time stamp: 2007-12-07 15:42:26)

 6.x1: integer := T1'Class (x2).f1;
|
>>> object in prefixed call to "f1" must be aliased (RM-2005 4.3.1
(13))


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34380

[Bug ada/21346] Ada.Directories.Compose raises exception if Containing_Directory is empty string

[sam at gcc dot gnu dot org]

--- Comment #2 from sam at gcc dot gnu dot org  2007-12-07 18:03 ---
Fixed in SVN trunk


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21346

[Bug tree-optimization/34378] New: [autovectorize]: missed optimization

[tim at klingt dot org]

in the following code, first function is vectorized, while the second one is
not:

typedef float aligned_float  __attribute__((aligned(4 * sizeof(float;
typedef aligned_float * __restrict__ restricted_float_ptr;

void test(int n, restricted_float_ptr in, restricted_float_ptr out)
{
for (int i = 0; i != n; ++i)
out[i] = in[i] + 1.f;
}

void test2(int n, aligned_float * inarg, aligned_float * outarg)
{
restricted_float_ptr in = inarg;
restricted_float_ptr out = outarg;

for (int i = 0; i != n; ++i)
out[i] = in[i] + 1.f;
}


-- 
   Summary: [autovectorize]: missed optimization
   Product: gcc
   Version: 4.2.2
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: tim at klingt dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34378

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

[charlet at gcc dot gnu dot org]

--- Comment #5 from charlet at gcc dot gnu dot org  2007-12-07 17:48 ---
closing


-- 

charlet at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

[ludovic at ludovic-brenta dot org]

--- Comment #4 from ludovic at ludovic-brenta dot org  2007-12-07 17:46 
---
You are correct! Per 10.1.2(17/2), Pak4 as seen from Pak5 is the limited view
of the package.  Per 10.1.1(12.3/2), Pak5 sees a "tagged incomplete view" of
Pak4.T2.  Per 3.10.1(2.1/2) this view is limited, so Pak4."=" is not visible
from Pak5 (therefore the last error message is correct, but could perhaps be
improved, e.g. ""=" not visible in the limited view of Pak4").

The ARM does not say explicitly that the tagged limited view has no ancestors;
however, the AARM says (10.1.1(12.g.1/2)) that the compiler should not perform
semantic analysis on the limited view of a package; since such analysys would
be required to determine the ancestors of a tagged type, we can conclude that
tagged limited views have no (visible) ancestors.  Therefore the first error
message is also correct.

Please close as fixed and set the target milestone, as Bugzilla doesn't allow
me to do that myself.


-- 

ludovic at ludovic-brenta dot org changed:

   What|Removed |Added

 Status|WAITING |UNCONFIRMED
  Known to work||4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381

[Bug c++/34383] New: [4.3] ICE on Usage of default function template argument

[rbuergel at web dot de]

#include 

template class
Comp=std::tr1::is_same> void
STATIC_ASSERT( T2 t2=T2(), T1 t1=T1() )
{
  static_assert( Comp::value, "" );
}

int main()
{
unsigned int b;
STATIC_ASSERT(b);
}


g++-4.3.0  -std=c++0x  -c -o test.o test.cpp
/usr/lib/gcc/i686-pc-linux-gnu/4.3.0/include/g++-v4/tr1_impl/type_traits: In
function 'int main()':
/usr/lib/gcc/i686-pc-linux-gnu/4.3.0/include/g++-v4/tr1_impl/type_traits:302:
internal compiler error: Segmentation fault
Please submit a full bug report,...


-- 
   Summary: [4.3] ICE on Usage of default function template argument
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rbuergel at web dot de


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34383

[Bug ada/21346] Ada.Directories.Compose raises exception if Containing_Directory is empty string

[sam at gcc dot gnu dot org]

--- Comment #1 from sam at gcc dot gnu dot org  2007-12-07 18:03 ---
Subject: Bug 21346

Author: sam
Date: Fri Dec  7 18:03:20 2007
New Revision: 130692

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130692
Log:
gcc/ada/
PR ada/21346
* a-direct.adb (Compose): Containing_Directory can be an empty string.

gcc/testsuite/
PR ada/21346
* gnat.dg/compose.adb: New test.

Added:
trunk/gcc/testsuite/gnat.dg/compose.adb
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-direct.adb
trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21346

[Bug fortran/32129] ICE: Procedure call with array-section-actual to scalar dummy

[pault at gcc dot gnu dot org]

--- Comment #5 from pault at gcc dot gnu dot org  2007-12-07 11:48 ---
Created an attachment (id=14707)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14707&action=view)
Fix for the PR

This is just regtesting but I think that it will be OK.

Note that this expression type was getting mangled in simplification.

Paul


-- 

pault at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |pault at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32129

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

[rguenth at gcc dot gnu dot org]

-- 

rguenth 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-12-07 19:04:13
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34382

[Bug tree-optimization/34371] [4.3 Regression] verify_stmts failed (incorrect sharing of tree nodes)

[jakub at gcc dot gnu dot org]

--- Comment #4 from jakub at gcc dot gnu dot org  2007-12-07 11:05 ---
Oopsie, then I had a stale definition of current.  I'll svn update and debug
this ;).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34371

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

[pault at gcc dot gnu dot org]

--- Comment #7 from pault at gcc dot gnu dot org  2007-12-08 06:50 ---
(In reply to comment #5)


> I did not looked yet at all the failures, but all the one I have looked at
> gives a bus error.

In fact, I do not check that the initializer is not NULL.

Paul


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31487

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

[pault at gcc dot gnu dot org]

--- Comment #6 from pault at gcc dot gnu dot org  2007-12-08 06:43 ---
(In reply to comment #5)


> I did not looked yet at all the failures, but all the one I have looked at
> gives a bus error.

Thanks Dominique.  I'm looking at PR32129 first and then this.  I am sure that
this fix is fundamentally right but that I have just forgotten a check on the
existence of something.

Cheers

Paul


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31487

[Bug c/34389] New: -Wconversion produces wrong warning

[Raimund dot Merkert at baesystems dot com]

If compiled with gcc -c -Wconversion the following code produces the warning:
test.c:7: warning: conversion to ‘short int’ from ‘int’ may alter its value

but if -DNO_WARNING is turned on it doesn't even though it should be same code.

cat > test.c 

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

[mueller at gcc dot gnu dot org]

--- Comment #4 from mueller at gcc dot gnu dot org  2007-12-08 02:23 ---
testing patch for pointer_set conversion


-- 

mueller at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |mueller at gcc dot gnu dot
   |dot org |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34386

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

[mueller at gcc dot gnu dot org]

--- Comment #3 from mueller at gcc dot gnu dot org  2007-12-08 02:07 ---
this patch seems to be an alternative way of making -Wstrict-aliasing=3 work
again for the testcase: 

--- c-common.c  (revision 130658)
+++ c-common.c  (working copy)
@@ -1035,7 +1035,8 @@ strict_aliasing_warning (tree otype, tre
 && POINTER_TYPE_P (otype) && !VOID_TYPE_P (TREE_TYPE (type
 return false;

-  if ((warn_strict_aliasing > 1) && TREE_CODE (expr) == ADDR_EXPR
+  if ((warn_strict_aliasing > 1)
+  && (TREE_CODE (expr) == CONVERT_EXPR || TREE_CODE (expr) == ADDR_EXPR)
   && (DECL_P (TREE_OPERAND (expr, 0))
   || handled_component_p (TREE_OPERAND (expr, 0
 {


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34386

[Bug fortran/34388] New: FAIL: gfortran.dg/proc_decl_1.f90 -O (test for excess errors)

[danglin at gcc dot gnu dot org]

Executing on host:
/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../gf
ortran -B/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../
/home/dave/
gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90   -O  
-pedantic-error
s -S  -o proc_decl_1.s(timeout = 300)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:14.21:

  procedure(), public, private :: a  ! { dg-error "was already specified" }
1
Error: ACCESS specification at (1) was already specified
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:15.30:

  procedure(sub),bind(C) :: a2  ! { dg-error "requires an interface with BIND.C
 1
Error: BIND(C) attribute at (1) requires an interface with BIND(C)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:16.55:

  procedure(sub2), public, bind(c, name="myEF") :: e, f  ! { dg-error "Multiple
  1
Error: Multiple identifiers provided with single NAME= specifier at (1)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:17.49:

  procedure(sub2), bind(C, name=""), pointer :: g  ! { dg-error "may not have P
1
Error: BIND(C) procedure with NAME may not have POINTER attribute at (1)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:20.24:

  procedure(),public:: h  ! { dg-error "was already specified" }
   1
Error: ACCESS specification at (1) was already specified
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:35.13:

  procedure(z) :: bar   ! { dg-error "may not be generic" }
1
Error: Interface 'z' at (1) may not be generic
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:37.30:

  procedure(), allocatable:: b  ! { dg-error "PROCEDURE attribute conflicts wit
 1
Error: PROCEDURE attribute conflicts with ALLOCATABLE attribute at (1)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:38.23:

  procedure(), save:: c  ! { dg-error "PROCEDURE attribute conflicts with SAVE
  1
Error: PROCEDURE attribute conflicts with SAVE attribute in 'c' at (1)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:41.17:

  procedure(amax0) :: my2  ! { dg-error "not allowed in PROCEDURE statement" }
1
Error: Intrinsic procedure 'amax0' not allowed in PROCEDURE statement at (1)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:43.27:

  procedure(),pointer:: ptr  ! { dg-error "not yet implemented" }
  1
Error: Fortran 2003: Procedure pointers at (1) are not yet implemented in
gfortran
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:46.13:

procedure(),pointer:: p  ! { dg-error "not yet implemented" }
1
Error: Fortran 2003: Procedure components at (1) are not yet implemented in
gfortran
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:53.13:

  procedure(f) :: q  ! { dg-error "may not be a statement function" }
1
Error: Interface 'f' at (1) may not be a statement function
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:63.41:

procedure(b), bind(c,name="hjj") :: a  ! { dg-error "may not have BIND.C. a
1
Error: Dummy procedure at (1) may not have BIND(C) attribute with NAME
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:64.31:

procedure(c),intent(in):: c  ! { dg-error "PROCEDURE attribute conflicts wi
  1
Error: PROCEDURE attribute conflicts with INTENT attribute in 'c' at (1)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:54.20:

  procedure(oo) :: p  ! { dg-error "must be explicit" }
   1
Error: Interface 'oo' of procedure 'p' at (1) must be explicit
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:74.13:

entry abc2(x)  ! { dg-error "PROCEDURE attribute conflicts with ENTRY attribute
1
Error: PROCEDURE attribute conflicts with ENTRY acompiler exited with status 1
output is:
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:14.21:

  procedure(), public, private :: a  ! { dg-error "was already specified" }
1
Error: ACCESS specification at (1) was already specified
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:15.30:

  procedure(sub),bind(C) :: a2  ! { dg-error "requires an interface with BIND.C
 1
Error: BIND(C) attribute at (1) requires an interface with BIND(C)
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/proc_decl_1.f90:16.55:

  procedure(sub2), public, bind(c, name="myEF") :: e, f  ! { dg-error "Multiple
  1
Error: Multiple identifiers provided with single NAM

[Bug fortran/34387] New: FAIL: gfortran.dg/optional_dim_2.f90

[danglin at gcc dot gnu dot org]

Executing on host:
/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../gf
ortran -B/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/optional_dim_2.f90   -O0  
-pedantic-errors 
-L/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libgfortran/.libs
-L/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libgfortran/.libs
-L/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libiberty  -lm   -o
./optional_dim_2.exe(timeout = 300)
PASS: gfortran.dg/optional_dim_2.f90  -O0  (test for excess errors)
Setting LD_LIBRARY_PATH to
.:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.3/objdir/gcc:.:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.3/objdir/gcc:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libstdc++-v3/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libmudflap/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libssp/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libgomp/.libs:/home/dave/gnu/gcc-4.3/objdir/./gcc:/home/dave/gnu/gcc-4.3/objdir/./prev-gcc
Fortran runtime error: Argument 'DIM' is out of range in call to 'CSHIFT'
FAIL: gfortran.dg/optional_dim_2.f90  -O0  execution test


-- 
   Summary: FAIL: gfortran.dg/optional_dim_2.f90
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: danglin at gcc dot gnu dot org
 GCC build triplet: hppa-unknown-linux-gnu
  GCC host triplet: hppa-unknown-linux-gnu
GCC target triplet: hppa-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34387

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2007-12-08 00:22 ---
Created an attachment (id=14711)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14711&action=view)
patch 'fixing' the issues

Prototype patch showing the result of fixing these three issues.  Not
applicable
in its current form.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34386

[Bug middle-end/34386] New: -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

[rguenth at gcc dot gnu dot org]

The new alias violation warning is ineffective for PR34385 for several reasons:

 - we TBAA prune the points-to sets, this deletes the information the warning
   is depending on

 - the warning is disabled for structure types

 - in C++, temporaries are 'artificial' and such no warnings are generated for
   accesses to them


-- 
   Summary: -Wstrict-aliasing=3 ineffective (tree-ssa-alias-
warnings.c)
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Keywords: diagnostic
  Severity: enhancement
  Priority: P3
 Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34386

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

[rguenth at gcc dot gnu dot org]

--- Comment #4 from rguenth at gcc dot gnu dot org  2007-12-07 23:14 ---
Right, that is invalid.

*** This bug has been marked as a duplicate of 21920 ***


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug tree-optimization/34385] new miscompilation after PR34148 fix

[mueller at gcc dot gnu dot org]

--- Comment #1 from mueller at gcc dot gnu dot org  2007-12-07 22:46 ---
Created an attachment (id=14710)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14710&action=view)
testcase

compile with g++ -ansi -O2 


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug ada/34361] Incorrect comment at top of mlib-tgt.adb

[sam at gcc dot gnu dot org]

--- Comment #2 from sam at gcc dot gnu dot org  2007-12-07 22:24 ---
Fixed in trunk


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34361

[Bug ada/34361] Incorrect comment at top of mlib-tgt.adb

[sam at gcc dot gnu dot org]

--- Comment #1 from sam at gcc dot gnu dot org  2007-12-07 22:23 ---
Subject: Bug 34361

Author: sam
Date: Fri Dec  7 22:23:39 2007
New Revision: 130696

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130696
Log:
Fix wrong PR number in approved submitters comment (in ada/ChangeLog):
   PR ada/34261 -> PR ada/34361.

Corresponds to commit 130695.


Modified:
trunk/gcc/ada/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34361

[Bug target/34261] Directed rounding doesn't work on MacOS X

[sam at gcc dot gnu dot org]

--- Comment #5 from sam at gcc dot gnu dot org  2007-12-07 22:19 ---
Subject: Bug 34261

Author: sam
Date: Fri Dec  7 22:19:22 2007
New Revision: 130695

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130695
Log:
2007-12-07  Ludovic Brenta  <[EMAIL PROTECTED]>

gcc/ada/
PR ada/34261
* mlib-tgt.adb, mlib-tgt.ads: Fix comments at the top to reflect
the new implementation of target-specific calls.

Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/mlib-tgt.adb
trunk/gcc/ada/mlib-tgt.ads


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34261

[Bug c++/34069] [4.3 regression] ICE with invalid specialization of variadic template

[reichelt at gcc dot gnu dot org]

--- Comment #3 from reichelt at gcc dot gnu dot org  2007-12-07 21:43 
---
Both the reduced testcase here and the original testcase in PR 32128 are now
fixed in mainline (probably by the patch for PR 33091).


-- 

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=34069

[Bug fortran/32129] ICE: Procedure call with array-section-actual to scalar dummy

[pault at gcc dot gnu dot org]

--- Comment #6 from pault at gcc dot gnu dot org  2007-12-07 13:46 ---
(In reply to comment #5)

> This is just regtesting but I think that it will be OK.

Famous last words! It regresses in elemental_subroutine_2.f90.  It should all
be fixable witout much effort, though.

Paul


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32129

gcc-bugs@gcc.gnu.org

[rguenth at gcc dot gnu dot org]

--- Comment #5 from rguenth at gcc dot gnu dot org  2007-12-07 20:19 ---
Confirmed.


-- 

rguenth 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-12-07 20:19:26
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32643

[Bug ada/21346] Ada.Directories.Compose raises exception if Containing_Directory is empty string

[sam at gcc dot gnu dot org]

-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |sam at gcc dot gnu dot org
   |dot org |
 Status|UNCONFIRMED |ASSIGNED
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 13:22:15
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21346

[Bug ada/32286] [4.2/4.3 Regression] ICE in dwarf2out with -g: sees Ada f-e unconstrained_array_type node

[laurent at guerby dot net]

--- Comment #3 from laurent at guerby dot net  2007-12-07 17:44 ---
Trunk from 20070611, but if it doesn't show up now (I haven't checked) this
should be marked as fixed on trunk.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32286

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2007-12-07 19:11 ---
Subject: Bug 34382

Author: rguenth
Date: Fri Dec  7 19:11:31 2007
New Revision: 130693

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130693
Log:
2007-12-07  Richard Guenther  <[EMAIL PROTECTED]>

PR middle-end/34382
* opts.c (common_handle_option): Handle OPT_fforce_addr.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/opts.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34382

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

[rguenth at gcc dot gnu dot org]

--- Comment #3 from rguenth at gcc dot gnu dot org  2007-12-07 19:12 ---
Flixed.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34382

[Bug middle-end/34382] [4.3 Regression] -fforce-addr completely broken

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2007-12-07 19:05 ---
Mine.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
   |dot org |org
 Status|NEW |ASSIGNED
   Last reconfirmed|2007-12-07 19:04:13 |2007-12-07 19:05:04
   date||
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34382

[Bug middle-end/34382] New: [4.3 Regression] -fforce-addr completely broken

[tbm at cyrius dot com]

(sid)2359:[EMAIL PROTECTED]: ~] touch t.c
(sid)2360:[EMAIL PROTECTED]: ~] /usr/lib/gcc-snapshot/bin/gcc -fforce-addr t.c
cc1: internal compiler error: in common_handle_option, at opts.c:1787
Please submit a full bug report,
with preprocessed source if appropriate.

This is with 4.3.0 20071207.


-- 
   Summary: [4.3 Regression] -fforce-addr completely broken
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: tbm at cyrius dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34382

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

[sam at gcc dot gnu dot org]

--- Comment #3 from sam at gcc dot gnu dot org  2007-12-07 17:04 ---
Note that those errors are caused only by the presence of the
limited_with_clause.  I haven't a RM handy, but I think pak5 only sees T1 and
T2 as if they were incomplete types. In this context, T2 doesn't derive from
T1, and T2 is not non-limited.


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381

[Bug libstdc++/33831] [4.3 Regression] Revision 129442 breaks libstc++ API

[tbm at cyrius dot com]

--- Comment #5 from tbm at cyrius dot com  2007-12-08 03:10 ---
What's the status of this, Ben?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33831

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

[mueller at gcc dot gnu dot org]

-- 

mueller at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Last reconfirmed|2007-12-08 02:23:39 |2007-12-08 02:23:50
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34386

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

[hp at gcc dot gnu dot org]

--- Comment #2 from hp at gcc dot gnu dot org  2007-12-08 00:44 ---
I'm not sure this is related but a while ago I ran valgrind hoping to
spot the cause for another bug, and valgrind complained about
tree-ssa-alias-warnings.c:processed_func_p (tree func)
which hashes the address of its argument:
 *slot = &func;
where it probably meant
 *slot = func;
This bug looked like it could mask warnings or possibly cause multiple
warnings for the same code.
Another solution would replace the machinery where this is used with
a pointer_set for the hashing, or available bits in the tree to mark
the visitedness.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34386

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

[rguenth at gcc dot gnu dot org]

--- Comment #7 from rguenth at gcc dot gnu dot org  2007-12-08 00:03 ---
Because the temporary object D.2360 is indeed artificial.  If you disable that
filtering you get (finally)

t.ii: In function 'const QString& staticQString(const QString&)':
t.ii:110: warning: likely type-punning may break strict-aliasing rules: object
'*{unknown}' of main type 'QHash::const_iterator' is referenced
at or around t.ii:110 and may be aliased to object '{unknown}' of main type
'QHash::iterator' which is referenced at or around t.ii:95.

For reference:

Index: tree-ssa-alias-warnings.c
===
--- tree-ssa-alias-warnings.c   (revision 130692)
+++ tree-ssa-alias-warnings.c   (working copy)
@@ -866,11 +866,6 @@ nonstandard_alias_p (tree ptr, tree alia
   if (var_ann (get_ssa_base (alias))->escape_mask != NO_ESCAPE)
 return false;

-  /* XXX: don't get into structures for now.  It brings much complication
- and little benefit.  */
-  if (struct_class_union_p (ptr_type) || struct_class_union_p (alias_type))
-return false;
-
   /* If they are both SSA names of artificials, let it go, the warning
  is too confusing.  */
   if (find_first_artificial_name (ptr) && find_first_artificial_name (alias))
@@ -923,7 +918,7 @@ dsa_named_for (tree ptr)

  if (nonstandard_alias_p (ptr, alias, false))
strict_aliasing_warn (SSA_NAME_DEF_STMT (ptr),
- ptr, true, alias, false, true);
+ ptr, true, alias, false, false);
}
}
 }


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

[rguenth at gcc dot gnu dot org]

--- Comment #6 from rguenth at gcc dot gnu dot org  2007-12-07 23:57 ---
First we hit

/* XXX: don't get into structures for now.  It brings much
complication
 and little benefit.  */
if (struct_class_union_p (ptr_type) || struct_class_union_p 
   (alias_type))
  return false;

and then if you fix that

  /* If they are not SSA names, but contain SSA names, drop the warning
 because it cannot be displayed well.
 Also drop it if they both contain artificials.
 XXX: this is a hack, must figure out a better way to display them.  */
  if (filter_artificials)
if ((find_first_artificial_name (get_ssa_base (object1))
 && find_first_artificial_name (get_ssa_base (object2)))
|| (TREE_CODE (object1) != SSA_NAME
&& contains_node_type_p (object1, SSA_NAME))
|| (TREE_CODE (object2) != SSA_NAME
&& contains_node_type_p (object2, SSA_NAME)))
  return false;


.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug c/21920] aliasing violations

[rguenth at gcc dot gnu dot org]

--- Comment #124 from rguenth at gcc dot gnu dot org  2007-12-07 23:14 
---
*** Bug 34385 has been marked as a duplicate of this bug. ***


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||mueller at gcc dot gnu dot
   ||org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21920

[Bug fortran/31487] Character array initialization in derived type: bad zero padding

[dominiq at lps dot ens dot fr]

--- Comment #5 from dominiq at lps dot ens dot fr  2007-12-07 23:05 ---
I have applied the patch in #4 and I have a lot of failures:

[ibook-dhum] f90/bug% cat pr30200_red.f90
   type test
character(len=100) :: names(5)
   end type test
   type(test) :: keyword
   keyword%names=(/"a","b","c","d","e"/)
   END
[ibook-dhum] f90/bug% gfc pr30200_red.f90
f951: internal compiler error: Bus error
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.

I did not looked yet at all the failures, but all the one I have looked at
gives a bus error.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31487

[Bug tree-optimization/34385] New: new miscompilation after PR34148 fix

[mueller at gcc dot gnu dot org]

the patch in PR34148 uncovered a new bug, avoidable with -fno-strict-aliasing


-- 
   Summary: new miscompilation after PR34148 fix
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Keywords: wrong-code
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: mueller at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug fortran/29267] different length non-constant strings in array constructors ICE

[burnus at gcc dot gnu dot org]

--- Comment #16 from burnus at gcc dot gnu dot org  2007-12-07 22:43 ---
> Btw, the original testcase started compiling on mainline between 2007-07-16 
> and
> 2007-08-15. It now compiles and runs without error.

Cool. And for -std=f95/f2003 the invalid code is rejected.
=> CLOSE. I think (hope?) thate the testsuite covers this PR..


-- 

burnus at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29267

[Bug target/34261] Directed rounding doesn't work on MacOS X

[sam at gcc dot gnu dot org]

--- Comment #6 from sam at gcc dot gnu dot org  2007-12-07 22:23 ---
Subject: Bug 34261

Author: sam
Date: Fri Dec  7 22:23:39 2007
New Revision: 130696

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130696
Log:
Fix wrong PR number in approved submitters comment (in ada/ChangeLog):
   PR ada/34261 -> PR ada/34361.

Corresponds to commit 130695.


Modified:
trunk/gcc/ada/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34261

[Bug fortran/29267] different length non-constant strings in array constructors ICE

[reichelt at gcc dot gnu dot org]

--- Comment #15 from reichelt at gcc dot gnu dot org  2007-12-07 22:12 
---
Btw, the original testcase started compiling on mainline between 2007-07-16 and
2007-08-15. It now compiles and runs without error.


-- 

reichelt at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||reichelt at gcc dot gnu dot
   ||org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29267

[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type

[charlet at gcc dot gnu dot org]

--- Comment #7 from charlet at gcc dot gnu dot org  2007-12-07 21:42 ---
Sam,

Could you point me to the message on gcc-patches submitting this
patch and to the approval message ? For some reason I cannot find it.

Arno


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559

[Bug middle-end/34386] -Wstrict-aliasing=3 ineffective (tree-ssa-alias-warnings.c)

[mueller at gcc dot gnu dot org]

-- 

mueller 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-12-08 02:23:39
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34386

[Bug target/32276] [4.3 Regression]: libmudflap.c++/pass41-frag.cxx

[danglin at gcc dot gnu dot org]

--- Comment #4 from danglin at gcc dot gnu dot org  2007-12-08 01:25 ---
Tests also on hppa-unknown-linux-gnu:

Executing on host: /home/dave/gnu/gcc-4.3/objdir/./gcc/g++ -shared-libgcc
-B/home/dave/gnu/gcc-4.3/objdir/./gcc -nostdinc++
-L/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libstdc++-v3/src
-L/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libstdc++-v3/
src/.libs -B/home/dave/opt/gnu/gcc/gcc-4.3.0/hppa-linux/bin/
-B/home/dave/opt/gn
u/gcc/gcc-4.3.0/hppa-linux/lib/ -isystem
/home/dave/opt/gnu/gcc/gcc-4.3.0/hppa-l
inux/include -isystem /home/dave/opt/gnu/gcc/gcc-4.3.0/hppa-linux/sys-include
-ggdb3 -DDEBUG_ASSERT -g -O2 -D_GLIBCXX_ASSERT -fmessage-length=0
-ffunction-secti
ons -fdata-sections -g -O2 -D_GNU_SOURCE
-I/home/dave/gnu/gcc-4.3/gcc/libmudflap
/testsuite -I/home/dave/gnu/gcc-4.3/gcc/libmudflap/testsuite/.. -I..
-nostdinc++
 -I/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libstdc++-v3/include/hppa-linux
-I/h
ome/dave/gnu/gcc-4.3/objdir/hppa-linux/libstdc++-v3/include
-I/home/dave/gnu/gcc-4.3/gcc/libstdc++-v3/libsupc++
-I/home/dave/gnu/gcc-4.3/gcc/libstdc++-v3/include/backward
-I/home/dave/gnu/gcc-4.3/gcc/libstdc++-v3/testsuite/util
-L/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libmudflap/.libs
/home/dave/gnu/gcc-4.3/gcc/libmudflap/testsuite/libmudflap.c++/pass41-frag.cxx 
 -fmudflap -lmudflap 
-L/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libmudflap/testsuite -ldl -lm   -o
./pass41-frag.exe(timeout = 300)
PASS: libmudflap.c++/pass41-frag.cxx (test for excess errors)
Setting LD_LIBRARY_PATH to
.:/home/dave/gnu/gcc-4.3/objdir/gcc:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libstdc++-v3/src/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libmudflap/.libs:.:/home/dave/gnu/gcc-4.3/objdir/gcc:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libstdc++-v3/src/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/./libmudflap/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libstdc++-v3/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libmudflap/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libssp/.libs:/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libgomp/.libs:/home/dave/gnu/gcc-4.3/objdir/./gcc:/home/dave/gnu/gcc-4.3/objdir/./prev-gcc
***
mudflap violation 1 (check/read): time=1197058746.759483 ptr=0x40787530 size=4
pc=0x40350f57
location=`/home/dave/gnu/gcc-4.3/objdir/hppa-linux/libstdc++-v3/include/ostream:557:46
(main)'
  [0x1]
number of nearby objects: 0
FAIL: libmudflap.c++/pass41-frag.cxx execution test


-- 

danglin at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||danglin at gcc dot gnu dot
   ||org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32276

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

Summary|new miscompilation after|[4.3 Regression] new
   |PR34148 fix |miscompilation after PR34148
   ||fix
   Target Milestone|--- |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug c/34384] New: Poor code generated when passing returned struct as a parameter

[sandmann at daimi dot au dot dk]

The program I will attach has a function that returns a struct. This struct is
then immediately passed by value to another function.

The code generated is using a local temporary variable, which leads to this
code:

   (1) load address of temporary into eax
   (2) call fun2(), which then fills out the temporary
   (3) push temporary on stack
   (4) call fun1()

It would be better to generate this:

   (1) reserve space on stack for temporary
   (2) move pointer to temporary into eax
   (3) call fun2(), which fills out the temporary
   (4) call fun1(), with the temporary already available on the stack


-- 
   Summary: Poor code generated when passing returned struct as a
parameter
   Product: gcc
   Version: unknown
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: sandmann at daimi dot au dot dk
 GCC build triplet: i386-redhat-linux
  GCC host triplet: i386-redhat-linux
GCC target triplet: i386-redhat-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34384

[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type

[sam at gcc dot gnu dot org]

--- Comment #8 from sam at gcc dot gnu dot org  2007-12-07 21:55 ---
Arnaud,

good catch, I forgot to send the message to gcc-patches with the content and
the ack indication. The patch was acked by Robert by mail (see GB19-012) on
November 19.


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||charlet at adacore dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559

[Bug c++/33091] [c++0x] ICE using remove_reference on variadic param pack

[reichelt at gcc dot gnu dot org]

-- 

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=33091

[Bug c++/32565] [4.3 regression] ICE with specialization of variadic template

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2007-12-07 20:14 ---
Confirmed.


-- 

rguenth 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-12-07 20:14:04
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32565

[Bug c++/34383] ICE on Usage of default function template argument

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2007-12-07 19:03 ---
Confirmed.

This one ICEs different:

template class Foo {};
template class
Comp = Foo> void
STATIC_ASSERT()
{
}

int main()
{
unsigned int b;
STATIC_ASSERT<>();
}

t.C: In function ‘int main()’:
t.C:1: internal compiler error: in tsubst_decl, at cp/pt.c:7602
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.

and this one is a reduced one for the original ICE:

template class Foo {};
template class
Comp = Foo> void
STATIC_ASSERT(T1)
{
}

int main()
{
unsigned int b;
STATIC_ASSERT<>(b);
}


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Keywords||ice-on-valid-code
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 19:03:40
   date||
Summary|[4.3] ICE on Usage of   |ICE on Usage of default
   |default function template   |function template argument
   |argument|


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34383

[Bug fortran/34377] New: [4.3 Regression] 187.facerec in SPEC CPU 2000 failed to compile

[hjl at lucon dot org]

With -O2 -ffast-math, gcc 4.3 revision 130669 got

f951: internal compiler error: in change_file, at fortran/scanner.c:322
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.
gaborRoutines.f90:13.10:

Revision 130596 is OK.


-- 
   Summary: [4.3 Regression]  187.facerec in SPEC CPU 2000 failed
to compile
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: hjl at lucon dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34377

[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program

[ludovic at ludovic-brenta dot org]

--- Comment #2 from ludovic at ludovic-brenta dot org  2007-12-07 16:33 
---
(In reply to comment #1)
> On trunk:
> 
> Compiling: pak5.ads (source file time stamp: 2007-12-07 15:48:22)
> 
>  6.x2: integer := f(x1.all); -- line 5; column 19 is the opening paren
>|
> >>> expected type "t1'class" defined at pak4.ads:2
> >>> found type "t2'class" defined at pak4.ads:3

I think this error message is incorrect as T2'Class is a subset of T1'Class.

> 
>  7.x3: float := x1.all;
>|
> >>> expected type "Standard.Float"
> >>> found type "t2'class" defined at pak4.ads:3

This is OK.

>  8.x4: boolean := pak4."="(x1.all, x1.all);
>   |
> >>> "=" not declared in "pak4"

This is wrong.  Pak4 declares T2 and and, implicitly, T2'Class and "=" since T2
is nonlimited.

-- 
Ludovic Brenta.


-- 

ludovic at ludovic-brenta dot org changed:

   What|Removed |Added

 Status|WAITING |UNCONFIRMED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381

[Bug libfortran/34370] file positioning after nonadvancing i/o

[tkoenig at gcc dot gnu dot org]

--- Comment #2 from tkoenig at gcc dot gnu dot org  2007-12-07 19:18 ---
(In reply to comment #1)
> Thomas, this should be straightforward.  Do you want to work this along with 
> PR
> 34323 ?

Yes, I'll take it.


-- 

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|UNCONFIRMED |ASSIGNED
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-12-07 19:18:12
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34370

[Bug c/34384] Poor code generated when passing returned struct as a parameter

[sandmann at daimi dot au dot dk]

--- Comment #1 from sandmann at daimi dot au dot dk  2007-12-07 22:00 
---
Created an attachment (id=14709)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14709&action=view)
Program using struct returns and parameters


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34384

[Bug tree-optimization/34385] new miscompilation after PR34148 fix

[mueller at gcc dot gnu dot org]

--- Comment #2 from mueller at gcc dot gnu dot org  2007-12-07 22:47 ---
diff between broken -fdump-tree-optimized and working one is really small:

--- out.cc.optimized.broken 2007-12-07 23:35:37.460943000 +0100
+++ out.cc.optimized.works  2007-12-07 23:35:53.641747000 +0100
@@ -40,6 +40,7 @@
   D.1626 = (struct QHashNode *) D.1625;
   D.1626->key.d = 0B;
   D.1626->key = *str;
+  D.1628.i = (struct Node *) D.1626;
   return &((struct QHashNode *) ((const struct const_iterator *)
&D.1628)->i)->key;

 }


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

[pinskia at gcc dot gnu dot org]

--- Comment #3 from pinskia at gcc dot gnu dot org  2007-12-07 22:52 ---
This code does not look defined:

i = reinterpret_cast < const const_iterator & >(o).i;

Where o is iterator&.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385

[Bug tree-optimization/34385] [4.3 Regression] new miscompilation after PR34148 fix

[rguenth at gcc dot gnu dot org]

--- Comment #5 from rguenth at gcc dot gnu dot org  2007-12-07 23:47 ---
We don't warn with -Wstrict-aliasing=3 first because we prune the points-to
sets based on TBAA which makes o.11_19 in

  o.11_19 = (const struct const_iterator *) &D.2360;
  # VUSE 
  D.2362_20 = o.11_19->i;

point to anything.  If you "fix" that with

Index: tree-ssa-structalias.c
===
--- tree-ssa-structalias.c  (revision 130692)
+++ tree-ssa-structalias.c  (working copy)
@@ -5014,7 +5014,7 @@ find_what_p_points_to (tree p)

  set_uids_in_ptset (p, finished_solution, vi->solution,
 vi->directly_dereferenced,
-vi->no_tbaa_pruning);
+true);/*vi->no_tbaa_pruning);*/
  result = shared_bitmap_lookup (finished_solution);

  if (!result)

we don't warn either, possibly because the machinery in
tree-ssa-alias-warnings.c does not handle pointers to locals(?)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385