IV19832: TEMPLATE PARAMETER CANNOT BE INITIALIZED

July 2012 PTF for XL C/C++ for AIX, V11.1
October 2012 PTF for XL C/C++ for AIX, V11.1
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

• The compiler generates an incorrect template message for the
  following test case:
  
  =====Compile Command:
  xlC -c b.cc
  
  =====Testcase:
  $cat b.cc
  template <int, int> struct Tensor {};
  template <int dim> class Tensor<0,dim> {};
  
  template <int dim> struct X {
       template <int spacedim>
       void foo (Tensor<spacedim-dim,spacedim>)
     {}
  };
  
  template void X<1>::foo  (Tensor<1-1,1>);
  $
  
  
  =====Action Output:
  $xlC -c b.cc
  "b.cc", line 10.21: 1540-0288 (S) The function template
  parameter of type "Tensor<spacedim-(int) (1),spacedim>" cannot
  be initialized with an argument of type "Tensor<0,1>".
  $
  
  
  =====Expected Output:
  Should compile without any errors.
  

Local fix

• n/a
  

Problem summary

• USERS AFFECTED:
  The problem may be seen where a non-type template argument is
  used in a non-deduced context before arguments using it in a
  deducable context.
  
  PROBLEM DESCRIPTION:
  The use of a non-type template argument in a non-deduced
  context was stopping argument deduction in later arguments.
  

Problem conclusion

• The above compiler problem has been resolved.
  

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:

  LI76792 IV25614 LI76934 LI77065

Fix information

• Fixed component name

  XL C/C++ AIX

• Fixed component ID

  5724X1300

Applicable component levels

• RB10 PSY U852967

     UP C