https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105948
--- Comment #3 from Benjamin Priour ---
I believe the above patch resolves this PR.
I'm letting it sip in trunk for a few days before marking it as solved.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111266
Bug ID: 111266
Summary: Missing -Wanalyzer-out-of-bounds for concrete offset
overwrite.
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110543
Benjamin Priour changed:
What|Removed |Added
Resolution|--- |FIXED
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110907
Bug ID: 110907
Summary: ICE when using -fanalyzer-verbose-state-changes
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110830
Bug ID: 110830
Summary: -Wanalyzer-use-of-uninitialized-value false negative
due to use-after-free::supercedes_p.
Product: gcc
Version: 14.0
Status: UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109365
--- Comment #6 from Benjamin Priour ---
(In reply to David Malcolm from comment #5)
> (In reply to Benjamin Priour from comment #4)
> > (In reply to Benjamin Priour from comment #3)
>
> Here's a link to the reproducer:
> https://godbolt.org/z
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109432
Bug 109432 depends on bug 109439, which changed state.
Bug 109439 Summary: RFE: Spurious -Wanalyzer-use-of-uninitialized-value tagging
along -Wanalyzer-out-of-bounds
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109439
What|Remove
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109439
Benjamin Priour changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109365
Benjamin Priour changed:
What|Removed |Added
Assignee|dmalcolm at gcc dot gnu.org|vultkayn at gcc dot
gnu.org
-
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110578
Bug ID: 110578
Summary: Support dynamic_cast within the analyzer
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyze
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109365
Benjamin Priour changed:
What|Removed |Added
CC||vultkayn at gcc dot gnu.org
--- Comme
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110543
Bug ID: 110543
Summary: RFE: Add optional trim of the analyzer diagnostics
through system headers.
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105948
--- Comment #1 from Benjamin Priour ---
I'm writing a patch for this, and I've got support for non symbolic bounds.
However, as I wrote my patch, a missing warning came up.
Consider the test case:
---
void var_too_short ()
{
short s;
long
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110198
Benjamin Priour changed:
What|Removed |Added
Resolution|--- |FIXED
Status|NEW
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94355
--- Comment #15 from Benjamin Priour ---
(In reply to Jonathan Wakely from comment #14)
> [...snip...]
>
> See the -fcheck-new option:
>
> Check that the pointer returned by "operator new" is non-null before
> attempting to modify the storage
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110198
--- Comment #2 from Benjamin Priour ---
Yes sorry for the regression. I confirmed it myself too on x86_64-linux-gnu.
I wrote a fix immediately yesterday, and I am currently regtesting it.
It is promising as I quickly ran the test only for the a
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106392
--- Comment #3 from Benjamin Priour ---
> I think the unordered containers might be too hard. I would start with
> std::vector, as that will probably give the best return on investment of
> effort.
>
Indeed, I just found these slides from cla
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106390
--- Comment #5 from Benjamin Priour ---
> I agree that this would be a problem, but instead of implying that we need
> two attributes, I think this implies that we should not try to use
> [[gsl::owner]] for shared ownership. If you don't try to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106392
Benjamin Priour changed:
What|Removed |Added
CC||vultkayn at gcc dot gnu.org
--- Comme
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106390
Benjamin Priour changed:
What|Removed |Added
CC||vultkayn at gcc dot gnu.org
--- Comme
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109432
Bug 109432 depends on bug 109437, which changed state.
Bug 109437 Summary: -Wanalyzer-out-of-bounds is emitted at most once per frame.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109437
What|Removed |Added
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109437
Benjamin Priour changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109439
--- Comment #1 from Benjamin Priour ---
*** Bug 109437 has been marked as a duplicate of this bug. ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109437
Benjamin Priour changed:
What|Removed |Added
CC||vultkayn at gcc dot gnu.org
--- Comme
24 matches
Mail list logo
