tree 43bdb382000e86878fc087f5f2355609bf38f5ac
parent 71fc05771cd5c7e9f570121d2a71e73243d51c9b
author Stephan Herrmann <stephan.herrmann@berlin.de> 1366486017 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1366486017 +0200

Bug 384380 - False positive on a « Potential null pointer access »
after a continue
- prepare by some refactorings, no semantic changes yet