IV75537: MULTI-DIMENSIONAL ARRAY CONST NOT REMOVED

XL C/C++ for AIX Fix Pack 4 (July 2015 PTF) for 13.1
XL C/C++ for AIX Fix Pack 5 (November 2015 PTF) for 13.1
XL C/C++ for AIX Fix Pack 6 (February 2016 PTF) for 13.1
XL C/C++ for AIX Fix Pack 7 (May 2016 PTF) for 13.1
XL C/C++ for AIX Fix Pack 8 (August 2016 PTF) for 13.1
XL C/C++ for AIX Fix Pack 9 (June 2017 PTF) for 13.1
XL C/C++ for AIX Fix Pack 10 (February 2018 PTF) for 13.1
XL C/C++ for AIX Fix Pack 11 (November 2018 PTF) for 13.1

APAR status

• Closed as program error.

Error description

• A simple template specialization is used to strip the const
  qualification from a given type.  When a const-qualified
  multi-dimensional array is used, the const qualification is not
  removed.
  
  
     === TEST CASE ===
  
  #include <iostream>
  
  template <typename T>
  struct remove_const { typedef T type; };
  
  template <typename T>
  struct remove_const <T const> { typedef T type; };
  
  
  template <typename T>
  struct test
  {
      void operator()() { std::cout << "not const qualified\n"; }
  };
  
  template <typename T>
  struct test<T const>
  {
      void operator()() { std::cout << "const qualified\n"; }
  };
  
  
  int main()
  {
      std::cout << "const int[4][2]: ";
      test<remove_const<const int[4][2]>::type>()();
  }
  
  
  
  $ xlC apar.cpp
  $ ./a.out
  const int[4][2]: const qualified
  $
  

Local fix

Problem summary

• PROBLEM DESCRIPTION:
  The compiler component that removes const did not consider all
  array dimensions.
  
  USERS AFFECTED:
  Users with problems removing const on template parameters with
  multi-dimensional arrays.
  

Problem conclusion

• The problem has been fixed.
  

Temporary fix

Comments

APAR Information

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

  IV73047

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

Fix information

• Fixed component name

  XL C/C++ FOR AI

• Fixed component ID

  5725C7200

Applicable component levels