diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-23 00:16:34 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-23 00:16:34 +0000 |
| commit | 2f5765cf25115fc8306806a913d90bed6edb420b (patch) | |
| tree | a02c5a325dce7aa1c1374dbd4549133ccbb3379d /gcc/analyzer | |
| parent | 5ee4ba031dd9fc60bf2494ca30f46c0acaa34805 (diff) | |
| download | gcc-2f5765cf25115fc8306806a913d90bed6edb420b.zip gcc-2f5765cf25115fc8306806a913d90bed6edb420b.tar.gz gcc-2f5765cf25115fc8306806a913d90bed6edb420b.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index de03487..23486ac 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,17 @@ +2021-02-22 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/99196 + * engine.cc (exploded_node::on_stmt): Provide terminate_path + flag as a way for on_call_pre to terminate the current analysis + path. + * region-model-impl-calls.cc (call_details::num_args): New. + (region_model::impl_call_error): New. + * region-model.cc (region_model::on_call_pre): Add param + "out_terminate_path". Handle "error" and "error_at_line". + * region-model.h (call_details::num_args): New decl. + (region_model::on_call_pre): Add param "out_terminate_path". + (region_model::impl_call_error): New decl. + 2021-02-17 David Malcolm <dmalcolm@redhat.com> PR analyzer/98969 |