IV33977: INCORRECT EVALUATION OF SIZEOF IN TEMPLATES

February 2013 PTF for XL C/C++ for AIX, V11.1
XL C/C++ for AIX Fix Pack 14 (May 2013 PTF) for 11.1
XL C/C++ for AIX Fix Pack 15 (August 2013 PTF) for 11.1
XL C/C++ for AIX Fix Pack 16 (November 2013 PTF) for 11.1
XL C/C++ for AIX Fix Pack 17 (February 2014 PTF) for 11.1
XL C/C++ for AIX Fix Pack 18 (May 2014 PTF) for 11.1
XL C/C++ for AIX Fix Pack 19 (August 2014 PTF) for 11.1
XL C/C++ for AIX Fix Pack 20 (November 2014 PTF) for 11.1
XL C/C++ for AIX Fix Pack 21 (April 2015 PTF) for 11.1
XL C/C++ for AIX Fix Pack 22 (September 2015 PTF) for 11.1
XL C/C++ for AIX Fix Pack 23 (March 2016 PTF) for 11.1
XL C/C++ for AIX Fix Pack 24 (September 2016 PTF) for 11.1

APAR status

• Closed as program error.

Error description

• When compiling the test case below, the compiler issues an
  incorrect error message.
  
  The diagnostic refers to this line:
  typedef char staticassert_type[sizeof(Type) == 2 ? 2 : 0]; //
  But this is NOT !!
  indicating that sizeof(Type) is not 2.
  
  The line just above it
  /// char staticassert_var[sizeof(Type) == 2 ? 2 : 0];
  
  is accepted, when uncommented.  If you uncommend line 4,
  and comment line 5 instead, the program compiles and links.
  When you
  run it, the value it returns is 2 (sizeof(Resolver<int>::Type)).
  
  
  ===== COMPILE COMMAND:
  xlC test.cpp
  
  
  ===== TESTCASE:
  $ cat test.cpp
  template <typename T>
  struct Resolver {
      typedef struct { char a[2]; } Type;
  //    char staticassert_var[sizeof(Type) == 2 ? 2 : 0];      //
  This is accepted
      typedef char staticassert_type[sizeof(Type) == 2 ? 2 : 0];
  // But this is NOT !!!
  };
  
  int main()
  {
      return sizeof(Resolver<int>::Type);
  }
  $
  
  
  ===== ACTUAL OUTPUT:
  $ xlC test.cpp
  "test.cpp", line 5.54: 1540-0135 (S) The array bound cannot be
  zero.
  $
  
  ===== EXPECTED OUTPUT:
  Clean compile
  

Local fix

• n/a
  

Problem summary

• USERS AFFECTED:
  The problem can be seen when a sizeof expression is used to
  compute an array bound inside a template definition.
  
  PROBLEM DESCRIPTION:
  The compiler was incorrectly evaluating a sizeof expression
  inside a template definition and reporting an error.
  

Problem conclusion

• The compiler has been fixed to resolve the above issue.
  

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

  LI77191 IV37923 LI77319 LI77400

Fix information

• Fixed component name

  XL C/C++ AIX

• Fixed component ID

  5724X1300

Applicable component levels

• RB10 PSY U858036

     UP C