* opts.c (common_handle_option): Handle vla-bound. * sanitizer.def (BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE): Define. * flag-types.h (enum sanitize_code): Add SANITIZE_VLA. * asan.c (initialize_sanitizer_builtins): Build BT_FN_VOID_PTR_PTR. c-family/ * c-ubsan.c: Don't include hash-table.h. (ubsan_instrument_vla): New function. * c-ubsan.h: Declare it. cp/ * decl.c (cp_finish_decl): Move C++1y bounds checking... (compute_array_index_type): ...here. Add VLA instrumentation. Call stabilize_vla_size. (grokdeclarator): Don't call stabilize_vla_size here. c/ * c-decl.c (grokdeclarator): Add VLA instrumentation. testsuite/ * g++.dg/ubsan/cxx1y-vla.C: New test. * c-c++-common/ubsan/vla-3.c: New test. * c-c++-common/ubsan/vla-2.c: New test. * c-c++-common/ubsan/vla-4.c: New test. * c-c++-common/ubsan/vla-1.c: New test. From-SVN: r204334
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
attrib-1.c | Loading commit data... | |
const-char-1.c | Loading commit data... | |
const-expr-1.c | Loading commit data... | |
div-by-zero-1.c | Loading commit data... | |
div-by-zero-2.c | Loading commit data... | |
div-by-zero-3.c | Loading commit data... | |
div-by-zero-4.c | Loading commit data... | |
div-by-zero-5.c | Loading commit data... | |
pr58443-1.c | Loading commit data... | |
pr58443-2.c | Loading commit data... | |
pr58443-3.c | Loading commit data... | |
save-expr-1.c | Loading commit data... | |
save-expr-2.c | Loading commit data... | |
save-expr-3.c | Loading commit data... | |
save-expr-4.c | Loading commit data... | |
shift-1.c | Loading commit data... | |
shift-2.c | Loading commit data... | |
shift-3.c | Loading commit data... | |
shift-4.c | Loading commit data... | |
shift-5.c | Loading commit data... | |
shift-6.c | Loading commit data... | |
typedef-1.c | Loading commit data... | |
unreachable-1.c | Loading commit data... | |
vla-1.c | Loading commit data... | |
vla-2.c | Loading commit data... | |
vla-3.c | Loading commit data... | |
vla-4.c | Loading commit data... |