aboutsummaryrefslogtreecommitdiff
path: root/gcc/internal-fn.def
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/internal-fn.def')
-rw-r--r--gcc/internal-fn.def4
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/internal-fn.def b/gcc/internal-fn.def
index f49b395..61516da 100644
--- a/gcc/internal-fn.def
+++ b/gcc/internal-fn.def
@@ -462,6 +462,10 @@ DEF_INTERNAL_FN (TRAP, ECF_CONST | ECF_LEAF | ECF_NORETURN
| ECF_NOTHROW | ECF_COLD | ECF_LOOPING_CONST_OR_PURE,
NULL)
+/* [[assume (cond)]]. */
+DEF_INTERNAL_FN (ASSUME, ECF_CONST | ECF_LEAF | ECF_NOTHROW
+ | ECF_LOOPING_CONST_OR_PURE, NULL)
+
#undef DEF_INTERNAL_INT_FN
#undef DEF_INTERNAL_FLT_FN
#undef DEF_INTERNAL_FLT_FLOATN_FN