Assertions Are Pessimistic, Assumptions Are Optimistic (2014)(blog.regehr.org)

12 pointsby rdc1211 yıl önce4 comments

blog.regehr.org

Assertions Are Pessimistic, Assumptions Are Optimistic (2014)

http://blog.regehr.org/archives/1096

4 comments

pbiggar11 yıl önce

I looked at doing this in 2010 for the firefox codebase. At the time, neither gcc nor clang were able to infer enough information from builtin_unreachable or asserts in non-debug mode to be worth the effort.

Also, many asserts are rewritten to provide debugging information, not just crashing the program. Firefox had a bunch of asserts that sent logged information before they died, for example. As a result, you're usually willing to take the performance hit to find out why your program failed, esp when the hit is small (here it's shown to be <10%).

pbiggar11 yıl önce

Looks like others took up the cause later, see https://raw.githubusercontent.com/bjacob/builtin-unreachable... and https://groups.google.com/forum/#!topic/mozilla.dev.platform...

Others11 yıl önce

This is fascinating, I didn't realize that compilers even could do so much with one simple primitive!

agumonkey11 yıl önce

What a weird typing / prolog-cut mechanism.