[Bug ada/118274] New: expression function fails when normal equivalent ones don't.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118274 Bug ID: 118274 Summary: expression function fails when normal equivalent ones don't. Product: gcc Version: 14.2.1 Status: UNCONFIRMED Severity: normal

[Bug ada/118208] sem_ch8 Program_Error.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118208 --- Comment #1 from Saada Mehdi <00120260a at gmail dot com> --- It's the "@" that causes problem.

[Bug ada/118208] New: sem_ch8 Program_Error.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118208 Bug ID: 118208 Summary: sem_ch8 Program_Error. Product: gcc Version: 14.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee:

[Bug ada/118203] New: Redefined 'Image (with Put_Image aspect) causes STORAGE_ERROR when in a case expression

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118203 Bug ID: 118203 Summary: Redefined 'Image (with Put_Image aspect) causes STORAGE_ERROR when in a case expression Product: gcc Version: 14.2.0 Status: UNCONFIRMED

[Bug ada/118052] gnatproves bugs, nothing more indicated.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 Saada Mehdi <00120260a at gmail dot com> changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED

[Bug ada/118052] gnatproves bugs, nothing more indicated.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 --- Comment #2 from Saada Mehdi <00120260a at gmail dot com> --- What about the line "GCC error" ??

[Bug ada/118052] New: gnatproves bugs, nothing more indicated.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 Bug ID: 118052 Summary: gnatproves bugs, nothing more indicated. Product: gcc Version: 14.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada

[Bug ada/118051] New: gnatprove indicates error

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051 Bug ID: 118051 Summary: gnatprove indicates error Product: gcc Version: 14.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assign

[Bug ada/117936] (compilation unit name) is not supported in this configuration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117936 --- Comment #3 from Saada Mehdi <00120260a at gmail dot com> --- Ok I got it, it's caused by pragma Unimplemented_Unit. It troubled me because the doc says "If this pragma occurs in a unit that is processed by the compiler, GNAT aborts with the m

[Bug ada/117936] (compilation unit name) is not supported in this configuration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117936 --- Comment #2 from Saada Mehdi <00120260a at gmail dot com> --- I forgot swap_generic needed by heaps_generic. Code is just > GENERIC > TYPE ValueType IS PRIVATE; > PROCEDURE Swap_Generic(Value1, Value2: IN OUT ValueType); > PROCEDURE Swap_Gene

[Bug ada/117936] (compilation unit name) is not supported in this configuration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117936 --- Comment #1 from Saada Mehdi <00120260a at gmail dot com> --- I forgot swap_generic needed by heaps_generic. Code is just > PROCEDURE Swap_Generic(Value1, Value2: IN OUT ValueType) IS > TempValue: ValueType; > BEGIN -- Swap_Generic > TempVal

[Bug ada/117936] New: (compilation unit name) is not supported in this configuration

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117936 Bug ID: 117936 Summary: (compilation unit name) is not supported in this configuration Product: gcc Version: 14.2.0 Status: UNCONFIRMED Severity: normal

[Bug ada/117861] internal error on range/overflow check suppression for static expression

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117861 --- Comment #4 from Saada Mehdi <00120260a at gmail dot com> --- (In reply to Eric Botcazou from comment #2) > No, that's a C-like reasoning, idiomatic loops in Ada never overflow their > index and, therefore, people should never fiddle with over

[Bug ada/117861] pragma Suppress (Overflow_check) is ignored and overflow fails at compilation rather than throwing an exception

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117861 --- Comment #1 from Saada Mehdi <00120260a at gmail dot com> --- On the other hand the following > pragma suppress (Overflow_Check); > pragma suppress (Range_Check); > procedure Increment_integer is > A: Boolean := Boolean'Last; > begin >

[Bug ada/117861] New: pragma Suppress (Overflow_check) is ignored and overflow fails at compilation rather than throwing an exception

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117861 Bug ID: 117861 Summary: pragma Suppress (Overflow_check) is ignored and overflow fails at compilation rather than throwing an exception Product: gcc Version: 14.

[Bug ada/117517] New: Reduce attribute creates bug

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117517 Bug ID: 117517 Summary: Reduce attribute creates bug Product: gcc Version: 14.2.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Ass

[Bug ada/117485] aspect "type_invariant" only allowed for private type or corresponding full view

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117485 --- Comment #2 from Saada Mehdi <00120260a at gmail dot com> --- mm, ok, we're wrong, I remember we didn't find it, weird. In that case I'll take it up with ARG, because it doesn't make sense to stop public types from using this.

[Bug ada/117485] New: aspect "type_invariant" only allowed for private type or corresponding full view, but RM doesn't mention that

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117485 Bug ID: 117485 Summary: aspect "type_invariant" only allowed for private type or corresponding full view, but RM doesn't mention that Product: gcc Version: 14.2.