diff --git a/tests/syntax/builtin_types_compatible.i b/tests/syntax/builtin_types_compatible.i
new file mode 100644
index 0000000000000000000000000000000000000000..891cb5e7e4cc51d1f204b8e4f22cfced2fbc56bb
--- /dev/null
+++ b/tests/syntax/builtin_types_compatible.i
@@ -0,0 +1,6 @@
+/* run.config
+   OPT: -machdep gcc_x86_64 -print
+*/
+int main() {
+  return __builtin_types_compatible_p(int, int[]);
+}
diff --git a/tests/syntax/oracle/builtin_types_compatible.res.oracle b/tests/syntax/oracle/builtin_types_compatible.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..139913b6d02b7ab273e78c70b122d1ddad90dcdc
--- /dev/null
+++ b/tests/syntax/oracle/builtin_types_compatible.res.oracle
@@ -0,0 +1,10 @@
+[kernel] Parsing builtin_types_compatible.i (no preprocessing)
+/* Generated by Frama-C */
+int main(void)
+{
+  int __retres;
+  __retres = 0;
+  return __retres;
+}
+
+