@sqx yes that is definitely much harder to warn about. I can't find the paper which is written up to change the standard. The paper is also requesting it be considered a defect against older versions of the standard. Really I wish this was not unspecified but since it is GCC tries to takes advantages of it. Newer C++ makes some things not unspecified but still leaves out some stuff like arguments evaluation.