[Bug middle-end/18951] Invalid code generated by expand_errno_check

[jakub at gcc dot gnu dot org]

------- Additional Comments From jakub at gcc dot gnu dot org  2004-12-13 10:32 -------
Smaller example:
double sqrt (double);
double foo (void);

double x;
int main (void)
{
  x = sqrt (foo ());
}

in one .c file and
extern void abort (void);
double foo (void)
{
  static int once;
  if (once++)
    abort ();
  return 0.0 / 0.0;
}
in another one.
foo () is called twice, but must be called just once.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18951