Fix typing of array expressions within an C ternary ? : operator#9012

rod-chapman wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

rod-chapman:array_ite_fixrod-chapman/cbmc:array_ite_fixCopy head branch name to clipboard