} catch (IllegalArgumentException e) {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_ILLEGAL", HIGH_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
<BUG>.addString(formatString)
.addSourceLine(this)</BUG>
);
} catch (MissingFormatArgumentException e) {
if (e.pos < 0) {

} catch (IllegalArgumentException e) {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_ILLEGAL", HIGH_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
.addString(formatString).describe(StringAnnotation.FORMAT_STRING_ROLE)
.addSourceLine(this)
);
} catch (MissingFormatArgumentException e) {
if (e.pos < 0) {
