TO3FLAGS="$TO3FLAGS $FOMITF"
fi
+{ printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking gcc version 12" >&5
+printf %s "checking gcc version 12... " >&6; }
+if $CC -v 2>&1|grep gcc |grep -q 'version 12'; then
+ { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: yes" >&5
+printf "%s\n" "yes" >&6; }
+ assert_arg_to_cflags -fno-tree-vrp #Bug workaround
+else
+ { printf "%s\n" "$as_me:${as_lineno-$LINENO}: result: no" >&5
+printf "%s\n" "no" >&6; }
+fi
+
# Step 1: set the variable "system" to hold the name and version number
# for the system. This can usually be done via the "uname" command, but
# there are a few systems, like Next, where this doesn't work.
TO3FLAGS="$TO3FLAGS $FOMITF"
fi
+AC_MSG_CHECKING([gcc version 12])
+if $CC -v 2>&1|grep gcc |grep -q 'version 12'; then
+ AC_MSG_RESULT([yes])
+ assert_arg_to_cflags -fno-tree-vrp #Bug workaround
+else
+ AC_MSG_RESULT([no])
+fi
+
# Step 1: set the variable "system" to hold the name and version number
# for the system. This can usually be done via the "uname" command, but
# there are a few systems, like Next, where this doesn't work.
store_val(where,MASK(7)<<25,(s+a)<<20);
break;
case R_RISCV_CALL:
+ case R_RISCV_CALL_PLT:
store_val(where,MASK(20)<<12,riscv_high(s+a-p));
store_val((void *)where+4,MASK(12)<<20,(s+a-p)<<20);
break;