* [Bug ada/25885] gnatpp won't compile
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
@ 2006-01-20 19:04 ` krischik at users dot sourceforge dot net
2006-01-20 19:07 ` krischik at users dot sourceforge dot net
` (10 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: krischik at users dot sourceforge dot net @ 2006-01-20 19:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from krischik at users dot sourceforge dot net 2006-01-20 19:04 -------
Created an attachment (id=10691)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10691&action=view)
The GNAT chop as whiched
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] gnatpp won't compile
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
2006-01-20 19:04 ` [Bug ada/25885] " krischik at users dot sourceforge dot net
@ 2006-01-20 19:07 ` krischik at users dot sourceforge dot net
2006-01-20 20:01 ` [Bug ada/25885] Ada ICE have nop_expr in int_const_binop on x86_64-linux laurent at guerby dot net
` (9 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: krischik at users dot sourceforge dot net @ 2006-01-20 19:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from krischik at users dot sourceforge dot net 2006-01-20 19:07 -------
Almost forgot, you want a gcc -v
----------------
>gcc -v
Es werden eingebaute Spezifikationen verwendet.
Ziel: x86_64-suse-linux
Konfiguriert mit: ../gcc-4.0.2/configure --with-gcc --with-gnu-ld --with-gnu-as
--enable-alloca=yes --enable-mpfr --enable-libada --enable-libgcj
--enable-multilib --enable-java-gc=boehm --enable-c99 --enable-threads=yes
--enable-interpreter --enable-hash-synchronization --enable-shared
--prefix=/opt/gnat/gcc --enable-languages=c,ada,c++,f95,java,objc
x86_64-suse-linux
Thread-Modell: posix
gcc-Version 4.0.2
-----------
Martin
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] Ada ICE have nop_expr in int_const_binop on x86_64-linux
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
2006-01-20 19:04 ` [Bug ada/25885] " krischik at users dot sourceforge dot net
2006-01-20 19:07 ` krischik at users dot sourceforge dot net
@ 2006-01-20 20:01 ` laurent at guerby dot net
2006-01-20 20:14 ` [Bug ada/25885] [4.0/4.1/4.2 Regression] Tree checking failure on ASIS ebotcazou at gcc dot gnu dot org
` (8 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: laurent at guerby dot net @ 2006-01-20 20:01 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from laurent at guerby dot net 2006-01-20 20:01 -------
Note this works on i686 with 4.0.2.
Confirmed on 4.0.2, also present in 4.1 and 4.2
$ gcc -c -O2 gnatpp-comments.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20060112 (prerelease) (x86_64-unknown-linux-gnu) GCC error: |
| tree check: expected integer_cst, have nop_expr in int_const_binop, |
| at fold-const.c:1330 |
| Error detected at gnatpp-comments.adb:944:17 |
$ gcc -c -O2 gnatpp-comments.adb
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060115 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| tree check: expected integer_cst, have nop_expr in int_const_binop, |
| at fold-const.c:1369 |
| Error detected at gnatpp-comments.adb:944:17 |
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Keywords| |ice-on-valid-code
Last reconfirmed|0000-00-00 00:00:00 |2006-01-20 20:01:27
date| |
Summary|gnatpp won't compile |Ada ICE have nop_expr in
| |int_const_binop on x86_64-
| |linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0/4.1/4.2 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (2 preceding siblings ...)
2006-01-20 20:01 ` [Bug ada/25885] Ada ICE have nop_expr in int_const_binop on x86_64-linux laurent at guerby dot net
@ 2006-01-20 20:14 ` ebotcazou at gcc dot gnu dot org
2006-01-20 20:15 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-20 20:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from ebotcazou at gcc dot gnu dot org 2006-01-20 20:14 -------
> Confirmed on 4.0.2, also present in 4.1 and 4.2
>
> $ gcc -c -O2 gnatpp-comments.adb
> +===========================GNAT BUG DETECTED==============================+
> | 4.1.0 20060112 (prerelease) (x86_64-unknown-linux-gnu) GCC error: |
> | tree check: expected integer_cst, have nop_expr in int_const_binop, |
> | at fold-const.c:1330 |
> | Error detected at gnatpp-comments.adb:944:17 |
>
> $ gcc -c -O2 gnatpp-comments.adb
> +===========================GNAT BUG DETECTED==============================+
> | 4.2.0 20060115 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
> | tree check: expected integer_cst, have nop_expr in int_const_binop, |
> | at fold-const.c:1369 |
> | Error detected at gnatpp-comments.adb:944:17 |
Yes, an annoying problem, regression from 3.x.
--
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
GCC build triplet|x86_64-suse-linux-gnu |*-*-*
GCC host triplet|x86_64-suse-linux-gnu |*-*-*
GCC target triplet|x86_64-suse-linux-gnu |*-*-*
Last reconfirmed|2006-01-20 20:01:27 |2006-01-20 20:14:09
date| |
Summary|Ada ICE have nop_expr in |[4.0/4.1/4.2 Regression]
|int_const_binop on x86_64- |Tree checking failure on
|linux |ASIS
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0/4.1/4.2 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (3 preceding siblings ...)
2006-01-20 20:14 ` [Bug ada/25885] [4.0/4.1/4.2 Regression] Tree checking failure on ASIS ebotcazou at gcc dot gnu dot org
@ 2006-01-20 20:15 ` pinskia at gcc dot gnu dot org
2006-01-25 6:43 ` mmitchel at gcc dot gnu dot org
` (6 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-01-20 20:15 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
Target Milestone|--- |4.0.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0/4.1/4.2 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (4 preceding siblings ...)
2006-01-20 20:15 ` pinskia at gcc dot gnu dot org
@ 2006-01-25 6:43 ` mmitchel at gcc dot gnu dot org
2006-02-15 9:38 ` charlet at gcc dot gnu dot org
` (5 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2006-01-25 6:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from mmitchel at gcc dot gnu dot org 2006-01-25 06:43 -------
Ada is not release critical; P5.
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0/4.1/4.2 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (5 preceding siblings ...)
2006-01-25 6:43 ` mmitchel at gcc dot gnu dot org
@ 2006-02-15 9:38 ` charlet at gcc dot gnu dot org
2006-02-15 10:12 ` [Bug ada/25885] [4.0/4.1 " ebotcazou at gcc dot gnu dot org
` (4 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: charlet at gcc dot gnu dot org @ 2006-02-15 9:38 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from charlet at gcc dot gnu dot org 2006-02-15 09:38 -------
Subject: Bug 25885
Author: charlet
Date: Wed Feb 15 09:38:39 2006
New Revision: 111062
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111062
Log:
2006-02-13 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
Robert Dewar <dewar@adacore.com>
Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb (Expand_Inlined_Call): Handle calls to functions that
return unconstrained arrays.
Update comments.
(Expand_Call): An indirect call through an access parameter of a
protected operation is not a protected call.
Add circuit to raise CE in Ada 2005 mode following call
to Raise_Exception.
(Register_DT_Entry): Do nothing if
the run-time does not give support to abstract interfaces.
(Freeze_Subprogram): In case of dispatching operations, do not generate
code to register the operation in the dispatch table if the source
is compiled with No_Dispatching_Calls.
(Register_Predefined_DT_Entry): Generate code that calls the new
run-time subprogram Set_Predefined_Prim_Op_Address instead of
Set_Prim_Op_Address.
* sem_ch5.adb (Analyze_Assignment_Statement): Do not apply length
checks
on array assignments if the right-hand side is a function call that has
been inlined. Check is performed on the assignment in the block.
(Process_Bounds): If bounds and range are overloaded, apply preference
rule for root operations to disambiguate, and diagnose true ambiguity.
(Analyze_Assignment): Propagate the tag for a class-wide assignment
with
a tag-indeterminate right-hand side even when Expander_Active is True.
Needed to ensure that dispatching calls to T'Input are allowed and
get the tag of the target class-wide object.
* sem_ch6.adb (New_Overloaded_Entity): Handle entities that override
an inherited primitive operation that already overrides several
abstract interface primitives. For transitivity, the new entity must
also override all the abstract interface primitives covered by the
inherited overriden primitive.
Emit warning if new entity differs from homograph in same scope only in
that one has an access parameter and the other one has a parameter of
a general access type with the same designated type, at the same
position in the signature.
(Make_Inequality_Operator): Use source locations of parameters and
subtype marks from corresponding equality operator when creating the
tree structure for the implicit declaration of "/=". This does not
change anything in behaviour except that the decoration of the
components of the subtree created for "/=" allows ASIS to get the
string images of the corresponding identifiers.
(Analyze_Return_Statement): Remove '!' in warning message.
(Check_Statement_Sequence): Likewise.
(Analyze_Subprogram_Body): For an access parameter whose designated
type
is an incomplete type imported through a limited_with clause, use the
type of the corresponding formal in the body.
(Check_Returns): Implicit return in No_Return procedure now raises
Program_Error with a compile time warning, instead of beging illegal.
(Has_Single_Return): Function returning unconstrained type cannot be
inlined if expression in unique return statement is not an identifier.
(Build_Body_To_Inline): It is possible to inline a function call that
returns an unconstrained type if all return statements in the function
return the same local variable. Subsidiary procedure Has_Single_Return
verifies that the body conforms to this restriction.
* sem_res.adb (Resolve_Equality_Op): If the operands do not have the
same type, and one of them is of an anonymous access type, convert
the other operand to it, so that this is a valid binary operation for
gigi.
(Resolve_Type_Conversion): Handle subtypes of protected types and
task types when accessing to the corresponding record type.
(Resolve_Allocator): Add '\' in 2-line warning message.
Remove '!' in warning message.
(Resolve_Call): Add '\' in 2-line warning message.
(Valid_Conversion): Likewise.
(Resolve_Overloaded_Selected_Component): If disambiguation succeeds,
the
resulting type may be an access type with an implicit dereference.
Obtain the proper component from the designated type.
(Make_Call_Into_Operator): Handle properly a call to predefined
equality
given by an expanded name with prefix Standard, when the operands are
of an anonymous access type.
(Check_Fully_Declared_Prefix): New procedure, subsidiary of Resolve_
Explicit_Dereference and Resolve_Selected_Component, to verify that the
prefix of the expression is not of an incomplete type. Allows full
diagnoses of all semantic errors.
(Resolve_Actuals): If the actual is an allocator whose directly
designated type is a class-wide interface we build an anonymous
access type to use it as the type of the allocator. Later, when
the subprogram call is expanded, if the interface has a secondary
dispatch table the expander will add a type conversion to force
the displacement of the pointer.
(Resolve_Call): If a function that returns an unconstrained type is
marked Inlined_Always and inlined, the call will be inlined and does
not require the creation of a transient scope.
(Check_Direct_Boolean_Op): Removed
(Resolve_Comparison_Op): Remove call to above
(Resolve_Equality_Op): Remove call to above
(Resolve_Logical_Op): Inline above, since this is only call.
(Valid_Conversion): Handle properly conversions between arrays of
convertible anonymous access types.
PR ada/25885
(Set_Literal_String_Subtype): If the lower bound is not static, wrap
the literal in an unchecked conversion, because GCC 4.x needs a static
value for a string bound.
Modified:
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_res.adb
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0/4.1 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (6 preceding siblings ...)
2006-02-15 9:38 ` charlet at gcc dot gnu dot org
@ 2006-02-15 10:12 ` ebotcazou at gcc dot gnu dot org
2006-03-05 9:39 ` ebotcazou at gcc dot gnu dot org
` (3 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-02-15 10:12 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from ebotcazou at gcc dot gnu dot org 2006-02-15 10:12 -------
Fixed on mainline, I'll backport to the other branches.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.0/4.1/4.2 Regression] |[4.0/4.1 Regression] Tree
|Tree checking failure on |checking failure on ASIS
|ASIS |
Target Milestone|4.0.3 |4.2.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0/4.1 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (7 preceding siblings ...)
2006-02-15 10:12 ` [Bug ada/25885] [4.0/4.1 " ebotcazou at gcc dot gnu dot org
@ 2006-03-05 9:39 ` ebotcazou at gcc dot gnu dot org
2006-03-05 9:42 ` [Bug ada/25885] [4.0 " ebotcazou at gcc dot gnu dot org
` (2 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-03-05 9:39 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 728 bytes --]
------- Comment #8 from ebotcazou at gcc dot gnu dot org 2006-03-05 09:39 -------
Subject: Bug 25885
Author: ebotcazou
Date: Sun Mar 5 09:39:40 2006
New Revision: 111732
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111732
Log:
Backport from mainline:
2006-02-13  Ed Schonberg  <schonberg@adacore.com>
PR ada/25885
* sem_res.adb (Set_Literal_String_Subtype): If the lower bound is not
static, wrap the literal in an unchecked conversion, because GCC 4.x
needs a static value for a string bound.
Modified:
branches/gcc-4_1-branch/gcc/ada/ChangeLog
branches/gcc-4_1-branch/gcc/ada/sem_res.adb
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (8 preceding siblings ...)
2006-03-05 9:39 ` ebotcazou at gcc dot gnu dot org
@ 2006-03-05 9:42 ` ebotcazou at gcc dot gnu dot org
2006-03-11 15:14 ` ebotcazou at gcc dot gnu dot org
2006-03-11 15:15 ` ebotcazou at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-03-05 9:42 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from ebotcazou at gcc dot gnu dot org 2006-03-05 09:42 -------
Fixed on the 4.1 branch.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.0/4.1 Regression] Tree |[4.0 Regression] Tree
|checking failure on ASIS |checking failure on ASIS
Target Milestone|4.2.0 |4.1.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (9 preceding siblings ...)
2006-03-05 9:42 ` [Bug ada/25885] [4.0 " ebotcazou at gcc dot gnu dot org
@ 2006-03-11 15:14 ` ebotcazou at gcc dot gnu dot org
2006-03-11 15:15 ` ebotcazou at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-03-11 15:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from ebotcazou at gcc dot gnu dot org 2006-03-11 15:14 -------
Subject: Bug 25885
Author: ebotcazou
Date: Sat Mar 11 15:14:15 2006
New Revision: 111965
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111965
Log:
Backport from mainline:
2006-02-13 Ed Schonberg <schonberg@adacore.com>
PR ada/25885
* sem_res.adb (Set_Literal_String_Subtype): If the lower bound is not
static, wrap the literal in an unchecked conversion, because GCC 4.x
needs a static value for a string bound.
Modified:
branches/gcc-4_0-branch/gcc/ada/ChangeLog
branches/gcc-4_0-branch/gcc/ada/sem_res.adb
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug ada/25885] [4.0 Regression] Tree checking failure on ASIS
2006-01-20 19:03 [Bug ada/25885] New: gnatpp won't compile krischik at users dot sourceforge dot net
` (10 preceding siblings ...)
2006-03-11 15:14 ` ebotcazou at gcc dot gnu dot org
@ 2006-03-11 15:15 ` ebotcazou at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-03-11 15:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from ebotcazou at gcc dot gnu dot org 2006-03-11 15:15 -------
Fixed on the 4.0 branch.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|4.1.1 |4.0.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25885
^ permalink raw reply [flat|nested] 13+ messages in thread