https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120221
--- Comment #4 from Christophe Jaillet <christophe.jaillet at wanadoo dot fr> --- The naming I've used is really bad. function_ok() is where the code looks *NOT* optimal and function_ko() where the generated code looks better...
