Exceptions: Difference between revisions

(moved nothrow to end and shortened)
Line 23: Line 23:
* Overwriting the value of rv before the test (so the rv isn't actually branched on)
* Overwriting the value of rv before the test (so the rv isn't actually branched on)


The easy way might be good enough for our purposes. If not, we can design an abstract interpretation that is more precise.
The current '''thrower''' tool catches many of these cases but not all. It's believed that (a) thrower only produces false positives, not false negatives, and (b) doesn't produce too many false positives on Mozilla.


=== Rewriting ignored return values ===
=== Rewriting ignored return values ===
313

edits