[STDCXX-889] [HP aCC 6.16] bogus warning #4276 on (-0x7fffffff - 1)

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

Environment

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

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

Description

The warning below is incorrect – the relational operator clearly evaluates to true.

$ cat t.cpp && aCC +w -V t.cpp && ./a.out && echo PASS
#include <assert.h>

int main ()
{
    int x = 0;
    assert (-0x7fffffff - 1 < x);
}
aCC: HP C/aC++ B3910B A.06.16 [Nov 26 2007]
"t.cpp", line 6: warning #4276-D: relational operator "<" always 
evaluates to
          'false'
      assert (-0x7fffffff - 1 < x);
                              ^

ld: 92453-07 linker ld HP Itanium(R) B.12.41  IPF/IPF
PASS

Issue Links

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