be6c485b24
gcc/analyzer/ChangeLog: PR analyzer/97074 * store.cc (binding_cluster::can_merge_p): Add "out_store" param and pass to calls to binding_cluster::make_unknown_relative_to. (binding_cluster::make_unknown_relative_to): Add "out_store" param. Use it to mark base regions that are pointed to by pointers that become unknown as having escaped. (store::can_merge_p): Pass out_store to binding_cluster::can_merge_p. * store.h (binding_cluster::can_merge_p): Add "out_store" param. (binding_cluster::make_unknown_relative_to): Likewise. * svalue.cc (region_svalue::implicitly_live_p): New vfunc. * svalue.h (region_svalue::implicitly_live_p): New vfunc decl. gcc/testsuite/ChangeLog: PR analyzer/97074 * gcc.dg/analyzer/pr97074.c: New test. |
||
|---|---|---|
| .. | ||
| analysis-plan.cc | ||
| analysis-plan.h | ||
| analyzer-logging.cc | ||
| analyzer-logging.h | ||
| analyzer-pass.cc | ||
| analyzer-selftests.cc | ||
| analyzer-selftests.h | ||
| analyzer.cc | ||
| analyzer.h | ||
| analyzer.opt | ||
| bar-chart.cc | ||
| bar-chart.h | ||
| call-string.cc | ||
| call-string.h | ||
| ChangeLog | ||
| checker-path.cc | ||
| checker-path.h | ||
| complexity.cc | ||
| complexity.h | ||
| constraint-manager.cc | ||
| constraint-manager.h | ||
| diagnostic-manager.cc | ||
| diagnostic-manager.h | ||
| engine.cc | ||
| engine.h | ||
| exploded-graph.h | ||
| function-set.cc | ||
| function-set.h | ||
| pending-diagnostic.cc | ||
| pending-diagnostic.h | ||
| program-point.cc | ||
| program-point.h | ||
| program-state.cc | ||
| program-state.h | ||
| reachability.h | ||
| region-model-impl-calls.cc | ||
| region-model-manager.cc | ||
| region-model-reachability.cc | ||
| region-model-reachability.h | ||
| region-model.cc | ||
| region-model.h | ||
| region.cc | ||
| region.h | ||
| sm-file.cc | ||
| sm-malloc.cc | ||
| sm-malloc.dot | ||
| sm-pattern-test.cc | ||
| sm-sensitive.cc | ||
| sm-signal.cc | ||
| sm-taint.cc | ||
| sm.cc | ||
| sm.h | ||
| state-purge.cc | ||
| state-purge.h | ||
| store.cc | ||
| store.h | ||
| supergraph.cc | ||
| supergraph.h | ||
| svalue.cc | ||
| svalue.h | ||