Jₑₙₛ Gustedt

@erisceleste @uecker @thephd And then I guess you'd better have it with '...', so the second expression also can be a comma expression.

@thephd@pony.social Great! Thanks for doing this! In my recent experience with contracts, I see that optimisation quickly goes down the drain, when there are pointers involved for which the language does not provide enough knowledge for escape analysis. Even 'restrict' and 'const' do not really help in most cases, because it only restricts what the local code can do, but gives no guarantee that functions that receive the pointer will not save a copy.

@thephd@pony.social @uecker@mastodon.social clang have partial solutions for this, e. g. they have an attribute that promisses that pointer parameters do not escape. Unfortunately they have their big problem that they can't attach these kind of properties to function types. so all information is lost once you convert to a function pointer.

@RebeccaLenhard@gruene.social das ist ja eine unglaubliche Verschwendung