While working on my GCC translation validator, smtgcc, I've encountered several cases where GIMPLE IR semantics are ambiguous or inconsistent with GCC optimizations.

I'll discuss these on the GCC mailing list and link each corresponding thread here. 🧵