--- gcc/config/x-crds	2018/04/24 17:51:32	1.1.1.1
+++ gcc/config/x-crds	2018/04/24 17:58:41	1.1.1.2
@@ -1 +1,7 @@
 CC = cc -Wx,-X23
+
+# The following line might be necessary as well or instead of the above.
+# If you find out that it is necessary,
+# or if you find out that it is not necessary,
+# please inform bug-gcc@prep.ai.mit.edu.
+# ALLOCA = alloca.o