This is not related to the bug but you may prefer this way of pretty printing your messages. They become related to your plugin.
method vexpr expr =
Self.warning ~current:true "exp = %a" Cil.d_exp expr;
Cil.DoChildren