float80-2.c

来自「用于进行gcc测试」· C语言 代码 · 共 14 行

/* Bug 14610 */
/* { dg-do run } */
/* { dg-options "-minline-int-divide-max-throughput" } */

extern void abort(void);
volatile int j = 30;

int main(void)
{
  if (29 % j != 29) abort();
  if (30 % j != 0)  abort();
  return 0;
}