Fixed #5931 (arrayIndexOutOfBoundsCond id reported instead of arrayIndexOutOfBounds)

This commit is contained in:
Daniel Marjamäki 2014-06-28 10:09:53 +02:00
parent 660f8c720d
commit 6f2c8a8236
1 changed files with 1 additions and 0 deletions

View File

@ -248,6 +248,7 @@ public:
c.argumentSizeError(0, "function", "array");
c.writeOutsideBufferSizeError(0,2,3,"write");
c.negativeMemoryAllocationSizeError(0);
c.reportError(nullptr, Severity::warning, "arrayIndexOutOfBoundsCond", "Array 'x[10]' accessed at index 20, which is out of bounds. Otherwise condition 'y==20' is redundant.");
}
private: