analyzer: simplify store::eval_alias
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 21 Aug 2020 22:55:11 +0000 (18:55 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Sat, 22 Aug 2020 15:05:02 +0000 (11:05 -0400)
commitc199723d7ed0032db095abc75b82a9710eaa5e56
tree7585151b0b18e450f2797adb7e124d6709f64a24
parent294b6da21bbd8297fe6aee497ac6c8e561637e70
analyzer: simplify store::eval_alias

I have followup patches that add new conditions to store::eval_alias.
Rather than duplicate all conditions for symmetry, split it up and
call it on both (A, B) and (B, A).

gcc/analyzer/ChangeLog:
* store.cc (store::eval_alias): Make const.  Split out 2nd half
into store::eval_alias_1 and call it twice for symmetry, avoiding
test duplication.
(store::eval_alias_1): New function, split out from the above.
* store.h (store::eval_alias): Make const.
(store::eval_alias_1): New decl.
gcc/analyzer/store.cc
gcc/analyzer/store.h