[Bug ada/65696] ASAN reports global-buffer-overrun for local tagged types

2020-05-08 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65696 --- Comment #4 from yuta tomino --- I'm trying the released gcc-10.1, and confirmed that this is fixed. Thank you.

[Bug ada/96799] New: C and Ada frontends have a different interpretation of double constants

2020-08-26 Thread demoonlit at panathenaia dot halfmoon.jp
: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- Hello. Each of the C and Ada frontends has a different interpretation of the some kind of double constants

[Bug ada/48002] New: internal error on calling inherited, overloaded and abstract subprograms with string literal

2011-03-06 Thread demoonlit at panathenaia dot halfmoon.jp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48002 Summary: internal error on calling inherited, overloaded and abstract subprograms with string literal Product: gcc Version: 4.5.2 Status: UNCONFIRMED Severity: normal

[Bug ada/59234] New: Legal program rejected, a generic package having intricate formal package parameters could not be instantiated

2013-11-21 Thread demoonlit at panathenaia dot halfmoon.jp
Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Created attachment 31263 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31

[Bug ada/81956] [7/8/9 regression] calling a null procedure is not skipped

2019-02-25 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81956 --- Comment #3 from yuta tomino --- I'm trying gcc-8.3. This is probably fixed in 8.x. Thanks.

[Bug ada/55725] New: Anonymous access returned from library-level function is finalized too early, RM 3.10.2(10/2 or 10.3/3)

2012-12-17 Thread demoonlit at panathenaia dot halfmoon.jp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55725 Bug #: 55725 Summary: Anonymous access returned from library-level function is finalized too early, RM 3.10.2(10/2 or 10.3/3) Classification: Unclassified Product: gcc V

[Bug ada/70645] New: [4.9/5/6 Regression] -fguess-branch-probability breaks debug-information, only in Ada

2016-04-13 Thread demoonlit at panathenaia dot halfmoon.jp
Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- I can not debug some executable files generated by recent gcc Ada frontend, with all optimization-levels

[Bug ada/70867] access discriminant in return aggregate detected as dangling if set from an implicit dereference in generic package

2016-04-28 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70867 yuta tomino changed: What|Removed |Added CC||demoonlit at panathenaia dot halfm

[Bug ada/70900] New: a library-level class-wide subprogram is not generated into .o/.s

2016-05-02 Thread demoonlit at panathenaia dot halfmoon.jp
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- gcc-6.1.0 does not generate machine-code for some kind of library-level class-wide subprograms into .o/.s. Minor

[Bug ada/81956] New: [7 regression] calling a null procedure is not skipped

2017-08-23 Thread demoonlit at panathenaia dot halfmoon.jp
Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- Hello. Has the behavior of null procedures been changed from gcc-7? package p is procedure Null_Proc is null; end p; with p; procedure main is begin

[Bug ada/81961] New: [7 regression] an imported unsized C array in the auto-translated binding raises Storage_Error

2017-08-24 Thread demoonlit at panathenaia dot halfmoon.jp
Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- For example, translate a C header like following x.h with -fdump-ada-spec. x.h

[Bug ada/81961] [7 regression] an imported unsized C array in the auto-translated binding raises Storage_Error

2017-08-24 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81961 --- Comment #1 from yuta tomino --- Note, -gnatp or pragma Suppress can not suppress this exception.

[Bug ada/65696] ASAN reports global-buffer-overrun for local tagged types

2017-05-14 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65696 --- Comment #2 from yuta tomino --- Here is a proposing fix. I has tried this patch with gcc from 4.8 to 7, and it seems to work fine with all versions. diff --git a/gcc/ada/exp_atag.adb b/gcc/ada/exp_atag.adb index 587432c..4313446 100644 --- a

[Bug ada/82746] New: strange error on BIP function returning private type with Disable_Controlled

2017-10-27 Thread demoonlit at panathenaia dot halfmoon.jp
: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- Created attachment 42488 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42488&action=edit bug tri

[Bug ada/83002] New: Missing finalization of generic package body

2017-11-15 Thread demoonlit at panathenaia dot halfmoon.jp
Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- Created attachment 42613 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42613&action=edit bug triggering source code Hello. The finalizer of packa

[Bug ada/65524] New: gnatbind generates decrementing the unexisting elab-counter into finalize_library

2015-03-23 Thread demoonlit at panathenaia dot halfmoon.jp
Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp I found some cases that gnatbind generates decrementing the unexisting elaboration counter of each package Exxx. E142

[Bug ada/65524] gnatbind generates decrementing the unexisting elab-counter into finalize_library

2015-03-23 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65524 --- Comment #2 from yuta tomino --- Created attachment 35115 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35115&action=edit example I found the way of reproducing. A tiny change of a-tags.ads is necessary. Insert "is null" into Ada.Tags

[Bug ada/65683] New: [5 regression] access types across "limited with" breaks restriction of No_Elaboration_Code

2015-04-07 Thread demoonlit at panathenaia dot halfmoon.jp
NCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp package pkg_a is type T is null record; -- non-controlled type end pkg_a; pragma Restrictions (No_Elabor

[Bug ada/62205] GNAT does not accept class types for Default_Iterator

2015-04-07 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62205 --- Comment #3 from yuta tomino --- It seems fixed with gcc-5-20150405.

[Bug ada/47748] Legal program rejected, ARM 12.7(3/2): generic formal package with "others => <>" in the formal_package_actual_part

2015-04-07 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47748 --- Comment #1 from yuta tomino --- It seems fixed with gcc-4.7.2, 4.8.1, 4.9.2 and 5-20150405.

[Bug ada/65696] New: ASAN reports global-buffer-overrun for local tagged types

2015-04-08 Thread demoonlit at panathenaia dot halfmoon.jp
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp package pkg_a is type Root is tagged null record; end pkg_a; with pkg_a; procedure main is type Derived is new pkg_a.Root with null record; begin

[Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).

2015-01-26 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64349 yuta tomino changed: What|Removed |Added CC||demoonlit at panathenaia dot halfm

[Bug ada/64869] New: "use all type" clause is ineffective

2015-01-29 Thread demoonlit at panathenaia dot halfmoon.jp
onent: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp "use all type" clauses for nested packages from an outer subprogram are ineffective. procedure case1 is package P is type T is (X, Y, Z); procedure Proc (Obj :

[Bug ada/62117] [4.9 regression] wrong code for passing small array argument'Address, in generic

2015-02-01 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62117 --- Comment #3 from yuta tomino --- I understood by trial and error that pragma Pure_Function is equivalent to __attribute__((const)). I'm sorry. The first case (in my first description) is not compiler's bug but my mistake. The parameters Left a

[Bug ada/64548] Lost visibility of package System after raise

2015-02-16 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64548 --- Comment #5 from yuta tomino --- Hello, Simon. I'm glad to look at this report. I have a similar experience like this. The trigger of mine was not "private with" but a nested package in the spec of Ada.Exceptions. I should think it's useless

[Bug ada/62117] New: [4.9 regression] wrong code for passing small array argument'Address, in generic

2014-08-12 Thread demoonlit at panathenaia dot halfmoon.jp
IRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Created attachment 33306 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33306&action=edit minimal bug triggering

[Bug ada/62230] New: Legal program rejected, RM 4.3.2(3, 5/3), ancestor_part can not be expression against error message by compiler itself

2014-08-22 Thread demoonlit at panathenaia dot halfmoon.jp
Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Created attachment 33380 --> https://gcc.gnu.org/bugzi

[Bug ada/62117] [4.9 regression] wrong code for passing small array argument'Address, in generic

2014-08-26 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62117 yuta tomino changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|INVALID

[Bug ada/63276] New: implicit access checking is inserted for not null access type against pragma Suppress (Access_Check)

2014-09-16 Thread demoonlit at panathenaia dot halfmoon.jp
: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp The compiler inserts implicit access checking for "not null" access types against pragma Suppress (Ac

[Bug ada/69219] New: [5/6 regression] failed to compile nested subprograms with Inline_Always and Intrinsic

2016-01-10 Thread demoonlit at panathenaia dot halfmoon.jp
Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- Created attachment 37297 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37297&action=edit

[Bug ada/69219] [5/6 regression] failed to compile nested subprograms with Inline_Always and Intrinsic

2016-01-11 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69219 --- Comment #2 from yuta tomino --- > Yes, remove the convention Intrinsic, it doesn't make any sense here or add > pragma Inline_Always on the nested subprogram as indicated. I agree with your sense. The local subprograms would be optimized we

[Bug ada/69219] [5/6 regression] failed to compile nested subprograms with Inline_Always and Intrinsic

2016-01-11 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69219 yuta tomino changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|INVALID

[Bug ada/69219] [5/6 regression] failed to compile nested subprograms with Inline_Always and Intrinsic

2016-01-12 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69219 --- Comment #5 from yuta tomino --- > "built-in" is because you use Intrinsic! In any case, the rule of thumb is to > never use pragma Inline_Always with anything except for very small > subprograms. Well... I believe above "IA" is a sufficien

[Bug ada/69219] [5/6 regression] failed to compile nested subprograms with Inline_Always and Intrinsic

2016-01-12 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69219 --- Comment #8 from yuta tomino --- I'm glad that you are understanding that. > pragma Inline_Always is not defined by the Ada language so you cannot > invoke legality rules when you use it. > It will issue an error when it cannot inline somethi

[Bug ada/48002] internal error on calling inherited, overloaded and abstract subprograms with string literal

2015-07-18 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48002 --- Comment #5 from yuta tomino --- This bug seems already being fixed as François-Xavier wrote. (it could be compiled with gcc-5.1) Thanks.

[Bug ada/48013] generic instantiation breaks the restriction of No_Elaboration_Code

2015-09-01 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48013 yuta tomino changed: What|Removed |Added Version|4.5.2 |6.0 Known to fail|

[Bug ada/48002] internal error on calling inherited, overloaded and abstract subprograms with string literal

2015-09-01 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48002 yuta tomino changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug ada/48039] Legal program rejected, a formal function is not visible in generic

2015-09-01 Thread demoonlit at panathenaia dot halfmoon.jp
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48039 yuta tomino changed: What|Removed |Added Version|4.5.2 |6.0 Known to fail|

[Bug ada/48012] New: The executable file hangs up by combination of controlled-type, generic, renames and Inline_Always

2011-03-06 Thread demoonlit at panathenaia dot halfmoon.jp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48012 Summary: The executable file hangs up by combination of controlled-type, generic, renames and Inline_Always Product: gcc Version: 4.5.2 Status: UNCONFIRMED Severity: normal

[Bug ada/48013] New: generic instantiation breaks the restriction of No_Elaboration_Code

2011-03-07 Thread demoonlit at panathenaia dot halfmoon.jp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48013 Summary: generic instantiation breaks the restriction of No_Elaboration_Code Product: gcc Version: 4.5.2 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug ada/48039] New: Legal program rejected, a formal function is not visible in generic

2011-03-09 Thread demoonlit at panathenaia dot halfmoon.jp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48039 Summary: Legal program rejected, a formal function is not visible in generic Product: gcc Version: 4.5.2 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug ada/48293] New: Legal program rejected, empty discriminant blocks object allocation with built-in-place

2011-03-26 Thread demoonlit at panathenaia dot halfmoon.jp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48293 Summary: Legal program rejected, empty discriminant blocks object allocation with built-in-place Product: gcc Version: 4.6.0 Status: UNCONFIRMED Severity: normal P

[Bug ada/48293] Legal program rejected, empty discriminant blocks object allocation with built-in-place

2011-03-26 Thread demoonlit at panathenaia dot halfmoon.jp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48293 --- Comment #1 from yuta tomino 2011-03-26 07:31:35 UTC --- I'm sorry about wrong attachments. I deleted "limited" of P1.T by mistake, please add "limited" or look the code in the report.

[Bug ada/70867] [9/10/11/12 regression] access discriminant in return aggregate wrongly detected as dangling

2021-06-10 Thread demoonlit at panathenaia dot halfmoon.jp via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70867 --- Comment #13 from yuta tomino --- Sorry, perhaps my example is illegal in Ada 2012. "aliased" is required to return a reference of a part of the parameter. Randy explained the change in https://groups.google.com/g/comp.lang.ada/c/7dw7Oqi8lIk/

[Bug ada/101094] New: [11 regression] 'Enum_Rep returns a unsigned value for the negative representation in gcc-11

2021-06-16 Thread demoonlit at panathenaia dot halfmoon.jp via Gcc-bugs
IRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- 'Enum_Rep returns a unsigned value for the run-time value having the negative repr

[Bug ada/101970] New: [11 regression] ICE on 'Enum_Rep for the enum that filled its representation range

2021-08-18 Thread demoonlit at panathenaia dot halfmoon.jp via Gcc-bugs
IRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: demoonlit at panathenaia dot halfmoon.jp Target Milestone: --- Created attachment 51322 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51322&acti