Index: src/tests/Makefile.am
===================================================================
--- src/tests/Makefile.am	(revision cb914379c23218fde6d6aaf354fb109d6e02f15c)
+++ src/tests/Makefile.am	(revision 27cc24ea994ee36438688fbfb87b860ee499667f)
@@ -51,4 +51,7 @@
 	@+python test.py --list --concurrent=${concurrent}
 
+.dummy : .dummy.c
+	${CC} ${CFLAGS} -XCFA -n ${<} -o ${@}
+
 constant0-1DP : constant0-1.c
 	${CC} ${CFLAGS} -DDUPS ${<} -o ${@}
Index: src/tests/Makefile.in
===================================================================
--- src/tests/Makefile.in	(revision cb914379c23218fde6d6aaf354fb109d6e02f15c)
+++ src/tests/Makefile.in	(revision 27cc24ea994ee36438688fbfb87b860ee499667f)
@@ -669,4 +669,7 @@
 	@+python test.py --list --concurrent=${concurrent}
 
+.dummy : .dummy.c
+	${CC} ${CFLAGS} -XCFA -n ${<} -o ${@}
+
 constant0-1DP : constant0-1.c
 	${CC} ${CFLAGS} -DDUPS ${<} -o ${@}
Index: src/tests/test.py
===================================================================
--- src/tests/test.py	(revision cb914379c23218fde6d6aaf354fb109d6e02f15c)
+++ src/tests/test.py	(revision 27cc24ea994ee36438688fbfb87b860ee499667f)
@@ -25,5 +25,5 @@
 # parses the Makefile to find the machine type (32-bit / 64-bit)
 def getMachineType():
-	sh('echo "int main() { return 0; }" > .dummy.c')
+	sh('echo "void ?{}(int*a,int b){}int main(){return 0;}" > .dummy.c')
 	sh("make .dummy", print2stdout=False)
 	_, out = sh("file .dummy", print2stdout=False)