diff options
| author | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-12-04 22:47:11 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-12-04 22:47:11 +0000 |
| commit | 31e071aeb827f49ce2e891620852198e99d44a0c (patch) | |
| tree | 20fca81276f1e6d6224300c11a4e10fa89519d41 /gcc/ubsan.h | |
| parent | 59b6687cceaf95d8c49afee88248cf4fb0a33105 (diff) | |
| download | gcc-31e071aeb827f49ce2e891620852198e99d44a0c.zip gcc-31e071aeb827f49ce2e891620852198e99d44a0c.tar.gz gcc-31e071aeb827f49ce2e891620852198e99d44a0c.tar.bz2 | |
Implement -fsanitize=signed-integer-overflow.
From-SVN: r205684
Diffstat (limited to 'gcc/ubsan.h')
| -rw-r--r-- | gcc/ubsan.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ubsan.h b/gcc/ubsan.h index 666e5fe..0aced4a 100644 --- a/gcc/ubsan.h +++ b/gcc/ubsan.h @@ -43,6 +43,7 @@ extern tree ubsan_create_data (const char *, location_t, extern tree ubsan_type_descriptor (tree, bool); extern tree ubsan_encode_value (tree); extern bool is_ubsan_builtin_p (tree); +extern tree ubsan_build_overflow_builtin (tree_code, location_t, tree, tree, tree); #endif /* GCC_UBSAN_H */ |