commit 8015a72ae496401e05942f4d33c94aa45174f841
author David Malcolm <dmalcolm@redhat.com> Wed Mar 12 20:51:06 2025 -0400
committer David Malcolm <dmalcolm@redhat.com> Wed Mar 12 20:51:06 2025 -0400
tree 8ffda062c88d51163e69e43f1d42fd46215c1ff1
parent 03855565ae8fb8a256139b353ef14e7b9f7df6b8

analyzer: support RAW_DATA_CST [PR117262]

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>