Maybe the canonical form for "char *foo, bar[10]; foo = bar;"
should be
<modify_expr <var_decl foo> <nop_expr type <char *> <var_decl bar>>
instead of using addr_expr?
Well, the address is being taken, so I'd like to see ADDR_EXPR
someplace there. For aliasing concerns, among others.