summaryrefslogtreecommitdiff
path: root/gcc/ubsan.h
diff options
context:
space:
mode:
authormpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>2013-12-04 22:47:11 +0000
committermpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>2013-12-04 22:47:11 +0000
commit137559b2325c900743803d115c4d8495f9da5d67 (patch)
tree20fca81276f1e6d6224300c11a4e10fa89519d41 /gcc/ubsan.h
parent85f5275438752595289934e2bbf725d1481f77cc (diff)
downloadgcc-137559b2325c900743803d115c4d8495f9da5d67.tar.gz
Implement -fsanitize=signed-integer-overflow.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@205684 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ubsan.h')
-rw-r--r--gcc/ubsan.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ubsan.h b/gcc/ubsan.h
index 666e5fe15ab..0aced4aac67 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 */