projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a9af27) | patch
analyzer: more non-determinism fixes
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 29 Oct 2020 00:11:41 +0000 (20:11 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 29 Oct 2020 00:11:41 +0000 (20:11 -0400)
commitf635f0ce87d687b177b734968f18226d50499e75
treee2a8c0ac9ef26b31b88ae552953704a1e66cd3d2tree
parent1a9af271275f4893e28c789c8f1964025694eda1commit | 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.
gcc/analyzer/program-state.cc diff | blob | history
gcc/analyzer/region-model-reachability.cc diff | blob | history