On Thu, Nov 19, 2020 at 09:36:48AM +0100, Peter Zijlstra wrote: > On Wed, Nov 18, 2020 at 01:11:27PM -0600, Segher Boessenkool wrote: > > Calling this via a different declared function type is undefined > > behaviour, but that is independent of how the function is *defined*. > > Your program can make ducks appear from your nose even if that function > > is never called, if you do that. Just don't do UB, not even once! > > Ah, see, here I think we disagree. UB is a flaw of the spec, but the > real world often has very sane behaviour there (sometimes also very > much not). That attitude summons ducks. > In this particular instance the behaviour is UB because the C spec > doesn't want to pin down the calling convention, which is something I > can understand. How do you know? Were you at the meetings where this was decided? The most frequent reason something is made UB is when there are multiple existing implementations with irreconcilable differences. > But once you combine the C spec with the ABI(s) at hand, > there really isn't two ways about it. This has to work, under the > premise that the ABI defines a caller cleanup calling convention. This is not clear at all (and what "caller cleanup calling convention" would mean isn't either). A function call at the C level does not necessarily correspond at all with a function call at the ABI level, to begin with. > So in the view that the compiler is a glorified assembler, But it isn't. > Note that we have a fairly extensive tradition of defining away UB with > language extentions, -fno-strict-overflow, -fno-strict-aliasing, These are options to make a large swath of not correct C programs compile (and often work) anyway. This is useful because there are so many such programs, because a) people did not lint; and/or b) the problem never was obvious with some other (or older) compiler; and/or c) people do not care about writing portable C and prefer writing in their own non-C dialect. > -fno-delete-null-pointer-checks etc.. This was added as a security hardening feature. It of course also is useful for other things -- most flags are. It was not added to make yet another dialect. Segher
