Dear Clang developers,
please find attached a tiny patch which fixes a indentation warning from
GCC 6 within ArrayBoundCheckerV2.cpp
Proposed commit message:
> StaticAnalyzer: Fix GCC 6 indention warning in ArrayBoundCheckerV2.cpp
>
> Patch by Christoph Grüninger
Bye
Christoph
Index: lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
===================================================================
--- lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp (Revision 278795)
+++ lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp (Arbeitskopie)
@@ -157,9 +157,10 @@
// If we are under constrained and the index variables are tainted, report.
if (state_exceedsUpperBound && state_withinUpperBound) {
- if (state->isTainted(rawOffset.getByteOffset()))
+ if (state->isTainted(rawOffset.getByteOffset())) {
reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted);
- return;
+ }
+ return;
}
// If we are constrained enough to definitely exceed the upper bound, report.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
