Member predicate ArraySizing::CheckableArrayAccess::canThrowOutOfBoundsDueToEmptyArray

Holds if we believe this indexing expression can throw an ArrayIndexOutOfBoundsException due to the array being initialized with sizeExpr, which may be zero.

predicate canThrowOutOfBoundsDueToEmptyArray(Expr sizeExpr, ArrayCreationExpr arrayCreation)