cppcheck/samples/arrayIndexOutOfBounds/bad.c

int a[2];

int main()
{
    a[0] = 0;
    a[1] = 0;
    a[2] = 0;
    return a[0];
}
Use FwdAnalysis in UnusedVar. This is still work-in-progress. Merging to master branch so it can be tested. 2018-12-13 18:52:56 +01:00			`int a[2];`

Fixing #3515 (Add samples/id/good\|bad.cpp) http://sourceforge.net/apps/trac/cppcheck/ticket/3515 2012-01-22 14:52:31 +01:00			`int main()`
			`{`
			`a[0] = 0;`
			`a[1] = 0;`
			`a[2] = 0;`
			`return a[0];`
			`}`