This project involves extending gcc to support an alwayszero function attribute (see [https://bugzilla.mozilla.org/show_bug.cgi?id=517370 Bug #517370] as well as [[http://ehren.wordpress.com/2009/09/30/popping-my-gimples-a-plan/ this blog post]] for an overview).