IZ65936: VIRTUAL FUNCTION WITH VOID TYPE STORES RESULT

October 2010 PTF for XL C/C++ for AIX, V10.1
May 2012 PTF for XL C/C++ for AIX, V10.1
January 2013 PTF for XL C/C++ for AIX, V10.1
XL C/C++ for AIX Fix Pack 18 (July 2013 PTF) for 10.1
XL C/C++ for AIX Fix Pack 19 (October 2013 PTF) for 10.1
XL C/C++ for AIX Fix Pack 21 (October 2015 PTF) for 10.1
March 2010 PTF for XL C/C++ for AIX, V10.1
April 2010 PTF for XL C/C++ for AIX, V10.1
June 2010 PTF for XL C/C++ for AIX, V10.1
May 2011 PTF for XL C/C++ for AIX, V10.1
October 2011 PTF for XL C/C++ for AIX, V10.1
February 2012 PTF for XL C/C++ for AIX, V10.1
September 2012 PTF for XL C/C++ for AIX, V10.1
XL C/C++ for AIX Fix Pack 20 (October 2014 PTF) for 10.1

APAR status

• Closed as program error.

Error description

• Virtual function with return type void stores result.
  
  Here is the testcase that reproduces the problem:
  
  ===== TESTCASE ======
  
  ---- a.C ----
  
  struct ref_p {
      ~ref_p() { }
  };
  void bar(ref_p);
  void foo(ref_p place) {
      ({
          bar(place);
      });
  }
  
  ---- a.C ----
  
  Compile step:
  
  xlC -c a.C -O3
  Calling signal handler...
  1586-494 (U) INTERNAL COMPILER ERROR: Signal 11.
  

Local fix

• Remove an empty non-virtual destructor:
  
  Failing code:          ~ref_p() { }
  ---
  Workaround:            //~ref_p() { }
  

Problem summary

• Statement expr may store void result type w/ temps
  

Problem conclusion

• The uncommon combination of a statement expression not having a
  result (expressions normally have a type and value) and the
  statement expression having clean up (eg. temp destruction)
  that would need to be done after computing the result.
  

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:

  LI75544 LI75576

Fix information

• Fixed component name

  XL C++ AIX

• Fixed component ID

  5724U8100

Applicable component levels