Base-type-eq: check pointer types really match [blocks: #4023]#4020

Closed

smowton wants to merge 3 commits intodiffblue:developfrom

smowton:smowton/feature/stronger-base-type-eq

Commits on Feb 1, 2019

Base-type-eq: check pointer types really match
smowton
committed
Java frontend: get qualified generic types of static fields
smowton
committed
Symex-dereference: compare subtypes rather than making a pointer type just to compare
smowton
committed