The printf test is an expected failure on 32-bit x86 (see tests/testsuite.at):
AT_SETUP([Kernel functions printf])
# On 32-bit x86, accessing int4 via va_arg segfaults (wrong alignment?)
AT_XFAIL_IF([grep HOST_CPU $abs_top_builddir/config.h | cut -d\"
-f2 | grep -q i686])
The host CPU that the debian package sees is i586, not i686, which is
why this test isn't flagged as XFAIL. I'm not sure why this is - if I
build pocl manually on the same machine it sees i686.
James
