On Friday, 14 July 2017 at 23:02:24 UTC, Moritz Maxeiner wrote:
On Friday, 14 July 2017 at 21:20:29 UTC, Jonathan M Davis wrote:
Basically, the compiler _never_ looks at the bodies of other
functions when determining which attributes apply. It always
[...].
I'm well aware of that, but it doesn't mean that it can't be
enhanced to do so (i.e. what it can do, not what it does do).
"Enhancing" the compiler to do so comes at a very very high cost.
Which would force the compiler to look at every body it can look
at to maybe discover a closed set of execptions. This would kill
fast compile-times!
