diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-10-28 20:11:41 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-10-28 20:11:41 -0400 |
| commit | f635f0ce87d687b177b734968f18226d50499e75 (patch) | |
| tree | e2a8c0ac9ef26b31b88ae552953704a1e66cd3d2 /libgo | |
| parent | 1a9af271275f4893e28c789c8f1964025694eda1 (diff) | |
analyzer: more non-determinism fixes
gcc/analyzer/ChangeLog:
* program-state.cc (sm_state_map::on_liveness_change): Sort the
leaking svalues before calling on_state_leak.
(program_state::detect_leaks): Likewise when calling
on_svalue_leak.
* region-model-reachability.cc
(reachable_regions::mark_escaped_clusters): Likewise when
calling on_escaped_function.
Diffstat (limited to 'libgo')
0 files changed, 0 insertions, 0 deletions