[cfe-dev] possibly bug in LocationCheck

Marius Wachtler malloc at inode.at
Mon Nov 16 11:40:52 PST 2009


Hello

I think I found a bug in clang/include/clang/Analysis/ProgramPoint.h:224.

static bool classof(const ProgramPoint *location) {
    unsigned k = location->getKind();
    return k == PreLoadKind || PreStoreKind;
  }

Shouldn't it be "return (k == PreLoadKind) || (k == PreStoreKind);"?
Or is this intended?

-- Marius Wachtler
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20091116/9fce3bce/attachment.html>


More information about the cfe-dev mailing list