[STDCXX-764] [HP aCC 6.16] bogus warning #20200 on trivially safe code

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

Environment

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

• Severity: Compiler Warning
• Assignee: Unassigned
• Reporter: Martin Sebor
• Created: 15/Mar/08 00:44
• Updated: 02/May/13 02:29

Description

This warning is obviously incorrect. It goes away with optimization.

$ cat t.cpp && aCC -V -c +w t.cpp
int bar () {
const char *s = 0;
if (!s)
s = ";";

return *s;
}

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

Issue Links

• is depended upon by: STDCXX-754 [HP aCC 6.16] Potential null pointer dereference in cmdopt.cpp
• is depended upon by: STDCXX-773 [HP aCC 6.16] warning #20200-D: Potential null pointer dereference in 21.string.erase.cpp
• is depended upon by: STDCXX-745 [HP aCC 6.16] Potential null pointer dereference in locale_body.cpp
• is depended upon by: STDCXX-746 [HP aCC 6.16] Potential null pointer dereference in locale_combine.cpp
• is depended upon by: STDCXX-751 [HP aCC 6.16] Potential null pointer dereference in locale_stub.cpp