[STDCXX-893] [HP aCC 6.16] bogus warning #20200 on enum and case/switch

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

Environment

aCC: HP C/aC++ B3910B A.06.16 [Nov 26 2007]

• Severity: Incorrect Behavior
• Assignee: Unassigned
• Reporter: Martin Sebor
• Created: 23/Apr/08 21:42
• Updated: 02/May/13 02:29

Description

The warning below is bogus since all possible values of x are being handled in the switch statement:

$ cat t.cpp && aCC +w -c -V t.cpp
enum E { e, f };

int foo (E x)
{
    const char *s = 0;

    switch (x) {
    case e: s = "e"; break;
    case f: s = "f"; break;
    }

    return *s;
}

aCC: HP C/aC++ B3910B A.06.16 [Nov 26 2007]
"t.cpp", line 12, procedure foo: warning #20200-D: Potential null pointer
          dereference through s is detected (null definition:t.cpp, line 5)

Issue Links

• is depended upon by: STDCXX-757 [HP aCC 6.16] Potential null pointer dereference in value.cpp