From 31e071aeb827f49ce2e891620852198e99d44a0c Mon Sep 17 00:00:00 2001
From: Marek Polacek <mpolacek@gcc.gnu.org>
Date: Wed, 4 Dec 2013 22:47:11 +0000
Subject: Implement -fsanitize=signed-integer-overflow.

From-SVN: r205684
---
 gcc/internal-fn.def | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'gcc/internal-fn.def')

diff --git a/gcc/internal-fn.def b/gcc/internal-fn.def
index 7193874c811..08a514eeec2 100644
--- a/gcc/internal-fn.def
+++ b/gcc/internal-fn.def
@@ -45,3 +45,6 @@ DEF_INTERNAL_FN (GOMP_SIMD_VF, ECF_CONST | ECF_LEAF | ECF_NOTHROW)
 DEF_INTERNAL_FN (GOMP_SIMD_LAST_LANE, ECF_CONST | ECF_LEAF | ECF_NOTHROW)
 DEF_INTERNAL_FN (ANNOTATE,  ECF_CONST | ECF_LEAF | ECF_NOTHROW)
 DEF_INTERNAL_FN (UBSAN_NULL, ECF_LEAF | ECF_NOTHROW)
+DEF_INTERNAL_FN (UBSAN_CHECK_ADD, ECF_CONST | ECF_LEAF | ECF_NOTHROW)
+DEF_INTERNAL_FN (UBSAN_CHECK_SUB, ECF_CONST | ECF_LEAF | ECF_NOTHROW)
+DEF_INTERNAL_FN (UBSAN_CHECK_MUL, ECF_CONST | ECF_LEAF | ECF_NOTHROW)
-- 
cgit v1.2.1

