4 Jul
2025
4 Jul
'25
1:52 p.m.
On Fri Jul 4 13:29:55 2025 +0000, Hans Leidekker wrote:
The attributes exist but they are only used with types in IDL, not attributes. It seems cleaner to me to follow that principle in our code. I'm also not sure how it would be better to fix things in make_exprt().
I think it is better to use attributes which have the proper semantics already and keep them in the attributes of a declspec/var attributes where all attributes are (even though these attributes are normally restricted to types when used in the IDL), rather than integral values arbitrarily inserted in the expression tree which is probably already abused a bit too much.