Hacker News new | ask | show | jobs
by SekstiNi 1774 days ago
Unfortunately, but expectedly, it cannot reason about it [1]. Even if it could I'm not sure it would be allowed to elide the allocation(s).

[1] https://godbolt.org/z/63xEcfaEE
2 comments
h2odragon 1774 days ago
The metaphysics of that are going to be interesting. "Do what I mean" programming meets all the stories about why one shouldn't accept bargains with fairies or djinn.

"I can't let you use `strcpy()` there, Dave" is the least of it.

link
jjgreen 1774 days ago
Pity, if it ever does then I'll put aside my distaste for the whole "curl <url> | sh" thing and learn the language.
link