ignore size of arrays on ptr-to-array conversions#2243

Merged

kroening merged 1 commit intodevelopfrom

no-warning-ptr-array

Jun 20, 2018

Commits on Jun 19, 2018

ignore size of arrays on ptr-to-array conversions
Daniel Kroening
committed