Re: [PATCH] Minor changes in tree-vrp.c

2016-07-25 Thread Richard Biener
On Sat, Jul 23, 2016 at 2:40 PM, Patrick Palka wrote: > 1. When dumping assert details, print loc->expr instead of the bare SSA > name. loc->expr is not always equal to the SSA name. For example we > sometimes insert an ASSERT_EXPR like > > x_7 = ASSERT_EXPR 8>; > > The diff of the new dump o

[PATCH] Minor changes in tree-vrp.c

2016-07-23 Thread Patrick Palka
1. When dumping assert details, print loc->expr instead of the bare SSA name. loc->expr is not always equal to the SSA name. For example we sometimes insert an ASSERT_EXPR like x_7 = ASSERT_EXPR 8>; The diff of the new dump output looks like: Assertions to be inserted for x_4(D) if