[Bug c++/102243] New: ice in get_range_query

[Bug c++/102243] New: ice in get_range_query

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

            Bug ID: 102243
           Summary: ice in get_range_query
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

For this C++ code:

$ more bug755.cc
void *operator new(unsigned long, void *);
class FlagRegisterer {
public:
  template < typename FlagType >
  FlagRegisterer(char *, char *, char *, FlagType, FlagType);
};
union {
  char s[sizeof(int)];
} s_message[2];
int FLAGS_nomessage;
FlagRegisterer o_message("", "", "", &FLAGS_nomessage,
                         new (s_message[1].s) int);

with recent g++ and *no* optimiser flags, does this:

$ /home/dcb/gcc/results/bin/g++ -c bug755.cc
bug755.cc:12:47: internal compiler error: Segmentation fault
   12 |                          new (s_message[1].s) int);
      |                                               ^~~
0x1013819 crash_signal(int)
        ../../trunk.git/gcc/toplev.c:328
0x12286ff get_range_query(function const*)
        ../../trunk.git/gcc/function.h:728

Git hash range seems to be 7a6f40d0452ec76e..9695e1c23be5b5c5,
so only 21 commits.

[Bug middle-end/102243] [12 Regression] ice in get_range_query

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ice in get_range_query      |[12 Regression] ice in
                   |                            |get_range_query
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |12.0
          Component|c++                         |middle-end

[Bug middle-end/102243] [12 Regression] ice in get_range_query

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I suspect r12-3300-gece28da924dd

[Bug middle-end/102243] [12 Regression] ice in get_range_query since r12-3300-gece28da924dd

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |msebor at gcc dot gnu.org
   Last reconfirmed|                            |2021-09-09
            Summary|[12 Regression] ice in      |[12 Regression] ice in
                   |get_range_query             |get_range_query since
                   |                            |r12-3300-gece28da924dd
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #1)
> I suspect r12-3300-gece28da924dd

Confirmed.

@Andrew: When marking a culprit revision, please CC the revision author.

[Bug middle-end/102243] [12 Regression] ICE in get_range_query since r12-3300-gece28da924dd

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
get_range() calls get_range_query (cfun); the cfun pointer is null in this
context without optimization.

$ gcc -S -Wall pr102243.C
pr102243.C:12:47: internal compiler error: Segmentation fault
   12 |                          new (s_message[1].s) int);
      |                                               ^~~
0x16e3bd6 crash_signal
        /src/gcc/master/gcc/toplev.c:328
0x12161c8 get_range_query(function const*)
        /src/gcc/master/gcc/function.h:728
0x19a7479 get_range(tree_node*, gimple*, generic_wide_int<wide_int_storage>*,
range_query*)
        /src/gcc/master/gcc/tree-ssa-strlen.c:211
0x15971d6 get_offset_range
        /src/gcc/master/gcc/pointer-query.cc:91
0x159d0e4 handle_array_ref
        /src/gcc/master/gcc/pointer-query.cc:1568
0x159e0da compute_objsize_r
        /src/gcc/master/gcc/pointer-query.cc:1809
0x159dccf compute_objsize_r
        /src/gcc/master/gcc/pointer-query.cc:1755
0x159f336 compute_objsize(tree_node*, int, access_ref*, range_query*)
        /src/gcc/master/gcc/pointer-query.cc:2086
0xc194a0 warn_placement_new_too_small
        /src/gcc/master/gcc/cp/init.c:2614
0xc1c06b build_new_1
        /src/gcc/master/gcc/cp/init.c:3280
0xc1db04 build_new(unsigned int, vec<tree_node*, va_gc, vl_embed>**,
tree_node*, tree_node*, vec<tree_node*, va_gc, vl_embed>**, int, int)
        /src/gcc/master/gcc/cp/init.c:3831
0xcfb261 cp_parser_new_expression
        /src/gcc/master/gcc/cp/parser.c:9161
0xcf9ea5 cp_parser_unary_expression
        /src/gcc/master/gcc/cp/parser.c:8613
0xcfbf67 cp_parser_cast_expression
        /src/gcc/master/gcc/cp/parser.c:9795
0xcfc05a cp_parser_binary_expression
        /src/gcc/master/gcc/cp/parser.c:9898
0xcfcea5 cp_parser_assignment_expression
        /src/gcc/master/gcc/cp/parser.c:10203
0xcfd716 cp_parser_constant_expression
        /src/gcc/master/gcc/cp/parser.c:10504
0xcf94b2 cp_parser_parenthesized_expression_list
        /src/gcc/master/gcc/cp/parser.c:8306
0xd1bb63 cp_parser_initializer
        /src/gcc/master/gcc/cp/parser.c:24953
0xd16c15 cp_parser_init_declarator
        /src/gcc/master/gcc/cp/parser.c:22580
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug middle-end/102243] [12 Regression] ICE in get_range_query since r12-3300-gece28da924dd

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug middle-end/102243] [12 Regression] ICE in get_range_query since r12-3300-gece28da924dd

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <msebor@gcc.gnu.org>:

https://gcc.gnu.org/g:c3895ef466f3068cac6f5c18b55716f494484917

commit r12-3673-gc3895ef466f3068cac6f5c18b55716f494484917
Author: Martin Sebor <msebor@redhat.com>
Date:   Sun Sep 19 17:16:26 2021 -0600

    Handle null cfun [PR102243].

    Resolves:
    PR middle-end/102243 - ICE on placement new at global scope

    gcc/ChangeLog:
            PR middle-end/102243
            * tree-ssa-strlen.c (get_range): Handle null cfun.

    gcc/testsuite/ChangeLog:
            PR middle-end/102243
            * g++.dg/warn/Wplacement-new-size-10.C: New test.

[Bug middle-end/102243] [12 Regression] ICE in get_range_query since r12-3300-gece28da924dd

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102243

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
Fixed in r12-3673.