public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/12277] Warn on dynamic casts with known NULL results.
[not found] <bug-12277-4@http.gcc.gnu.org/bugzilla/>
@ 2013-11-07 10:26 ` paolo.carlini at oracle dot com
2014-11-27 21:21 ` gcc at dixie dot net.nz
` (4 subsequent siblings)
5 siblings, 0 replies; 6+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-11-07 10:26 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12277
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |NEW
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/12277] Warn on dynamic casts with known NULL results.
[not found] <bug-12277-4@http.gcc.gnu.org/bugzilla/>
2013-11-07 10:26 ` [Bug c++/12277] Warn on dynamic casts with known NULL results paolo.carlini at oracle dot com
@ 2014-11-27 21:21 ` gcc at dixie dot net.nz
2014-11-27 21:23 ` gcc at dixie dot net.nz
` (3 subsequent siblings)
5 siblings, 0 replies; 6+ messages in thread
From: gcc at dixie dot net.nz @ 2014-11-27 21:21 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12277
Andrew Dixie <gcc at dixie dot net.nz> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gcc at dixie dot net.nz
--- Comment #7 from Andrew Dixie <gcc at dixie dot net.nz> ---
With final, I believe the following dynamic_cast must always return NULL:
struct a1 { virtual ~a1() {} };
struct a2 final { virtual ~a2() {} };
bool test(a1 *x)
{
return dynamic_cast<a2 *>(x) != 0;
}
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/12277] Warn on dynamic casts with known NULL results.
[not found] <bug-12277-4@http.gcc.gnu.org/bugzilla/>
2013-11-07 10:26 ` [Bug c++/12277] Warn on dynamic casts with known NULL results paolo.carlini at oracle dot com
2014-11-27 21:21 ` gcc at dixie dot net.nz
@ 2014-11-27 21:23 ` gcc at dixie dot net.nz
2014-11-28 8:44 ` ville.voutilainen at gmail dot com
` (2 subsequent siblings)
5 siblings, 0 replies; 6+ messages in thread
From: gcc at dixie dot net.nz @ 2014-11-27 21:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12277
--- Comment #8 from Andrew Dixie <gcc at dixie dot net.nz> ---
Created attachment 34130
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34130&action=edit
dynamic_cast warning
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/12277] Warn on dynamic casts with known NULL results.
[not found] <bug-12277-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2014-11-27 21:23 ` gcc at dixie dot net.nz
@ 2014-11-28 8:44 ` ville.voutilainen at gmail dot com
2021-02-11 23:28 ` [Bug c++/12277] eliminate and warn " msebor at gcc dot gnu.org
2021-10-01 10:22 ` egallager at gcc dot gnu.org
5 siblings, 0 replies; 6+ messages in thread
From: ville.voutilainen at gmail dot com @ 2014-11-28 8:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12277
Ville Voutilainen <ville.voutilainen at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ville.voutilainen at gmail dot com
--- Comment #9 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
(In reply to Andrew Dixie from comment #7)
> With final, I believe the following dynamic_cast must always return NULL:
>
> struct a1 { virtual ~a1() {} };
> struct a2 final { virtual ~a2() {} };
>
> bool test(a1 *x)
> {
> return dynamic_cast<a2 *>(x) != 0;
> }
If a1 is final, sure. Whether a2 is final is irrelevant.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/12277] eliminate and warn on dynamic casts with known NULL results
[not found] <bug-12277-4@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2014-11-28 8:44 ` ville.voutilainen at gmail dot com
@ 2021-02-11 23:28 ` msebor at gcc dot gnu.org
2021-10-01 10:22 ` egallager at gcc dot gnu.org
5 siblings, 0 replies; 6+ messages in thread
From: msebor at gcc dot gnu.org @ 2021-02-11 23:28 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12277
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2017-01-11 00:00:00 |2021-2-11
Known to fail|7.0 |11.0, 7.5.0
--- Comment #11 from Martin Sebor <msebor at gcc dot gnu.org> ---
No improvement in GCC 11.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/12277] eliminate and warn on dynamic casts with known NULL results
[not found] <bug-12277-4@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2021-02-11 23:28 ` [Bug c++/12277] eliminate and warn " msebor at gcc dot gnu.org
@ 2021-10-01 10:22 ` egallager at gcc dot gnu.org
5 siblings, 0 replies; 6+ messages in thread
From: egallager at gcc dot gnu.org @ 2021-10-01 10:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12277
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |egallager at gcc dot gnu.org
--- Comment #12 from Eric Gallager <egallager at gcc dot gnu.org> ---
Would this warning go under an existing flag, or a new one?
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-10-01 10:22 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-12277-4@http.gcc.gnu.org/bugzilla/>
2013-11-07 10:26 ` [Bug c++/12277] Warn on dynamic casts with known NULL results paolo.carlini at oracle dot com
2014-11-27 21:21 ` gcc at dixie dot net.nz
2014-11-27 21:23 ` gcc at dixie dot net.nz
2014-11-28 8:44 ` ville.voutilainen at gmail dot com
2021-02-11 23:28 ` [Bug c++/12277] eliminate and warn " msebor at gcc dot gnu.org
2021-10-01 10:22 ` egallager 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).