Opened 3 weeks ago

Last modified 3 weeks ago

#517 new defect

FTBFS with gcc10

Reported by: Pavel Zhukov Owned by:
Priority: major Milestone:
Component: Matreshka Version:
Keywords: Cc:

Description

There're two issues:

1)

 | 10.1.1 20200507 (Red Hat 10.1.1-1) (x86_64-redhat-linux) Storage_Error stack overflow or erroneous memory access|
| Error detected at matreshka-internals-regexps.ads:220:7  


Removing volatile pragma fixes this

matreshka-dom_nodes.adb:81:49: implicit conversion of anonymous access formal not allowed

I've not found the solution yet.

Change History (1)

comment:1 by Maxim Reznik, 3 weeks ago

Here is a small reproducer to report to the GCC:

package Regexps is

   pragma Preelaborate;

   type Shared_String is null record;
       
   type Shared_String_Access is access all Shared_String;

   type Shared_String_Array is array (Natural range <>) of 
     Shared_String_Access;
     
   type Shared_Match (Groups : Natural) is limited record

      Captures   : Shared_String_Array (0 .. Groups);
      pragma Volatile (Captures);
   end record;

end Regexps;
[root@425c88e19fdc matreshka]# gcc -c regexps.ads
+===========================GNAT BUG DETECTED==============================+
| 10.1.1 20200507 (Red Hat 10.1.1-1) (x86_64-redhat-linux) Storage_Error stack overflow or erroneous memory access|
| Error detected at regexps.ads:15:7                                       |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ .              |
| 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 command that you entered.                              |
| Also include sources listed below.                                       |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

regexps.ads

compilation abandoned
Note: See TracTickets for help on using tickets.