mirrors/D-Scanner
1
0
Fork 0
mirror of https://github.com/dlang-community/D-Scanner.git synced 2025-04-27 05:40:01 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

replace libparse in incorrect infinite range visitor (#33)

Browse source
This commit is contained in:
lucica28 2022-11-01 16:44:49 +02:00 • committed by Vladiwostok
parent 5ddffd8d0e
commit a3efa880e8
2 changed files with 68 additions and 76 deletions
Download patch file Download diff file Expand all files Collapse all files

137
src/dscanner/analysis/incorrect_infinite_range.d
View file

@ -10,90 +10,88 @@ import dscanner.analysis.helpers;
import dparse.ast;
import dparse.lexer;
import std.typecons : Rebindable;
/**
* Checks for incorrect infinite range definitions
*/
final class IncorrectInfiniteRangeCheck : BaseAnalyzer
extern(C++) class IncorrectInfiniteRangeCheck(AST) : BaseAnalyzerDmd
{
alias visit = BaseAnalyzer.visit;
// alias visit = BaseAnalyzerDmd!AST.visit;
alias visit = BaseAnalyzerDmd.visit;
mixin AnalyzerInfo!"incorrect_infinite_range_check";
///
this(BaseAnalyzerArguments args)
extern(D) this(string fileName)
{
super(args);
super(fileName);
}
override void visit(const StructBody structBody)
override void visit(AST.StructDeclaration sd)
{
inStruct++;
structBody.accept(this);
inStruct--;
inAggregate++;
super.visit(sd);
inAggregate--;
}
override void visit(const FunctionDeclaration fd)
override void visit(AST.ClassDeclaration cd)
{
if (inStruct > 0 && fd.name.text == "empty")
inAggregate++;
super.visit(cd);
inAggregate--;
}
override void visit(AST.FuncDeclaration fd)
{
import dmd.astenums : Tbool;
if (!inAggregate)
return;
if (!fd.ident || fd.ident.toString() != "empty")
return;
AST.TypeFunction tf = fd.type.isTypeFunction();
if (!tf || !tf.next || !tf.next.ty)
return;
AST.ReturnStatement rs = fd.fbody ? fd.fbody.isReturnStatement() : null;
if (rs)
{
auto old = parentFunc;
parentFunc = fd;
fd.accept(this);
parentFunc = old;
AST.IntegerExp ie = cast(AST.IntegerExp) rs.exp;
if (ie && ie.getInteger() == 0)
addErrorMessage(cast(ulong) fd.loc.linnum, cast(ulong) fd.loc.charnum, KEY,
"Use `enum bool empty = false;` to define an infinite range.");
}
AST.CompoundStatement cs = fd.fbody ? fd.fbody.isCompoundStatement() : null;
if (!cs || (*cs.statements).length == 0)
return;
if (auto rs1 = (*cs.statements)[0].isReturnStatement())
{
AST.IntegerExp ie = cast(AST.IntegerExp) rs1.exp;
if (ie && ie.getInteger() == 0)
addErrorMessage(cast(ulong) fd.loc.linnum, cast(ulong) fd.loc.charnum, KEY,
"Use `enum bool empty = false;` to define an infinite range.");
}
super.visit(fd);
}
override void visit(const FunctionBody fb)
{
if (fb.specifiedFunctionBody && fb.specifiedFunctionBody.blockStatement !is null)
visit(fb.specifiedFunctionBody.blockStatement);
else if (fb.shortenedFunctionBody && fb.shortenedFunctionBody.expression !is null)
visitReturnExpression(fb.shortenedFunctionBody.expression);
}
override void visit(const BlockStatement bs)
{
if (bs.declarationsAndStatements is null)
return;
if (bs.declarationsAndStatements.declarationsAndStatements is null)
return;
if (bs.declarationsAndStatements.declarationsAndStatements.length != 1)
return;
visit(bs.declarationsAndStatements);
}
override void visit(const ReturnStatement rs)
{
if (inStruct == 0 || parentFunc == null) // not within a struct yet
return;
visitReturnExpression(rs.expression);
}
void visitReturnExpression(const Expression expression)
{
if (!expression || expression.items.length != 1)
return;
UnaryExpression unary = cast(UnaryExpression) expression.items[0];
if (unary is null)
return;
if (unary.primaryExpression is null)
return;
if (unary.primaryExpression.primary != tok!"false")
return;
addErrorMessage(parentFunc.get, KEY, MESSAGE);
}
override void visit(const Unittest u)
override void visit(AST.UnitTestDeclaration ud)
{
}
private:
uint inStruct;
uint inAggregate;
enum string KEY = "dscanner.suspicious.incorrect_infinite_range";
enum string MESSAGE = "Use `enum bool empty = false;` to define an infinite range.";
Rebindable!(const FunctionDeclaration) parentFunc;
}
unittest
@ -104,14 +102,12 @@ unittest
StaticAnalysisConfig sac = disabledConfig();
sac.incorrect_infinite_range_check = Check.enabled;
assertAnalyzerWarnings(q{struct InfiniteRange
assertAnalyzerWarningsDMD(q{struct InfiniteRange
{
bool empty()
bool empty() // [warn]: Use `enum bool empty = false;` to define an infinite range.
{
return false;
} /+
^^ [warn]: %1$s+/
// TODO: test for multiline issues like this
}
bool stuff()
{
@ -132,8 +128,7 @@ unittest
struct InfiniteRange
{
bool empty() => false; /+
^^^^^^^^^^^^^^^^^^^^^^ [warn]: %1$s +/
bool empty() => false; // [warn]: Use `enum bool empty = false;` to define an infinite range.
bool stuff() => false;
unittest
{
@ -148,11 +143,9 @@ struct InfiniteRange
}
bool empty() { return false; }
class C { bool empty() { return false; } } /+
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [warn]: %1$s +/
class C { bool empty() { return false; } } // [warn]: Use `enum bool empty = false;` to define an infinite range.
}c
.format(IncorrectInfiniteRangeCheck.MESSAGE), sac);
}c, sac);
}
// test for https://github.com/dlang-community/D-Scanner/issues/656
@ -173,7 +166,7 @@ unittest
StaticAnalysisConfig sac = disabledConfig();
sac.incorrect_infinite_range_check = Check.enabled;
assertAnalyzerWarnings(q{
assertAnalyzerWarningsDMD(q{
enum isAllZeroBits = ()
{
if (true)
@ -183,4 +176,4 @@ unittest
}();
}, sac);
stderr.writeln("Unittest for IncorrectInfiniteRangeCheck passed.");
}
}

7
src/dscanner/analysis/run.d
View file

@ -929,10 +929,6 @@ private BaseAnalyzer[] getAnalyzersForModuleAndConfig(string fileName,
checks ~= new AutoRefAssignmentCheck(args.setSkipTests(
analysisConfig.auto_ref_assignment_check == Check.skipTests && !ut));
if (moduleName.shouldRun!IncorrectInfiniteRangeCheck(analysisConfig))
checks ~= new IncorrectInfiniteRangeCheck(args.setSkipTests(
analysisConfig.incorrect_infinite_range_check == Check.skipTests && !ut));
if (moduleName.shouldRun!UselessAssertCheck(analysisConfig))
checks ~= new UselessAssertCheck(args.setSkipTests(
analysisConfig.useless_assert_check == Check.skipTests && !ut));
@ -1330,6 +1326,9 @@ MessageSet analyzeDmd(string fileName, ASTBase.Module m, const char[] moduleName
if (moduleName.shouldRunDmd!(FinalAttributeChecker!ASTBase)(config))
visitors ~= new FinalAttributeChecker!ASTBase(fileName);
if (moduleName.shouldRunDmd!(IncorrectInfiniteRangeCheck!ASTBase)(config))
visitors ~= new IncorrectInfiniteRangeCheck!ASTBase(fileName);
foreach (visitor; visitors)
{
m.accept(visitor);