avoid non-termination of simplify_exprt::simplify_byte_extract(array_of(...))#2497

Merged

kroening merged 1 commit intodevelopfrom

simplify_byte_extract_fix

Jul 24, 2018

Commits on Jul 4, 2018

avoid non-termination of simplify_exprt::simplify_byte_extract when given array_of
Daniel Kroening
committed