mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Andrea Gussoni
4e3af009fe
Implement a DDR rewriting for folding the `x[0]` into `*x`, in order to avoid a useless verbose syntax. Due to concatenation of rewrites, we will get `&(x[0])` transformed into `x`, which is the rewriting we are aiming to.