public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/65301] New: gcc can't detect some uninit reads in ctor init lists
@ 2015-03-03 15:55 dcb314 at hotmail dot com
  2015-03-03 16:28 ` [Bug c++/65301] " redi at gcc dot gnu.org
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: dcb314 at hotmail dot com @ 2015-03-03 15:55 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65301

            Bug ID: 65301
           Summary: gcc can't detect some uninit reads in ctor init lists
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com

Given the following source code

class K
{
public:
    K * copy();
};

class FunctionExpr
{
public:
    FunctionExpr( const FunctionExpr & );

private:
    K * args;
};

FunctionExpr::FunctionExpr(const FunctionExpr& expr)
        : args(expr.args ? args->copy() : 0)
{
}

then trunk gcc can't detect the read of uninit memory for args->copy.

$ ~/gcc/results/bin/gcc -c -g -O2 -Wall -Wextra -pedantic bug189.cc
$

Here is clang doing the right thing:

$ ~/llvm/results/bin/clang++ -c -g -O2 -Wall -Wextra -pedantic bug189.cc
bug189.cc:18:28: warning: field 'args' is uninitialized when used here
      [-Wuninitialized]
        : args(expr.args ? args->copy() : 0)
                           ^
1 warning generated.
$


^ permalink raw reply	[flat|nested] 4+ messages in thread
end of thread, other threads:[~2015-03-03 17:45 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-03-03 15:55 [Bug c++/65301] New: gcc can't detect some uninit reads in ctor init lists dcb314 at hotmail dot com
2015-03-03 16:28 ` [Bug c++/65301] " redi at gcc dot gnu.org
2015-03-03 16:31 ` redi at gcc dot gnu.org
2015-03-03 17:45 ` manu 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).