Fixes are available
APAR status
Closed as program error.
Error description
The following test case demonstrates the inocorrect output: $cat test.c #include <stdio.h> int c; int cia(); int check1(); int check2(); int foo() { unsigned g1=0, g2=0; if (check1()) { g1=1;} if (check2()) { g2=1;} unsigned char f1 = cia(); if ((( (c?1:0) || g1 || g2) && (f1 ))) return 1; return 0; } int cia() { return 1; } int check1() { return 0;} int check2() { return 0;} int main() { c=1; printf("foo = %d\n", foo()); return 0; } ======ACTUAL OUTPUT: $xlc -+ test.c -q64 -qhot -qlist -qnoinline ; ./a.out foo = 0 $ ======EXPECTED OUTPUT: $./a.out foo = 1
Local fix
n/a
Problem summary
USERS AFFECTED: Users compiling the applications with ipa maybe affected by this issue. PROBLEM DESCRIPTION: A specific internal branching optimization was not merging the branches correctly while handling the first jump label.
Problem conclusion
The fix was to check if there is any jump to the label from outside of the predicate group when grouping the predicates with branch collapsing.
Temporary fix
Comments
APAR Information
APAR number
LI76215
Reported component name
XL C/C++ RHEL52
Reported component ID
5724U8310
Reported release
A10
Status
CLOSED PER
PE
NoPE
HIPER
NoHIPER
Special Attention
NoSpecatt
Submitted date
2011-06-10
Closed date
2011-06-10
Last modified date
2011-06-10
APAR is sysrouted FROM one or more of the following:
APAR is sysrouted TO one or more of the following:
Fix information
Fixed component name
XL C/C++ RHEL52
Fixed component ID
5724U8310
Applicable component levels
RA10 PSN IZ94357
UP06/09/13
[{"Business Unit":{"code":"BU054","label":"Systems w\/TPS"},"Product":{"code":"SSJT9L","label":"XL C\/C++"},"Platform":[{"code":"PF025","label":"Platform Independent"}],"Version":"A.1","Line of Business":{"code":"LOB08","label":"Cognitive Systems"}}]
Document Information
Modified date:
17 October 2021