diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-06-15 09:30:18 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-06-15 09:30:18 -0400 |
| commit | d726a57b993e00294891e2a05d5868c89bb75b76 (patch) | |
| tree | 6aae516c3d3becfd020e896ab35e6172cc4a2fd2 /gcc/fortran/dump-parse-tree.c | |
| parent | 954c9235297f2e63acacefd448bc5dabe039ea7c (diff) | |
| download | gcc-d726a57b993e00294891e2a05d5868c89bb75b76.zip gcc-d726a57b993e00294891e2a05d5868c89bb75b76.tar.gz gcc-d726a57b993e00294891e2a05d5868c89bb75b76.tar.bz2 | |
analyzer: add class region_to_value_map
Add a class for associating symbolic values with regions, for use
initially for recording the sizes of dynamically-allocated regions,
though this also could potentially be used for e.g. tracking strlen()
values.
gcc/analyzer/ChangeLog:
* region-model.cc (region_to_value_map::operator=): New.
(region_to_value_map::operator==): New.
(region_to_value_map::dump_to_pp): New.
(region_to_value_map::dump): New.
(region_to_value_map::can_merge_with_p): New.
* region-model.h (class region_to_value_map): New class.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/fortran/dump-parse-tree.c')
0 files changed, 0 insertions, 0 deletions