diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-11-30 21:26:42 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-11-30 21:26:42 -0500 |
| commit | b82b361af888a112c1717b3725e836184c6bdedd (patch) | |
| tree | 40d15722cb73cb4b6a5dbb284a16867b8abc56d1 /gcc/gimple-predicate-analysis.cc | |
| parent | 45a75fd3d31265e43aa3ce7a5e851083d534b00b (diff) | |
| download | gcc-b82b361af888a112c1717b3725e836184c6bdedd.zip gcc-b82b361af888a112c1717b3725e836184c6bdedd.tar.gz gcc-b82b361af888a112c1717b3725e836184c6bdedd.tar.bz2 | |
analyzer: move bounds checking to a new bounds-checking.cc
gcc/ChangeLog:
* Makefile.in (ANALYZER_OBJS): Add analyzer/bounds-checking.o.
gcc/analyzer/ChangeLog:
* bounds-checking.cc: New file, taken from region-model.cc.
* region-model.cc (class out_of_bounds): Move to
bounds-checking.cc.
(class past_the_end): Likewise.
(class buffer_overflow): Likewise.
(class buffer_overread): Likewise.
(class buffer_underflow): Likewise.
(class buffer_underread): Likewise.
(class symbolic_past_the_end): Likewise.
(class symbolic_buffer_overflow): Likewise.
(class symbolic_buffer_overread): Likewise.
(region_model::check_symbolic_bounds): Likewise.
(maybe_get_integer_cst_tree): Likewise.
(region_model::check_region_bounds): Likewise.
* region-model.h: Add comment.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/gimple-predicate-analysis.cc')
0 files changed, 0 insertions, 0 deletions