[Bug middle-end/88576] -fno-math-errno causes GCC to consider that malloc does not set errno

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |3.4.6, 4.1.2, 4.4.7
      Known to fail|                            |4.7.4, 4.8.5

--- Comment #22 from Richard Biener <rguenth at gcc dot gnu.org> ---
So an actual testcase is for example

#include <errno.h>
#include <stdlib.h>

char *foo(unsigned long size)
{
  errno = 0;
  char *p = malloc (size);
  if (errno != 0)
    abort ();
  return p;
}

where we elide the conditonal and the call to abort ().