http://d.puremagic.com/issues/show_bug.cgi?id=8986
Summary: The PVS-Studio analyzer has something for you
Product: D
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: kar...@viva64.com
--- Comment #0 from Andrey Karpov <kar...@viva64.com> 2012-11-09 04:20:53 PST
---
Perhaps there are other errors. I have studied the report unthoughtful. The
report can be viewed by downloading the PVS-Studio trial version of the
analyzer. I think trial version will be enough.
---------------------
V522 Dereferencing of the null pointer 'v' might take place. interpret.c 1711
Expression *getVarExp(Loc loc, InterState *istate, Declaration *d, CtfeGoal
goal)
{
....
VarDeclaration *v = d->isVarDeclaration();
if (v)
{
....
}
else if (s)
{
if (s->dsym->toInitializer() == s->sym)
....
else
error(loc,
"cannot interpret symbol %s at compile time",
v->toChars());
}
....
}
---------------------
V519 The 'c2' variable is assigned values twice successively. Perhaps this is a
mistake. Check lines: 1860, 1861. cod2.c 1861
code *cdcond(elem *e,regm_t *pretregs)
{
code *cc,*c,*c1,*cnop1,*c2,*cnop2;
....
c2 = codelem(e22,&retregs,FALSE);
c2 = cat(c1, fixresult(e22,retregs,pretregs));
....
}
Most likely this is what should be written here: c2 = cat(c2, ....);
---------------------
V612 An unconditional 'return' within a loop. cgxmm.c 825
code *cdvector(elem *e, regm_t *pretregs)
{
....
code *c = CNIL;
for (int i = 0; i < n; i++)
{
c = cat(c, codelem(params[i], pretregs, FALSE));
*pretregs = 0; // in case they got set
return c;
}
....
}
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
