Support null-pointer without operand in interpreter#2917

Merged

mgudemann merged 4 commits intodiffblue:developfrom

mgudemann:fix/interpreter/null_pointer_no_operand

Sep 13, 2018

Commits on Sep 12, 2018

Correct input initialization in builtin function
romainbrenguier
committed
Support null-pointer without operand in interpreter
Matthias Güdemann
committed
Remove ID_address_of check for types as it can only be exprt
Matthias Güdemann
committed
Add unit test for interpreter evaluation
Matthias Güdemann
committed