You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
int f(int& i)
{
i++;
return i;
}
int f2 (int x, const int *y) pre(x > 0)
{
int b = x + *y;
}
int main(int ac, char *av[])
{
int i = 3;
++i;
*av[0] = (char) f(i);
//__builtin_observable ();
contract_assert (f2(i, &i) > 42);
return i;
}
<source>: In function 'int f2(int, const int*)':
<source>:10:1: warning: no return statement in function returning non-void [-Wreturn-type]
10 | }
| ^
during RTL pass: final
dump file: /app/output.cpp.359r.final
<source>:10:1: internal compiler error: in gen_inlined_subroutine_die, at dwarf2out.cc:25152
0x2805185 diagnostic_context::diagnostic_impl(rich_location*, diagnostic_metadata const*, diagnostic_option_id, char const*, __va_list_tag (*) [1], diagnostic_t)
???:0
0x2818865 internal_error(char const*, ...)
???:0
0xa87ede 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
The text was updated successfully, but these errors were encountered:
NinaRanns
changed the title
ICE in invalid code 2
ICE in gen_inlined_subroutine_die, at dwarf2out.cc:25152
Nov 6, 2024
NinaRanns
changed the title
ICE in gen_inlined_subroutine_die, at dwarf2out.cc:25152
[trunk] ICE in gen_inlined_subroutine_die, at dwarf2out.cc:25152
Nov 14, 2024
https://godbolt.org/z/9ajTMY368
The text was updated successfully, but these errors were encountered: