More refactoring of tree-vrp.c.
authorAldy Hernandez <aldyh@redhat.com>
Sat, 16 May 2020 18:56:19 +0000 (20:56 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Sun, 17 May 2020 09:14:39 +0000 (11:14 +0200)
commitf119b4e6319031e72d02f6b1c7088cb3b7710e2d
tree24e6cc17281830a1770659f49f9b999b6b3969f6
parent65d44272bd988f695a9b5fa7e1b88c266c3089cb
More refactoring of tree-vrp.c.

New class live_names to maintain the set of SSA names live.

Fix whitespace in vrp_insert.

Move a few more methods related to ASSERT_EXPR insertion into vrp_insert.
gcc/ChangeLog
gcc/tree-vrp.c