Re: An ICE that does not generate a full report

[Gaius Mulley]

Alice Osako <alicetrillianosako@gmail.com> writes:

> Note: these files are modified from the ones in the M2PP GitHub repo.
>
> I've been experimenting with the BasicFileSys section of M2PP (configured for 
> GM2, ISO dialect, and the POSIX I/O libraries) and in order to provide the
> POSIX open() function (used in the procedure CreateFile()) I added a 
> fcntl.def FFI defining the function interface and relevant types; this file 
> in turn imports
> types from SysTypes.def . 
>
> However, when I compile BasicFileSys.mod , using the make target:
>
> bfsys: $(SRC)/BasicFileSys.mod $(INC)/BasicFileSys.def $(INC)/Size.def 
> $(INC)/stdio.def $(INC)/fcntl.def $(INC)/SysTypes.def
>     $(COMPILER) $(FLAGS) -I$(INC)/ -c $(SRC)/BasicFileSys.mod \
>     -o $(OBJ)/BasicFileSys.o
>
> I get the following error message:
>
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> gm2 -g -fiso -freport-bug -Isrc/ -c src/imp/BasicFileSys.mod \
> -o obj/BasicFileSys.o
> terminate called after throwing an instance of 'unsigned int'
> cc1gm2: internal compiler error: Aborted
> 0x22aca27 internal_error(char const*, ...)
>         ???:0
> 0x7f7b9bf3b6c7 gsignal
>         ???:0
> 0x7f7b9bf234b7 abort
>         ???:0
> 0x238251b __cxxabiv1::__terminate(void (*)())
>         ???:0
> 0x2382588 std::terminate()
>         ???:0
> 0x23826ec __cxa_throw
>         ???:0
> 0xc2de73 fold(tree_node*)
>         ???:0
> 0x95f787 m2convert_BuildConvert
>         ???:0
> 0x96259a m2expr_BuildIndirect
>         ???:0
> 0x9ac13b M2GenGCC_ConvertQuadsToTree
>         ???:0
> 0x9dafe6 M2Scope_ForeachScopeBlockDo2
>         ???:0
> 0x9907b4 M2Code_CodeBlock
>         ???:0
> 0x990bd3 M2Code_Code
>         ???:0
> 0x992430 M2Comp_compile
>         ???:0
> Please submit a full bug report, with preprocessed source.
> Please include the complete backtrace with any bug report.
> See <https://gcc.gnu.org/bugs/> for instructions.
> The bug is not reproducible, so it is likely a hardware or OS problem.
>
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>
> Attached are the relevant modules and the Makefile. Again, just to be clear, 
> these files are modified from the ones in the M2PP GitHub repo. 

I'm now seeing it compile:

$ gm2 -g -c BasicFileSys.mod 
-I../../../../Sandpit/gm2-outside-tree-tests/build/source/m2pp/src/ -fsources
Compiling: BasicFileSys.mod
Pass 0: lexical analysis, parsing, modules and associated filenames
   Module SYSTEM               : 
/home/gaius/opt/lib/gcc/x86_64-pc-linux-gnu/14.0.1/m2/m2cor/SYSTEM.def [m2cor]
   Module M2RTS                : 
/home/gaius/opt/lib/gcc/x86_64-pc-linux-gnu/14.0.1/m2/m2pim/M2RTS.def [m2pim]
   Module RTExceptions         : 
/home/gaius/opt/lib/gcc/x86_64-pc-linux-gnu/14.0.1/m2/m2pim/RTExceptions.def 
[m2pim]
   Module BasicFileSys         : 
../../../../Sandpit/gm2-outside-tree-tests/build/source/m2pp/src/BasicFileSys.def
   Module BasicFileSys         : BasicFileSys.mod
   Module COROUTINES           : 
/home/gaius/opt/lib/gcc/x86_64-pc-linux-gnu/14.0.1/m2/m2pim/COROUTINES.def 
[m2pim] (for C)
   Module Size                 : ./Size.def
   Module stat                 : ./stat.def
   Module stdio                : ./stdio.def (for C)
   Module unistd               : ./unistd.def (for C)
   Module fcntl                : ./fcntl.def (for C)
   Module stat0                : ./stat0.def (for C)
   Module SysTypes             : ./SysTypes.def
Pass 1: scopes, enumerated types, imports and exports
Pass 2: constants and types
Pass C: aggregate constants
Pass 3: quadruple generation
Pass 4: gcc tree generation
        symbols to gcc trees
        statements to gcc trees
        gcc trees given to the gcc backend

const-relop-tests.tar.gz
Description: const expr relop tests

now pushed to the gcc git repro,

regards,
GAius