njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.
MIT License
0 stars 5 forks source link

The scope of primitive arrays is not guaranteed to be a NameExpr #295

Closed kelloggm closed 1 month ago

kelloggm commented 1 month ago

Fixes a set of crashes observed by @jonathan-m-phillips on Randoop of the following form:

Exception: java.lang.IllegalStateException,
Message: this.cumulativeSize is not NameExpr, it is FieldAccessExpr\,
Example: com.github.javaparser.ast.expr.Expression.asNameExpr(Expression.java:332)\