Fixes to pointer handling in goto_rw [depends-on: #2646]#748

Closed

tautschnig wants to merge 3 commits intodiffblue:developfrom

tautschnig:dep-graph-revert

Commits on Feb 27, 2018

Test actually works fine, no bug known here
tautschnig
committed
Revert "Fixed some array and pointer reads\writes not appearing"
tautschnig
committed
goto_rw: treat dereference failure as a read/write of __CPROVER_memory
tautschnig
committed