For gcc.dg/gomp/atomic-6.c we create (x86_64)
D.2052 = (unsigned int) D.2043;
D.2056 = (unsigned int) D.2044;
D.2057 = (unsigned int) D.2043;
D.2058 = __sync_val_compare_and_swap_4 (D.2051, D.2057, D.2056);
D.2043 = (int) D.2058;
if (D.2043 != D.2052)
which compares a signed integer against an unsigned one.
--
Summary: omp lowering creates mismatched types
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org
OtherBugsDependingO 22368
nThis:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32152