diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-07-28 14:47:54 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-07-28 14:47:54 -0400 |
| commit | 37eb3ef48c9840475646528751b5f8ffb7eb34ce (patch) | |
| tree | 214065a8dd069d3f24e7ed4d1a2e183c07f52d9a /gcc/builtins.c | |
| parent | b5081130166a4f2e363f116e0e6b43d83422c947 (diff) | |
| download | gcc-37eb3ef48c9840475646528751b5f8ffb7eb34ce.zip gcc-37eb3ef48c9840475646528751b5f8ffb7eb34ce.tar.gz gcc-37eb3ef48c9840475646528751b5f8ffb7eb34ce.tar.bz2 | |
analyzer: play better with -fsanitize=bounds
gcc/analyzer/ChangeLog:
* region-model.cc (region_model::on_call_pre): Treat
IFN_UBSAN_BOUNDS, BUILT_IN_STACK_SAVE, and BUILT_IN_STACK_RESTORE
as no-ops, rather than handling them as unknown functions.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/torture/ubsan-1.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions