[Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
            Summary|ICE with -O3                |[11/12 Regression] ICE with
                   |-fsanitize=undefined        |-O3 -fsanitize=undefined
                   |-fanalyzer                  |-fanalyzer since
                   |                            |r11-7941-ge4bb1bd60a9fd1be

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Thanks for the report. Reduced test-case:

$ cat pr101837.i
void memory_exhausted();
void memcheck(void *ptr) {
  if (ptr)
    memory_exhausted();
}

int emalloc(int size) { memcheck(__builtin_malloc(size)); }
int main() { int max_envvar_len = emalloc(max_envvar_len + 1); }

Started with r11-7941-ge4bb1bd60a9fd1be.