[STDCXX-852] [HP aCC 6.16] bogus warning #20206-D: Out of bound access on a loop

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Component/s: External

Environment

HP aCC 6.16

• Severity: Compiler Warning
• Assignee: Unassigned
• Reporter: Martin Sebor
• Created: 10/Apr/08 03:59
• Updated: 02/May/13 02:29

Description

The warning below is bogus:

$ 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].)

Issue Links

• is depended upon by: STDCXX-783 [HP aCC 6.16] warning #20206-D: Out of bound access in 25.random.shuffle.cpp