Do not use base_type_eq with non-code types [blocks: #4056]#4314

Merged

tautschnig merged 6 commits intodiffblue:developfrom

tautschnig:base_type-object-types

Mar 7, 2019

Commits on Mar 6, 2019

Symex-dereference: simplify after deref

smowton
authored and
tautschnig
committed
Test to make sure generics do not result in constant propagation failure
tautschnig
committed
Do not use base_type_eq with non-code types

Daniel Kroening
authored and
tautschnig
committed
Value-set: compare against real type, not followed type

smowton
authored and
tautschnig
committed
Fix terminology now that base_type_eq is no longer used

smowton
authored and
tautschnig
committed
Remove comment that no longer applies

smowton
authored and
tautschnig
committed