diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2025-03-12 20:51:06 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2025-03-12 20:51:06 -0400 |
| commit | 8015a72ae496401e05942f4d33c94aa45174f841 (patch) | |
| tree | 8ffda062c88d51163e69e43f1d42fd46215c1ff1 /libjava/java/nio/channels/FileLock.h | |
| parent | 03855565ae8fb8a256139b353ef14e7b9f7df6b8 (diff) | |
| download | gcc-master.zip gcc-master.tar.gz gcc-master.tar.bz2 | |
gcc/analyzer/ChangeLog:
PR analyzer/117262
* region-model-manager.cc
(region_model_manager::get_or_create_constant_svalue): Use
NULL_TREE for the types of constant_svalue for RAW_DATA_CST.
(region_model_manager::maybe_fold_sub_svalue): Generalize
STRING_CST logic to also handle RAW_DATA_CST.
(region_model_manager::maybe_get_char_from_cst): New.
(region_model_manager::maybe_get_char_from_raw_data_cst): New.
* region-model-manager.h
(region_model_manager::maybe_get_char_from_cst): New decl.
(region_model_manager::maybe_get_char_from_raw_data_cst): New decl.
* region-model.cc (region_model::get_rvalue_1): Handle
RAW_DATA_CST.
* store.cc (get_subregion_within_ctor_for_ctor_pair): New.
(binding_map::apply_ctor_pair_to_child_region): Call
get_subregion_within_ctor_for_ctor_pair so that we handle
RAW_DATA_CST.
gcc/testsuite/ChangeLog:
PR analyzer/117262
* c-c++-common/analyzer/raw-data-cst-pr117262-1.c: New test.
* c-c++-common/analyzer/raw-data-cst-pr117262-2.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libjava/java/nio/channels/FileLock.h')
0 files changed, 0 insertions, 0 deletions