simendsjo:
Can it be nothrow? It might encounter unicode exceptions.
I think -profile should not influence the exception tree analysis. So it seems a bug. And there are probably some dupes:
https://d.puremagic.com/issues/buglist.cgi?quicksearch=profile+nothrow Bye, bearophile
