public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/111567] New: RFE: support counted_by in analyzer
@ 2023-09-24 9:14 dmalcolm at gcc dot gnu.org
2023-09-24 9:27 ` [Bug analyzer/111567] RFE: support __attribute__((counted_by)) in -fanalyzer dmalcolm at gcc dot gnu.org
2024-05-31 17:50 ` qinzhao at gcc dot gnu.org
0 siblings, 2 replies; 3+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2023-09-24 9:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111567
Bug ID: 111567
Summary: RFE: support counted_by in analyzer
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug analyzer/111567] RFE: support __attribute__((counted_by)) in -fanalyzer
2023-09-24 9:14 [Bug analyzer/111567] New: RFE: support counted_by in analyzer dmalcolm at gcc dot gnu.org
@ 2023-09-24 9:27 ` dmalcolm at gcc dot gnu.org
2024-05-31 17:50 ` qinzhao at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2023-09-24 9:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111567
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
This PR tracks adding support for the attribute to -fanalyzer (which I can take
a look at).
Adding the attribute itself is tracked by PR 108896.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug analyzer/111567] RFE: support __attribute__((counted_by)) in -fanalyzer
2023-09-24 9:14 [Bug analyzer/111567] New: RFE: support counted_by in analyzer dmalcolm at gcc dot gnu.org
2023-09-24 9:27 ` [Bug analyzer/111567] RFE: support __attribute__((counted_by)) in -fanalyzer dmalcolm at gcc dot gnu.org
@ 2024-05-31 17:50 ` qinzhao at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: qinzhao at gcc dot gnu.org @ 2024-05-31 17:50 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111567
Bug 111567 depends on bug 108896, which changed state.
Bug 108896 Summary: provide "element_count" attribute to give more context to __builtin_dynamic_object_size() and -fsanitize=bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108896
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |FIXED
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-05-31 17:50 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-24 9:14 [Bug analyzer/111567] New: RFE: support counted_by in analyzer dmalcolm at gcc dot gnu.org
2023-09-24 9:27 ` [Bug analyzer/111567] RFE: support __attribute__((counted_by)) in -fanalyzer dmalcolm at gcc dot gnu.org
2024-05-31 17:50 ` qinzhao at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).