Closed fuhsnn closed 2 weeks ago
#include <stdio.h> int main(void) { printf("%d\n", (_Bool)(0.0/0.0)); // expect 1, got 0 printf("%d\n", (0.0/0.0) ? 1 : 0); // expect 1, got 0 }
Fixed with https://github.com/fuhsnn/widcc/commit/d8981c320d55dc9acbc5f1f7c395def51987ec38