https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116736
--- Comment #2 from qinzhao at gcc dot gnu.org --- currently, the "counted_by" info is used in __builtin_dynamic_object_size and bounds sanitizer. and expected to catch out-of-bounds access during runtime. So, this is the expected behavior.
