if (e.pos < 0) {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_NO_PREVIOUS_ARGUMENT", HIGH_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
<BUG>.addString(formatString)
.addString(e.formatSpecifier)
.addSourceLine(this)</BUG>
);
} else {

if (e.pos < 0) {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_NO_PREVIOUS_ARGUMENT", HIGH_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
.addString(formatString).describe(StringAnnotation.FORMAT_STRING_ROLE)
.addString(e.formatSpecifier).describe(StringAnnotation.FORMAT_SPECIFIER_ROLE)
.addSourceLine(this)
);
} else {
