https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115956
Bug ID: 115956
Summary: ICE: in change_stack, at reg-stack.cc:2732
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: iamanonymous.cs at gmail dot com
Target Milestone: ---
Target: x86_64
Created attachment 58684
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58684&action=edit
cpp testcase
*******************************************************************************
The compiler produces a segfault during build_this_conversion when compiling
the provided code with the specified options.
The issue can also be reproduced on Compiler Explorer.
*******************************************************************************
OS and Platform:
# uname -a
Linux ubuntu 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023
x86_64 x86_64 x86_64 GNU/Linux
*******************************************************************************
# g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/root/gdbtest/gcc/gcc-15/libexec/gcc/x86_64-pc-linux-gnu/15.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /root/gdbtest/gcc/obj/../gcc/configure
--prefix=/root/gdbtest/gcc/gcc-15 --enable-languages=c,c++,fortran,go
--disable-multilib
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 15.0.0 20240509 (experimental) (GCC)
*******************************************************************************
Program:Please refer to the attachment.
*******************************************************************************
Command Lines:
# g++ random.cpp -O2 -std=c11 -march=native -msse2 -Wall -Wextra
-Wconversion -Wshadow -Wold-style-cast -Wcast-align -Woverloaded-virtual -c -o
random.o
cc1plus: warning: command-line option '-std=c11' is valid for C/ObjC but not
for C++
random.cpp: In member function 'float Random::operator()(int, int, float,
float, float) const':
random.cpp:75:21: warning: use of old-style cast to 'int' [-Wold-style-cast]
random.cpp:76:21: warning: use of old-style cast to 'int' [-Wold-style-cast]
random.cpp:77:21: warning: use of old-style cast to 'int' [-Wold-style-cast]
random.cpp:95:22: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:96:22: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:97:22: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:102:11: warning: narrowing conversion of '((5.0e-1 *
((double)((float)dx))) * ((double)((((float)dx) * ((((float)dx) * (float)-1) +
(float)2)) - (float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:102:11: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:103:8: warning: narrowing conversion of '(5.0e-1 *
((double)((((float)dx) * (((float)dx) * (((float)3 * ((float)dx)) - (float)5)))
+ (float)2)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:103:8: warning: conversion from 'double' to 'float' may change value
[-Wfloat-conversion]
random.cpp:104:11: warning: narrowing conversion of '((5.0e-1 *
((double)((float)dx))) * ((double)((((float)dx) * (((float)-3 * ((float)dx)) +
(float)4)) + (float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:104:11: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:105:14: warning: narrowing conversion of '(((5.0e-1 *
((double)((float)dx))) * ((double)((float)dx))) * ((double)(((float)dx) -
(float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:105:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:110:11: warning: narrowing conversion of '((5.0e-1 *
((double)((float)dy))) * ((double)((((float)dy) * ((((float)dy) * (float)-1) +
(float)2)) - (float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:110:11: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:111:8: warning: narrowing conversion of '(5.0e-1 *
((double)((((float)dy) * (((float)dy) * (((float)3 * ((float)dy)) - (float)5)))
+ (float)2)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:111:8: warning: conversion from 'double' to 'float' may change value
[-Wfloat-conversion]
random.cpp:112:11: warning: narrowing conversion of '((5.0e-1 *
((double)((float)dy))) * ((double)((((float)dy) * (((float)-3 * ((float)dy)) +
(float)4)) + (float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:112:11: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:113:14: warning: narrowing conversion of '(((5.0e-1 *
((double)((float)dy))) * ((double)((float)dy))) * ((double)(((float)dy) -
(float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:113:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:118:11: warning: narrowing conversion of '((5.0e-1 *
((double)((float)dt))) * ((double)((((float)dt) * ((((float)dt) * (float)-1) +
(float)2)) - (float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:118:11: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:119:8: warning: narrowing conversion of '(5.0e-1 *
((double)((((float)dt) * (((float)dt) * (((float)3 * ((float)dt)) - (float)5)))
+ (float)2)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:119:8: warning: conversion from 'double' to 'float' may change value
[-Wfloat-conversion]
random.cpp:120:11: warning: narrowing conversion of '((5.0e-1 *
((double)((float)dt))) * ((double)((((float)dt) * (((float)-3 * ((float)dt)) +
(float)4)) + (float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:120:11: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:121:14: warning: narrowing conversion of '(((5.0e-1 *
((double)((float)dt))) * ((double)((float)dt))) * ((double)(((float)dt) -
(float)1)))' from 'double' to 'float' [-Wnarrowing]
random.cpp:121:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:152:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:152:23: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:166:15: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:166:24: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:166:33: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:215:12: warning: use of old-style cast to 'float' [-Wold-style-cast]
random.cpp:217:7: warning: declaration of 'x' shadows a previous local
[-Wshadow]
random.cpp:75:6: note: shadowed declaration is here
random.cpp:217:22: warning: use of old-style cast to 'int' [-Wold-style-cast]
random.cpp:218:7: warning: declaration of 'y' shadows a previous local
[-Wshadow]
random.cpp:76:6: note: shadowed declaration is here
random.cpp:218:22: warning: use of old-style cast to 'int' [-Wold-style-cast]
random.cpp:219:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:220:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:221:28: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:222:28: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:223:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:224:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:234:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:235:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:236:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:238:28: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:239:28: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:245:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:246:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:247:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:262:12: warning: use of old-style cast to 'float' [-Wold-style-cast]
random.cpp:264:7: warning: declaration of 'x' shadows a previous local
[-Wshadow]
random.cpp:75:6: note: shadowed declaration is here
random.cpp:264:22: warning: use of old-style cast to 'int' [-Wold-style-cast]
random.cpp:265:7: warning: declaration of 'y' shadows a previous local
[-Wshadow]
random.cpp:76:6: note: shadowed declaration is here
random.cpp:265:22: warning: use of old-style cast to 'int' [-Wold-style-cast]
random.cpp:266:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:267:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:268:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:269:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:280:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:281:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:282:14: warning: conversion from 'int' to 'float' may change value
[-Wconversion]
random.cpp:284:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:285:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
random.cpp:286:14: warning: conversion from 'double' to 'float' may change
value [-Wfloat-conversion]
In file included from /usr/include/math.h:382,
from
/usr/lib/gcc/m68k-linux-gnu/4.1.2/../../../../include/c++/4.1.2/cmath:53,
from random.cpp:33:
In function 'double __floor(double)',
inlined from 'double floor(double)' at
/usr/include/bits/mathinline.h:399:87,
inlined from 'float Random::operator()(int, int, float, float, float)
const' at random.cpp:75:18:
/usr/include/bits/mathinline.h:243:255: error: output constraint 0 must specify
a single register
In function 'double __floor(double)',
inlined from 'double floor(double)' at
/usr/include/bits/mathinline.h:399:87,
inlined from 'float Random::operator()(int, int, float, float, float)
const' at random.cpp:76:18:
/usr/include/bits/mathinline.h:243:255: error: output constraint 0 must specify
a single register
In function 'double __floor(double)',
inlined from 'double floor(double)' at
/usr/include/bits/mathinline.h:399:87,
inlined from 'float Random::operator()(int, int, float, float, float)
const' at random.cpp:77:18:
/usr/include/bits/mathinline.h:243:255: error: output constraint 0 must specify
a single register
In function 'double cos(double)',
inlined from 'float Random::operator()(int, int, float, float, float)
const' at random.cpp:238:14:
/usr/include/bits/mathinline.h:185:87: error: output constraint 0 must specify
a single register
In function 'double cos(double)',
inlined from 'float Random::operator()(int, int, float, float, float)
const' at random.cpp:239:14:
/usr/include/bits/mathinline.h:185:87: error: output constraint 0 must specify
a single register
during RTL pass: stack
random.cpp: In member function 'float Random::operator()(int, int, float,
float, float) const':
random.cpp:304:1: internal compiler error: in change_stack, at
reg-stack.cc:2732
0x26e78a5 diagnostic_context::diagnostic_impl(rich_location*,
diagnostic_metadata const*, int, char const*, __va_list_tag (*) [1],
diagnostic_t)
???:0
0x26f54b5 internal_error(char const*, ...)
???:0
0xa67980 fancy_abort(char const*, int, char const*)
???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
*******************************************************************************
Also ICE on trunk, compiler explorer:https://godbolt.org/z/Y338qh9KP
*******************************************************************************
