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