On Thu, Nov 09, 2023 at 03:49:49PM +0000, Qing Zhao wrote: > Is it reasonable to add one option to disable the “counted_by” attribute? > (then no insertion of the new .ACCESS_WITH_SIZE into IL). > > The major reason is: some users might want to ignore all the “counted_by” > attribute added in the source code, > We need to provide them a way to disable this feature.
-D'counted_by(x)='
and/or
-D'__counted_by__(x)='
?
Jakub
