[Bug tree-optimization/117489] [12/13/14/15 Regression] ICE in handle_call_arg, at tree-ssa-structalias.cc:4226 at -O1 and above with "-fno-ipa-pure-const -fsanitize=undefined" and pure and no sanitize attribute and thunks

[jakub at gcc dot gnu.org via Gcc-bugs]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-bisection             |
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Slightly cleaned up testcase:
struct A { virtual A foo (); };
struct B { virtual B *bar (); };
struct C : A, B {
  __attribute__((no_sanitize("undefined"), pure)) C *bar () { return this; }
};

int
main ()
{
  C b;
}

Indeed started to ICE with r12-5113.