@JensGustedt@digitalcourage.social
Post #2766125
2025-12-31 06:48 UTC
@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.
Replies (1)
-
@thephd@pony.social 2025-12-31 16:37
@JensGustedt@digitalcourage.social yeah, there is a lot of issues that immediately pop up because the optimization tools in the base language are sort of weakly defined. But it's hard to write good specification for the more aggressive parts of optimization and aliasing control here, to the point that I'm not even sure how to start talking about this.