[Bug ipa/98075] New: [10/11 Regression] ICE: verify_cgraph_node failed (error: malloc attribute should be used for a function that returns a pointer)

[Bug ipa/98075] New: [10/11 Regression] ICE: verify_cgraph_node failed (error: malloc attribute should be used for a function that returns a pointer)

[asolokha at gmx dot com]

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

            Bug ID: 98075
           Summary: [10/11 Regression] ICE: verify_cgraph_node failed
                    (error: malloc attribute should be used for a function
                    that returns a pointer)
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

g++-11.0.0-alpha20201129 snapshot (g:bb67ad5cff58a707aaae645d4f45a913d8511c86)
ICEs when compiling the following testcase w/ -O2 -fno-inline:

template <typename BS>
class xg {
public:
  BS *
  fw ()
  {
    return static_cast<BS *> (operator new (sizeof (BS)));
  }
};

class zp : xg<int> {
public:
  __attribute__ ((always_inline)) zp ()
  {
    hy = xg<int>::fw ();
  }

private:
  int *hy;
};

void
e5 ()
{
  zp ix;
}

% g++-11.0.0 -O2 -fno-inline -c yhmypmjz.cpp
yhmypmjz.cpp:26:1: error: malloc attribute should be used for a function that
returns a pointer
   26 | }
      | ^
_ZN2xgIiE2fwEv.isra.0/7 (fw.isra) @0x7fb655a53660
  Type: function definition analyzed
  Visibility:
  References:
  Referring:
  Clone of _ZN2xgIiE2fwEv/4
  Availability: local
  Function flags: count:1073741824 (estimated locally) local
  Called by: _Z2e5v/3 (1073741824 (estimated locally),1.00 per call) (can throw
external)
  Calls: _Znwm/6 (1073741824 (estimated locally),1.00 per call) (can throw
external)
yhmypmjz.cpp:26:1: internal compiler error: verify_cgraph_node failed
0xbef9a8 cgraph_node::verify_node()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201129/work/gcc-11-20201129/gcc/cgraph.c:3807
0xbde7c4 symtab_node::verify()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201129/work/gcc-11-20201129/gcc/symtab.c:1356
0xbdf9b7 symtab_node::verify_symtab_nodes()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201129/work/gcc-11-20201129/gcc/symtab.c:1384
0xbf49e0 symtab_node::checking_verify_symtab_nodes()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201129/work/gcc-11-20201129/gcc/cgraph.h:675
0xbf49e0 symbol_table::compile()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201129/work/gcc-11-20201129/gcc/cgraphunit.c:2321
0xbf7d47 symbol_table::compile()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201129/work/gcc-11-20201129/gcc/cgraphunit.c:2274
0xbf7d47 symbol_table::finalize_compilation_unit()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201129/work/gcc-11-20201129/gcc/cgraphunit.c:2542

[Bug ipa/98075] [10/11 Regression] ICE: verify_cgraph_node failed (error: malloc attribute should be used for a function that returns a pointer)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
   Target Milestone|---                         |10.3

[Bug ipa/98075] [10/11 Regression] ICE: verify_cgraph_node failed (error: malloc attribute should be used for a function that returns a pointer) since r10-6699-g33351ff9faa21c4c

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |marxin at gcc dot gnu.org
      Known to fail|                            |10.2.0, 11.0
      Known to work|                            |9.3.0
   Last reconfirmed|                            |2020-12-01
     Ever confirmed|0                           |1
            Summary|[10/11 Regression] ICE:     |[10/11 Regression] ICE:
                   |verify_cgraph_node failed   |verify_cgraph_node failed
                   |(error: malloc attribute    |(error: malloc attribute
                   |should be used for a        |should be used for a
                   |function that returns a     |function that returns a
                   |pointer)                    |pointer) since
                   |                            |r10-6699-g33351ff9faa21c4c
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with my r10-6699-g33351ff9faa21c4c.

[Bug ipa/98075] [10/11 Regression] ICE: verify_cgraph_node failed (error: malloc attribute should be used for a function that returns a pointer) since r10-6699-g33351ff9faa21c4c

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r11-5657-gf5850e7da93a6b1e4bec3e8740d08e985433eef3
Author: Martin Liska <mliska@suse.cz>
Date:   Wed Dec 2 13:01:47 2020 +0100

    ipa: do not DECL_IS_MALLOC for void fns

    gcc/ChangeLog:

            PR ipa/98075
            * cgraph.c (cgraph_node::dump): Dump decl_is_malloc flag.
            * ipa-pure-const.c (propagate_malloc): Do not set malloc
            attribute for void functions.

    gcc/testsuite/ChangeLog:

            PR ipa/98075
            * g++.dg/ipa/pr98075.C: New test.

[Bug ipa/98075] [10/11 Regression] ICE: verify_cgraph_node failed (error: malloc attribute should be used for a function that returns a pointer) since r10-6699-g33351ff9faa21c4c

[marxin at gcc dot gnu.org]

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

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

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed.