public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/96543] New: null check on template pointer parameter fails @ 2020-08-09 23:00 vlad at petric dot cc 2020-08-10 10:21 ` [Bug c++/96543] " redi at gcc dot gnu.org ` (2 more replies) 0 siblings, 3 replies; 4+ messages in thread From: vlad at petric dot cc @ 2020-08-09 23:00 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96543 Bug ID: 96543 Summary: null check on template pointer parameter fails Product: gcc Version: 10.2.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: vlad at petric dot cc Target Milestone: --- static unsigned c = 0; template <unsigned* c> struct A { static void test() { if constexpr (c) ++ *c; } }; int main() { A<&c>::test(); A<nullptr>::test(); } The error is: bug.cc: In instantiation of ‘static void A<c>::test() [with unsigned int* c = (& c)]’: bug.cc:11:10: required from here bug.cc:11:5: error: the address of ‘c’ will never be NULL [-Werror=address] 11 | A<&c>::test(); The only fix is to remove the if constexpr (nothing else helps). ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/96543] null check on template pointer parameter fails 2020-08-09 23:00 [Bug c++/96543] New: null check on template pointer parameter fails vlad at petric dot cc @ 2020-08-10 10:21 ` redi at gcc dot gnu.org 2020-08-10 12:52 ` vlad at petric dot cc 2020-08-10 16:05 ` redi at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: redi at gcc dot gnu.org @ 2020-08-10 10:21 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96543 Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |diagnostic Status|UNCONFIRMED |NEW Last reconfirmed| |2020-08-10 Ever confirmed|0 |1 --- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- This is only a warning. Please use -Werror to report bugs about warnings. It's only an error because you asked GCC to make it an error. ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/96543] null check on template pointer parameter fails 2020-08-09 23:00 [Bug c++/96543] New: null check on template pointer parameter fails vlad at petric dot cc 2020-08-10 10:21 ` [Bug c++/96543] " redi at gcc dot gnu.org @ 2020-08-10 12:52 ` vlad at petric dot cc 2020-08-10 16:05 ` redi at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: vlad at petric dot cc @ 2020-08-10 12:52 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96543 --- Comment #2 from Vlad Petric <vlad at petric dot cc> --- Got it, should I refile/change this bug? ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/96543] null check on template pointer parameter fails 2020-08-09 23:00 [Bug c++/96543] New: null check on template pointer parameter fails vlad at petric dot cc 2020-08-10 10:21 ` [Bug c++/96543] " redi at gcc dot gnu.org 2020-08-10 12:52 ` vlad at petric dot cc @ 2020-08-10 16:05 ` redi at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: redi at gcc dot gnu.org @ 2020-08-10 16:05 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96543 --- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- No, it's fine. I've categorized it as a diagnostic bug, i.e. a bug in a warning. ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-08-10 16:05 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2020-08-09 23:00 [Bug c++/96543] New: null check on template pointer parameter fails vlad at petric dot cc 2020-08-10 10:21 ` [Bug c++/96543] " redi at gcc dot gnu.org 2020-08-10 12:52 ` vlad at petric dot cc 2020-08-10 16:05 ` redi 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).