On Thu, May 01, 2025 at 10:08:16PM +0200, Thorsten Blum wrote: > On 1. May 2025, at 22:01, Alan Huang wrote: > > + /* > > + * x_name contains the name and value counted by > > + * x_name_len + x_val_len. The introduction of > > + * __counted_by(x_name_len) caused a false positive > > + * detection of an out of bounds write. > > + */ > > Instead of removing it, would __counted_by(x_name_len + x_val_len) work?
Not yet, but once __counted_by_expr() has landed in GCC and Clang, yes it will. :) -- Kees Cook
