Michael Schmidt

Results 2 comments of Michael Schmidt

Interesting. One can reduce the input it a little bit: void a() { long long b = 0 & 0 ? 0 * 0 && 0 : b; }

The error seems to be triggered, when e.g. the Cminor representation contains code like this: '$59' = longofint '$59'; Any modification of the input simplifies the code and such assignments...