analyzer: add sarif properties for bounds checking diagnostics

analyzer: add sarif properties for bounds checking diagnostics

As a followup to r14-6057-g12b67d1e13b3cf, add SARIF property bags
for -Wanalyzer-out-of-bounds, to help with debugging these warnings.
This was very helpful with PR analyzer/112792.

gcc/analyzer/ChangeLog:
	* analyzer.cc: Include "tree-pretty-print.h" and
	"diagnostic-event-id.h".
	(tree_to_json): New.
	(diagnostic_event_id_to_json): New.
	(bit_offset_to_json): New.
	(byte_offset_to_json): New.
	* analyzer.h (tree_to_json): New decl.
	(diagnostic_event_id_to_json): New decl.
	(bit_offset_to_json): New decl.
	(byte_offset_to_json): New decl.
	* bounds-checking.cc: Include "diagnostic-format-sarif.h".
	(out_of_bounds::maybe_add_sarif_properties): New.
	(concrete_out_of_bounds::maybe_add_sarif_properties): New.
	(concrete_past_the_end::maybe_add_sarif_properties): New.
	(symbolic_past_the_end::maybe_add_sarif_properties): New.
	* region-model.cc (region_to_value_map::to_json): New.
	(region_model::to_json): New.
	* region-model.h (region_to_value_map::to_json): New decl.
	(region_model::to_json): New decl.
	* store.cc (bit_range::to_json): New.
	(byte_range::to_json): New.
	* store.h (bit_range::to_json): New decl.
	(byte_range::to_json): New decl.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>