Finished applying fixes for jbmc for assignment consistency#3822

Merged

tautschnig merged 12 commits intodiffblue:developfrom

thk123:assignment-consistency

Jan 23, 2019

Commits on Jan 23, 2019

expr_initializert: fix type of enum constants

Daniel Kroening
authored and
thk123
committed
symex: check type consistency of assignments

Daniel Kroening
authored and
thk123
committed
Ensure member_exprt's type matches the addressed component

smowton
authored and
thk123
committed
Java method converter: don't hold a symbol table reference across table add operations

smowton
authored and
thk123
committed
Java method converter: ensure type consistency of generated function calls

smowton
authored and
thk123
committed
Java pointer casts: ensure type consistency, even when casting to a base type

smowton
authored and
thk123
committed
Remove virtual functions: cast argument types as necessary

smowton
authored and
thk123
committed
Allocate objects: cast when pointer types differ

smowton
authored and
thk123
committed
Reduce type equality check within symex
thk123
committed
Increased description in test to make it clear what it is testing
thk123
committed
Fixing unit tests wrt new GOTO format
thk123
committed
Resolve issue with return type being erased
thk123
committed