On 06/26/2014 04:59 AM, David Rajchenbach-Teller wrote:
I would be interested in adding boundary checks and invariant checks
that could be eliminated in opt builds. Is this in the scope of your
project?

From an analysis point of view I am not sure to see how useful such information would be. It seems that you are more interested in having assertions where you can obtain a backtrace than having an analysis which does not change the behavior of the program.

--
Nicolas B. Pierron
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

Reply via email to