[HP aCC 6.16] bogus warning #20206-D: Out of bound access on a loop
-------------------------------------------------------------------
Key: STDCXX-852
URL: https://issues.apache.org/jira/browse/STDCXX-852
Project: C++ Standard Library
Issue Type: Bug
Components: External
Environment: HP aCC 6.16
Reporter: Martin Sebor
The warning below is bogus:
{noformat}
$ cat t.cpp && aCC -c +O +w t.cpp
int foo ()
{
int a1 [] = { 2, 1, 0 };
int a2 [] = { 0, 1, 2 };
bool b = true;
int i;
for (i = 0; i != 3; ++i) {
b = a1 [i] == a2 [i];
if (!b) break;
}
if (!b) return a1 [i];
return 0;
}
"t.cpp", line 13, procedure foo: warning #20206-D: Out of bound access (In
expression "&a1[i]", array "a1" [t.cpp:3] (type: int [3]) has
element range [0 .. 2], reading element range [0 .. 3].)
{noformat}
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
