logoalt Hacker News

bluGill • today at 3:48 PM • 1 reply • view on HN

The standard doesn't require compilers find all such cases. The standard allows it, but doesn't require it. There are many known cases where the compiler cannot find a case (at least not in a reasonable amount of time)


Replies

nickorlow • today at 4:04 PM

The consequence of not being required in the standard is that compilers may not implement it and if they do, they will likely have different implementations/functionality