4 Jul
2025
4 Jul
'25
2:28 p.m.
On Fri Jul 4 14:20:44 2025 +0000, Hans Leidekker wrote:
Where do you propose to store the attributes in make_exprt()?
Well we could keep a pointer to the var instead of a pointer to the type in these expressions, keeping access to the variable attributes.