With this change, code like this:
void foo(int* x) {
SkASSERT(x);
*x = 5;
}
will not cause a static analysis error report.
In code below an assert it will assume the that the assertion condition holds
true.
Issue 5433062: Add hints for static analysis about when we intend to crash
(Closed)
Created 13 years ago by bsalomon
Modified 13 years ago
Reviewers: reed1, epoger
Base URL: http://skia.googlecode.com/svn/trunk/
Comments: 0