IV33243: INCORRECT LOOP COUNTER WITH -QIPA

February 2013 PTF for XL 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 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 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 for AIX Fix Pack 17 (February 2014 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 for AIX Fix Pack 21 (April 2015 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 for AIX Fix Pack 23 (March 2016 PTF) for 11.1
XL C/C++ for AIX Fix Pack 23 (March 2016 PTF) for 11.1
XL C for AIX Fix Pack 24 (September 2016 PTF) for 11.1
XL C/C++ for AIX Fix Pack 24 (September 2016 PTF) for 11.1
XL C for AIX Fix Pack 16 (November 2013 PTF) for 11.1
XL C for AIX Fix Pack 18 (May 2014 PTF) for 11.1
XL C for AIX Fix Pack 19 (August 2014 PTF) for 11.1
XL C for AIX Fix Pack 20 (November 2014 PTF) for 11.1
XL C for AIX Fix Pack 22 (September 2015 PTF) for 11.1

APAR status

• Closed as program error.

Error description

• The counter in the for loop goes past its boundaries when
  compiling with -qipa and causes an incorrect output at runtime.
  
  The issue goes away if you remove -qipa from the compile line.
  
  
  ===== COMPILE COMMAND:
  xlC_r -o tc test.c -O -q64 -qipa
  
  ===== TESTCASE:
  $ cat test.c
  #include <stdio.h>
  
  int main()
  {
          unsigned int ctr=6;
          unsigned int stop =  (unsigned int)-1;
          unsigned int start =  5;
  
          printf("start=%u  ; stop=%u\n",start,stop);
  
          for(ctr = start ; ctr != stop ; --ctr)
          {
                  printf("ctr=%u\n",ctr);
  
                  if (ctr>start)
                  {
                          printf("Shouldn't get here\n");
                          exit(1);
                  }
          }
  }
  $
  
  ===== ACTUAL OUTPUT:
  $ ./tc
  start=5  ; stop=4294967295
  ctr=5
  ctr=4
  ctr=3
  ctr=2
  ctr=1
  ctr=0
  ctr=4294967295
  Shouldn't get here
  $
  
  ===== EXPECTED OUTPUT:
  $ ./tc
  start=5  ; stop=4294967295
  ctr=5
  ctr=4
  ctr=3
  ctr=2
  ctr=1
  ctr=0
  $
  

Local fix

• Compile with -qstrict_induction. Although, you may need to
  monitor the runtime performance when using this option.
  

Problem summary

• USERS AFFECTED:
  Users using -qhot=level=0 or above may be affected by this
  issue.
  
  PROBLEM DESCRIPTION:
  When -qhot=level=0 or higher is used, users may encounter
  incorrect output due to an internal induction variable
  overflow.
  

Problem conclusion

• The fix consists of detecting a loop normalization opportunity
  where the induction variable overflows; so that users do not
  have to face a performance impact of using -qstrict_induction.
  

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:

  IV37956 LI77357 LI77453

Fix information

• Fixed component name

  XL C FOR AIX

• Fixed component ID

  5724X1200

Applicable component levels