From 3e3d115c946944c81d8231dfbe778d4dae26cbb7 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sat, 4 May 2024 00:16:30 +0000 Subject: Daily bump. --- gcc/analyzer/ChangeLog | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) (limited to 'gcc/analyzer') diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 113dd8ade45..5d00e5044aa 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,34 @@ +2024-05-03 David Malcolm + + PR analyzer/111475 + * analyzer.cc (is_special_named_call_p): Add "look_in_std" param. + (is_std_function_p): Make non-static. + * analyzer.h (is_special_named_call_p): Add optional "look_in_std" + param. + (is_std_function_p): New decl. + * engine.cc (stmt_requires_new_enode_p): Look for both "signal" + and "std::signal". + * kf.cc (register_known_functions): Add various "std::" copies + of the known functions. + * known-function-manager.cc + (known_function_manager::~known_function_manager): Clean up + m_std_ns_map_id_to_kf. + (known_function_manager::add_std_ns): New. + (known_function_manager::get_match): Also look for known "std::" + functions. + (known_function_manager::get_by_identifier_in_std_ns): New. + * known-function-manager.h + (known_function_manager::add_std_ns): New decl. + (known_function_manager::get_by_identifier_in_std_ns): New decl. + (known_function_manager::m_std_ns_map_id_to_kf): New field. + * sm-file.cc (register_known_file_functions): Add various "std::" + copies of the known functions. + * sm-malloc.cc (malloc_state_machine::on_stmt): Handle + "std::realloc". + * sm-signal.cc (signal_unsafe_p): Consider "std::" copies of the + functions as also being async-signal-unsafe. + (signal_state_machine::on_stmt): Consider "std::signal". + 2024-04-12 Stefan Schulze Frielinghaus * region-model.cc (region_model::check_region_size): Bail out -- cgit v1.2.3