projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| ef7827b0 DM |
1 | 2020-01-14 David Malcolm <dmalcolm@redhat.com> |
| 2 | ||
| 3 | * analyzer.h (fndecl_has_gimple_body_p): New decl. | |
| 4 | * engine.cc (impl_region_model_context::on_unknown_change): New | |
| 5 | function. | |
| 6 | (fndecl_has_gimple_body_p): Make non-static. | |
| 7 | (exploded_node::on_stmt): Treat __analyzer_dump_exploded_nodes as | |
| 8 | known. Track whether we have a call with unknown side-effects and | |
| 9 | pass it to on_call_post. | |
| 10 | * exploded-graph.h (impl_region_model_context::on_unknown_change): | |
| 11 | New decl. | |
| 12 | * program-state.cc (sm_state_map::on_unknown_change): New function. | |
| 13 | * program-state.h (sm_state_map::on_unknown_change): New decl. | |
| 14 | * region-model.cc: Include "bitmap.h". | |
| 15 | (region_model::on_call_pre): Return a bool, capturing whether the | |
| 16 | call has unknown side effects. | |
| 17 | (region_model::on_call_post): Add arg "bool unknown_side_effects" | |
| 18 | and if true, call handle_unrecognized_call. | |
| 19 | (class reachable_regions): New class. | |
| 20 | (region_model::handle_unrecognized_call): New function. | |
| 21 | * region-model.h (region_model::on_call_pre): Return a bool. | |
| 22 | (region_model::on_call_post): Add arg "bool unknown_side_effects". | |
| 23 | (region_model::handle_unrecognized_call): New decl. | |
| 24 | (region_model_context::on_unknown_change): New vfunc. | |
| 25 | (test_region_model_context::on_unknown_change): New function. | |
| 26 | ||
| 14f9d7b9 DM |
27 | 2020-01-14 David Malcolm <dmalcolm@redhat.com> |
| 28 | ||
| 29 | * diagnostic-manager.cc (saved_diagnostic::operator==): Move here | |
| 30 | from header. Replace pointer equality test on m_var with call to | |
| 31 | pending_diagnostic::same_tree_p. | |
| 32 | * diagnostic-manager.h (saved_diagnostic::operator==): Move to | |
| 33 | diagnostic-manager.cc. | |
| 34 | * pending-diagnostic.cc (pending_diagnostic::same_tree_p): New. | |
| 35 | * pending-diagnostic.h (pending_diagnostic::same_tree_p): New. | |
| 36 | * sm-file.cc (file_diagnostic::subclass_equal_p): Replace pointer | |
| 37 | equality on m_arg with call to pending_diagnostic::same_tree_p. | |
| 38 | * sm-malloc.cc (malloc_diagnostic::subclass_equal_p): Likewise. | |
| 39 | (possible_null_arg::subclass_equal_p): Likewise. | |
| 40 | (null_arg::subclass_equal_p): Likewise. | |
| 41 | (free_of_non_heap::subclass_equal_p): Likewise. | |
| 42 | * sm-pattern-test.cc (pattern_match::operator==): Likewise. | |
| 43 | * sm-sensitive.cc (exposure_through_output_file::operator==): | |
| 44 | Likewise. | |
| 45 | * sm-taint.cc (tainted_array_index::operator==): Likewise. | |
| 46 | ||
| f474fbd5 DM |
47 | 2020-01-14 David Malcolm <dmalcolm@redhat.com> |
| 48 | ||
| 49 | * diagnostic-manager.cc (dedupe_winners::add): Add logging | |
| 50 | of deduplication decisions made. | |
| 51 | ||
| 757bf1df DM |
52 | 2020-01-14 David Malcolm <dmalcolm@redhat.com> |
| 53 | ||
| 54 | * ChangeLog: New file. | |
| 55 | * analyzer-selftests.cc: New file. | |
| 56 | * analyzer-selftests.h: New file. | |
| 57 | * analyzer.opt: New file. | |
| 58 | * analysis-plan.cc: New file. | |
| 59 | * analysis-plan.h: New file. | |
| 60 | * analyzer-logging.cc: New file. | |
| 61 | * analyzer-logging.h: New file. | |
| 62 | * analyzer-pass.cc: New file. | |
| 63 | * analyzer.cc: New file. | |
| 64 | * analyzer.h: New file. | |
| 65 | * call-string.cc: New file. | |
| 66 | * call-string.h: New file. | |
| 67 | * checker-path.cc: New file. | |
| 68 | * checker-path.h: New file. | |
| 69 | * constraint-manager.cc: New file. | |
| 70 | * constraint-manager.h: New file. | |
| 71 | * diagnostic-manager.cc: New file. | |
| 72 | * diagnostic-manager.h: New file. | |
| 73 | * engine.cc: New file. | |
| 74 | * engine.h: New file. | |
| 75 | * exploded-graph.h: New file. | |
| 76 | * pending-diagnostic.cc: New file. | |
| 77 | * pending-diagnostic.h: New file. | |
| 78 | * program-point.cc: New file. | |
| 79 | * program-point.h: New file. | |
| 80 | * program-state.cc: New file. | |
| 81 | * program-state.h: New file. | |
| 82 | * region-model.cc: New file. | |
| 83 | * region-model.h: New file. | |
| 84 | * sm-file.cc: New file. | |
| 85 | * sm-malloc.cc: New file. | |
| 86 | * sm-malloc.dot: New file. | |
| 87 | * sm-pattern-test.cc: New file. | |
| 88 | * sm-sensitive.cc: New file. | |
| 89 | * sm-signal.cc: New file. | |
| 90 | * sm-taint.cc: New file. | |
| 91 | * sm.cc: New file. | |
| 92 | * sm.h: New file. | |
| 93 | * state-purge.cc: New file. | |
| 94 | * state-purge.h: New file. | |
| 95 | * supergraph.cc: New file. | |
| 96 | * supergraph.h: New file. | |
| 97 | ||
| 98 | 2019-12-13 David Malcolm <dmalcolm@redhat.com> | |
| 99 | ||
| 100 | * Initial creation | |
| 101 | ||
| 102 | \f | |
| 103 | Copyright (C) 2019-2020 Free Software Foundation, Inc. | |
| 104 | ||
| 105 | Copying and distribution of this file, with or without modification, | |
| 106 | are permitted in any medium without royalty provided the copyright | |
| 107 | notice and this notice are preserved. |