Memory predicate tests and one-argument form [depends-on: #2644]#2706

Closed

qaphla wants to merge 5 commits intodiffblue:developfrom

qaphla:memory-predicate

Commits on Jul 30, 2018

Moves is_lvalue to expr_util.c
klaas
committed

Commits on Jul 31, 2018

Avoids using expr.op0 when type is known
klaas
committed
Adds --expand-pointer-predicates to goto-instrument
klaas
committed

Commits on Aug 3, 2018

Adds a one-argument points_to_valid_memory
klaas
committed
Adds tests for --expand-pointer-predicates
klaas
committed