I suppose the reason why I might want to override the compiler's analysis would
probably _not_ be that I want to "risk it" despite GC-unsafe code. I'd use the
pragma because there are - hopefully - clear rules what is GC-safe and what
isn't and I'd want to override the compiler in case the code is GC-safe
although the compiler assumes the code is GC-unsafe. At least that's how I
assume the pragma is intended to be used. :-) In other words: When is it
_actually_ GC-safe to override the compiler analysis?
