Checked additonal type requirements on expressions with count bounds expressions #41
Description
This issue was copied from checkedc/checkedc-clang#41
An expression with a count bounds expressions must have a pointer type. The type cannot be a pointer to void.