search

xr0-org / xr0

The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
173 stars 4 forks source link

Eliminate EXPR_ACCESS #5

Closed claude-betz closed 7 months ago

claude-betz commented 8 months ago

Expressions of the form x[y] are currently not treated as indirections like

*(x+y)

but instead have a unique expression type EXPR_ACCESS.