Add support for void* pointers in goto-harness#5290

Merged

thk123 merged 11 commits intodiffblue:developfrom

thk123:goto-harness-void-star-pointers

Apr 9, 2020

Commits on Apr 8, 2020

Add test for intializing a void* pointer
Thomas Kiley
committed
Add missing includes to tests
Thomas Kiley
committed
Special case handling for void* pointers
Thomas Kiley
committed
Adapt comment to more accurately reflect generated code
Thomas Kiley
committed
Combine code for assigning null pointer
Thomas Kiley
committed

Commits on Apr 9, 2020

Add a test for array of void* pointers
Thomas Kiley
committed
Add tests for when pointer parameters have special semantics
Thomas Kiley
committed
Ensure void* pointers instructed to be arrays are null-initalized
Thomas Kiley
committed
Add a test for an array we can initalize
Thomas Kiley
committed
Consolidate check for void* pointer initilization
Thomas Kiley
committed
Change assert false assertions
Thomas Kiley
committed