2019-04-05 23:14:05 +08:00
|
|
|
//===- unittest/Tooling/TransformerTest.cpp -------------------------------===//
|
|
|
|
//
|
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "clang/Tooling/Refactoring/Transformer.h"
|
|
|
|
#include "clang/ASTMatchers/ASTMatchers.h"
|
2019-05-22 22:48:19 +08:00
|
|
|
#include "clang/Tooling/Refactoring/RangeSelector.h"
|
2019-04-05 23:14:05 +08:00
|
|
|
#include "clang/Tooling/Tooling.h"
|
2019-05-01 00:48:33 +08:00
|
|
|
#include "llvm/Support/Errc.h"
|
|
|
|
#include "llvm/Support/Error.h"
|
2019-04-05 23:14:05 +08:00
|
|
|
#include "gmock/gmock.h"
|
|
|
|
#include "gtest/gtest.h"
|
|
|
|
|
2019-04-19 01:52:24 +08:00
|
|
|
using namespace clang;
|
|
|
|
using namespace tooling;
|
|
|
|
using namespace ast_matchers;
|
2019-04-05 23:14:05 +08:00
|
|
|
|
2019-04-19 01:52:24 +08:00
|
|
|
namespace {
|
2019-05-01 00:48:33 +08:00
|
|
|
using ::testing::IsEmpty;
|
|
|
|
|
2019-04-05 23:14:05 +08:00
|
|
|
constexpr char KHeaderContents[] = R"cc(
|
|
|
|
struct string {
|
|
|
|
string(const char*);
|
|
|
|
char* c_str();
|
|
|
|
int size();
|
|
|
|
};
|
|
|
|
int strlen(const char*);
|
|
|
|
|
|
|
|
namespace proto {
|
|
|
|
struct PCFProto {
|
|
|
|
int foo();
|
|
|
|
};
|
|
|
|
struct ProtoCommandLineFlag : PCFProto {
|
|
|
|
PCFProto& GetProto();
|
|
|
|
};
|
|
|
|
} // namespace proto
|
2019-04-19 01:52:24 +08:00
|
|
|
class Logger {};
|
|
|
|
void operator<<(Logger& l, string msg);
|
|
|
|
Logger& log(int level);
|
2019-04-05 23:14:05 +08:00
|
|
|
)cc";
|
|
|
|
|
|
|
|
static ast_matchers::internal::Matcher<clang::QualType>
|
|
|
|
isOrPointsTo(const clang::ast_matchers::DeclarationMatcher &TypeMatcher) {
|
|
|
|
return anyOf(hasDeclaration(TypeMatcher), pointsTo(TypeMatcher));
|
|
|
|
}
|
|
|
|
|
|
|
|
static std::string format(StringRef Code) {
|
|
|
|
const std::vector<Range> Ranges(1, Range(0, Code.size()));
|
|
|
|
auto Style = format::getLLVMStyle();
|
|
|
|
const auto Replacements = format::reformat(Style, Code, Ranges);
|
|
|
|
auto Formatted = applyAllReplacements(Code, Replacements);
|
|
|
|
if (!Formatted) {
|
|
|
|
ADD_FAILURE() << "Could not format code: "
|
|
|
|
<< llvm::toString(Formatted.takeError());
|
|
|
|
return std::string();
|
|
|
|
}
|
|
|
|
return *Formatted;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void compareSnippets(StringRef Expected,
|
|
|
|
const llvm::Optional<std::string> &MaybeActual) {
|
|
|
|
ASSERT_TRUE(MaybeActual) << "Rewrite failed. Expecting: " << Expected;
|
|
|
|
auto Actual = *MaybeActual;
|
|
|
|
std::string HL = "#include \"header.h\"\n";
|
|
|
|
auto I = Actual.find(HL);
|
|
|
|
if (I != std::string::npos)
|
|
|
|
Actual.erase(I, HL.size());
|
|
|
|
EXPECT_EQ(format(Expected), format(Actual));
|
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: consider separating this class into its own file(s).
|
|
|
|
class ClangRefactoringTestBase : public testing::Test {
|
|
|
|
protected:
|
|
|
|
void appendToHeader(StringRef S) { FileContents[0].second += S; }
|
|
|
|
|
|
|
|
void addFile(StringRef Filename, StringRef Content) {
|
|
|
|
FileContents.emplace_back(Filename, Content);
|
|
|
|
}
|
|
|
|
|
|
|
|
llvm::Optional<std::string> rewrite(StringRef Input) {
|
|
|
|
std::string Code = ("#include \"header.h\"\n" + Input).str();
|
|
|
|
auto Factory = newFrontendActionFactory(&MatchFinder);
|
|
|
|
if (!runToolOnCodeWithArgs(
|
|
|
|
Factory->create(), Code, std::vector<std::string>(), "input.cc",
|
|
|
|
"clang-tool", std::make_shared<PCHContainerOperations>(),
|
|
|
|
FileContents)) {
|
2019-05-01 00:48:33 +08:00
|
|
|
llvm::errs() << "Running tool failed.\n";
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
if (ErrorCount != 0) {
|
|
|
|
llvm::errs() << "Generating changes failed.\n";
|
2019-04-05 23:14:05 +08:00
|
|
|
return None;
|
|
|
|
}
|
2019-05-01 00:48:33 +08:00
|
|
|
auto ChangedCode =
|
2019-04-05 23:14:05 +08:00
|
|
|
applyAtomicChanges("input.cc", Code, Changes, ApplyChangesSpec());
|
2019-05-01 00:48:33 +08:00
|
|
|
if (!ChangedCode) {
|
|
|
|
llvm::errs() << "Applying changes failed: "
|
|
|
|
<< llvm::toString(ChangedCode.takeError()) << "\n";
|
2019-04-05 23:14:05 +08:00
|
|
|
return None;
|
|
|
|
}
|
2019-05-01 00:48:33 +08:00
|
|
|
return *ChangedCode;
|
|
|
|
}
|
|
|
|
|
|
|
|
Transformer::ChangeConsumer consumer() {
|
|
|
|
return [this](Expected<AtomicChange> C) {
|
|
|
|
if (C) {
|
|
|
|
Changes.push_back(std::move(*C));
|
|
|
|
} else {
|
|
|
|
consumeError(C.takeError());
|
|
|
|
++ErrorCount;
|
|
|
|
}
|
|
|
|
};
|
2019-04-05 23:14:05 +08:00
|
|
|
}
|
|
|
|
|
2019-05-17 22:23:33 +08:00
|
|
|
template <typename R>
|
|
|
|
void testRule(R Rule, StringRef Input, StringRef Expected) {
|
2019-05-01 00:48:33 +08:00
|
|
|
Transformer T(std::move(Rule), consumer());
|
2019-04-05 23:14:05 +08:00
|
|
|
T.registerMatchers(&MatchFinder);
|
|
|
|
compareSnippets(Expected, rewrite(Input));
|
|
|
|
}
|
|
|
|
|
|
|
|
clang::ast_matchers::MatchFinder MatchFinder;
|
2019-05-01 00:48:33 +08:00
|
|
|
// Records whether any errors occurred in individual changes.
|
|
|
|
int ErrorCount = 0;
|
2019-04-05 23:14:05 +08:00
|
|
|
AtomicChanges Changes;
|
|
|
|
|
|
|
|
private:
|
|
|
|
FileContentMappings FileContents = {{"header.h", ""}};
|
|
|
|
};
|
|
|
|
|
|
|
|
class TransformerTest : public ClangRefactoringTestBase {
|
|
|
|
protected:
|
|
|
|
TransformerTest() { appendToHeader(KHeaderContents); }
|
|
|
|
};
|
|
|
|
|
|
|
|
// Given string s, change strlen($s.c_str()) to $s.size().
|
|
|
|
static RewriteRule ruleStrlenSize() {
|
|
|
|
StringRef StringExpr = "strexpr";
|
|
|
|
auto StringType = namedDecl(hasAnyName("::basic_string", "::string"));
|
2019-04-19 01:52:24 +08:00
|
|
|
auto R = makeRule(
|
|
|
|
callExpr(callee(functionDecl(hasName("strlen"))),
|
|
|
|
hasArgument(0, cxxMemberCallExpr(
|
|
|
|
on(expr(hasType(isOrPointsTo(StringType)))
|
|
|
|
.bind(StringExpr)),
|
|
|
|
callee(cxxMethodDecl(hasName("c_str")))))),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(text("REPLACED")));
|
2019-05-17 22:23:33 +08:00
|
|
|
R.Cases[0].Explanation = text("Use size() method directly on string.");
|
2019-04-19 01:52:24 +08:00
|
|
|
return R;
|
2019-04-05 23:14:05 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, StrlenSize) {
|
|
|
|
std::string Input = "int f(string s) { return strlen(s.c_str()); }";
|
|
|
|
std::string Expected = "int f(string s) { return REPLACED; }";
|
|
|
|
testRule(ruleStrlenSize(), Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Tests that no change is applied when a match is not expected.
|
|
|
|
TEST_F(TransformerTest, NoMatch) {
|
|
|
|
std::string Input = "int f(string s) { return s.size(); }";
|
|
|
|
testRule(ruleStrlenSize(), Input, Input);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Tests that expressions in macro arguments are rewritten (when applicable).
|
|
|
|
TEST_F(TransformerTest, StrlenSizeMacro) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
#define ID(e) e
|
|
|
|
int f(string s) { return ID(strlen(s.c_str())); })cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
#define ID(e) e
|
|
|
|
int f(string s) { return ID(REPLACED); })cc";
|
|
|
|
testRule(ruleStrlenSize(), Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Tests replacing an expression.
|
|
|
|
TEST_F(TransformerTest, Flag) {
|
|
|
|
StringRef Flag = "flag";
|
2019-04-19 01:52:24 +08:00
|
|
|
RewriteRule Rule = makeRule(
|
|
|
|
cxxMemberCallExpr(on(expr(hasType(cxxRecordDecl(
|
|
|
|
hasName("proto::ProtoCommandLineFlag"))))
|
|
|
|
.bind(Flag)),
|
|
|
|
unless(callee(cxxMethodDecl(hasName("GetProto"))))),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(node(Flag), text("EXPR")));
|
2019-04-05 23:14:05 +08:00
|
|
|
|
|
|
|
std::string Input = R"cc(
|
|
|
|
proto::ProtoCommandLineFlag flag;
|
|
|
|
int x = flag.foo();
|
|
|
|
int y = flag.GetProto().foo();
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
proto::ProtoCommandLineFlag flag;
|
|
|
|
int x = EXPR.foo();
|
|
|
|
int y = flag.GetProto().foo();
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
testRule(std::move(Rule), Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, NodePartNameNamedDecl) {
|
|
|
|
StringRef Fun = "fun";
|
2019-05-22 22:48:19 +08:00
|
|
|
RewriteRule Rule = makeRule(functionDecl(hasName("bad")).bind(Fun),
|
|
|
|
change(name(Fun), text("good")));
|
2019-04-05 23:14:05 +08:00
|
|
|
|
|
|
|
std::string Input = R"cc(
|
|
|
|
int bad(int x);
|
|
|
|
int bad(int x) { return x * x; }
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
int good(int x);
|
|
|
|
int good(int x) { return x * x; }
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
testRule(Rule, Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, NodePartNameDeclRef) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
template <typename T>
|
|
|
|
T bad(T x) {
|
|
|
|
return x;
|
|
|
|
}
|
|
|
|
int neutral(int x) { return bad<int>(x) * x; }
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
template <typename T>
|
|
|
|
T bad(T x) {
|
|
|
|
return x;
|
|
|
|
}
|
|
|
|
int neutral(int x) { return good<int>(x) * x; }
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
StringRef Ref = "ref";
|
2019-04-19 01:52:24 +08:00
|
|
|
testRule(makeRule(declRefExpr(to(functionDecl(hasName("bad")))).bind(Ref),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(name(Ref), text("good"))),
|
2019-04-05 23:14:05 +08:00
|
|
|
Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, NodePartNameDeclRefFailure) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
struct Y {
|
|
|
|
int operator*();
|
|
|
|
};
|
|
|
|
int neutral(int x) {
|
|
|
|
Y y;
|
|
|
|
int (Y::*ptr)() = &Y::operator*;
|
|
|
|
return *y + x;
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
StringRef Ref = "ref";
|
2019-05-01 01:24:36 +08:00
|
|
|
Transformer T(makeRule(declRefExpr(to(functionDecl())).bind(Ref),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(name(Ref), text("good"))),
|
2019-05-01 01:24:36 +08:00
|
|
|
consumer());
|
|
|
|
T.registerMatchers(&MatchFinder);
|
|
|
|
EXPECT_FALSE(rewrite(Input));
|
2019-04-05 23:14:05 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, NodePartMember) {
|
|
|
|
StringRef E = "expr";
|
2019-04-19 01:52:24 +08:00
|
|
|
RewriteRule Rule = makeRule(memberExpr(member(hasName("bad"))).bind(E),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(member(E), text("good")));
|
2019-04-05 23:14:05 +08:00
|
|
|
|
|
|
|
std::string Input = R"cc(
|
|
|
|
struct S {
|
|
|
|
int bad;
|
|
|
|
};
|
|
|
|
int g() {
|
|
|
|
S s;
|
|
|
|
return s.bad;
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
struct S {
|
|
|
|
int bad;
|
|
|
|
};
|
|
|
|
int g() {
|
|
|
|
S s;
|
|
|
|
return s.good;
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
testRule(Rule, Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, NodePartMemberQualified) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
struct S {
|
|
|
|
int bad;
|
|
|
|
int good;
|
|
|
|
};
|
|
|
|
struct T : public S {
|
|
|
|
int bad;
|
|
|
|
};
|
|
|
|
int g() {
|
|
|
|
T t;
|
|
|
|
return t.S::bad;
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
struct S {
|
|
|
|
int bad;
|
|
|
|
int good;
|
|
|
|
};
|
|
|
|
struct T : public S {
|
|
|
|
int bad;
|
|
|
|
};
|
|
|
|
int g() {
|
|
|
|
T t;
|
|
|
|
return t.S::good;
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
StringRef E = "expr";
|
2019-05-22 22:48:19 +08:00
|
|
|
testRule(makeRule(memberExpr().bind(E), change(member(E), text("good"))),
|
2019-04-05 23:14:05 +08:00
|
|
|
Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, NodePartMemberMultiToken) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
struct Y {
|
|
|
|
int operator*();
|
|
|
|
int good();
|
|
|
|
template <typename T> void foo(T t);
|
|
|
|
};
|
|
|
|
int neutral(int x) {
|
|
|
|
Y y;
|
|
|
|
y.template foo<int>(3);
|
|
|
|
return y.operator *();
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
struct Y {
|
|
|
|
int operator*();
|
|
|
|
int good();
|
|
|
|
template <typename T> void foo(T t);
|
|
|
|
};
|
|
|
|
int neutral(int x) {
|
|
|
|
Y y;
|
|
|
|
y.template good<int>(3);
|
|
|
|
return y.good();
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
StringRef MemExpr = "member";
|
2019-04-19 01:52:24 +08:00
|
|
|
testRule(makeRule(memberExpr().bind(MemExpr),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(member(MemExpr), text("good"))),
|
2019-04-19 01:52:24 +08:00
|
|
|
Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, MultiChange) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
void foo() {
|
|
|
|
if (10 > 1.0)
|
|
|
|
log(1) << "oh no!";
|
|
|
|
else
|
|
|
|
log(0) << "ok";
|
|
|
|
}
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"(
|
|
|
|
void foo() {
|
|
|
|
if (true) { /* then */ }
|
|
|
|
else { /* else */ }
|
|
|
|
}
|
|
|
|
)";
|
|
|
|
|
|
|
|
StringRef C = "C", T = "T", E = "E";
|
|
|
|
testRule(makeRule(ifStmt(hasCondition(expr().bind(C)),
|
|
|
|
hasThen(stmt().bind(T)), hasElse(stmt().bind(E))),
|
2019-05-22 22:48:19 +08:00
|
|
|
{change(node(C), text("true")),
|
|
|
|
change(statement(T), text("{ /* then */ }")),
|
|
|
|
change(statement(E), text("{ /* else */ }"))}),
|
2019-04-05 23:14:05 +08:00
|
|
|
Input, Expected);
|
|
|
|
}
|
|
|
|
|
2019-05-17 22:23:33 +08:00
|
|
|
TEST_F(TransformerTest, OrderedRuleUnrelated) {
|
|
|
|
StringRef Flag = "flag";
|
|
|
|
RewriteRule FlagRule = makeRule(
|
|
|
|
cxxMemberCallExpr(on(expr(hasType(cxxRecordDecl(
|
|
|
|
hasName("proto::ProtoCommandLineFlag"))))
|
|
|
|
.bind(Flag)),
|
|
|
|
unless(callee(cxxMethodDecl(hasName("GetProto"))))),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(node(Flag), text("PROTO")));
|
2019-05-17 22:23:33 +08:00
|
|
|
|
|
|
|
std::string Input = R"cc(
|
|
|
|
proto::ProtoCommandLineFlag flag;
|
|
|
|
int x = flag.foo();
|
|
|
|
int y = flag.GetProto().foo();
|
|
|
|
int f(string s) { return strlen(s.c_str()); }
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
proto::ProtoCommandLineFlag flag;
|
|
|
|
int x = PROTO.foo();
|
|
|
|
int y = flag.GetProto().foo();
|
|
|
|
int f(string s) { return REPLACED; }
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
testRule(applyFirst({ruleStrlenSize(), FlagRule}), Input, Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Version of ruleStrlenSizeAny that inserts a method with a different name than
|
|
|
|
// ruleStrlenSize, so we can tell their effect apart.
|
|
|
|
RewriteRule ruleStrlenSizeDistinct() {
|
|
|
|
StringRef S;
|
|
|
|
return makeRule(
|
|
|
|
callExpr(callee(functionDecl(hasName("strlen"))),
|
|
|
|
hasArgument(0, cxxMemberCallExpr(
|
|
|
|
on(expr().bind(S)),
|
|
|
|
callee(cxxMethodDecl(hasName("c_str")))))),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(text("DISTINCT")));
|
2019-05-17 22:23:33 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, OrderedRuleRelated) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
namespace foo {
|
|
|
|
struct mystring {
|
|
|
|
char* c_str();
|
|
|
|
};
|
|
|
|
int f(mystring s) { return strlen(s.c_str()); }
|
|
|
|
} // namespace foo
|
|
|
|
int g(string s) { return strlen(s.c_str()); }
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
namespace foo {
|
|
|
|
struct mystring {
|
|
|
|
char* c_str();
|
|
|
|
};
|
|
|
|
int f(mystring s) { return DISTINCT; }
|
|
|
|
} // namespace foo
|
|
|
|
int g(string s) { return REPLACED; }
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
testRule(applyFirst({ruleStrlenSize(), ruleStrlenSizeDistinct()}), Input,
|
|
|
|
Expected);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Change the order of the rules to get a different result.
|
|
|
|
TEST_F(TransformerTest, OrderedRuleRelatedSwapped) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
namespace foo {
|
|
|
|
struct mystring {
|
|
|
|
char* c_str();
|
|
|
|
};
|
|
|
|
int f(mystring s) { return strlen(s.c_str()); }
|
|
|
|
} // namespace foo
|
|
|
|
int g(string s) { return strlen(s.c_str()); }
|
|
|
|
)cc";
|
|
|
|
std::string Expected = R"cc(
|
|
|
|
namespace foo {
|
|
|
|
struct mystring {
|
|
|
|
char* c_str();
|
|
|
|
};
|
|
|
|
int f(mystring s) { return DISTINCT; }
|
|
|
|
} // namespace foo
|
|
|
|
int g(string s) { return DISTINCT; }
|
|
|
|
)cc";
|
|
|
|
|
|
|
|
testRule(applyFirst({ruleStrlenSizeDistinct(), ruleStrlenSize()}), Input,
|
|
|
|
Expected);
|
|
|
|
}
|
|
|
|
|
2019-04-05 23:14:05 +08:00
|
|
|
//
|
|
|
|
// Negative tests (where we expect no transformation to occur).
|
|
|
|
//
|
|
|
|
|
2019-05-01 00:48:33 +08:00
|
|
|
// Tests for a conflict in edits from a single match for a rule.
|
|
|
|
TEST_F(TransformerTest, TextGeneratorFailure) {
|
|
|
|
std::string Input = "int conflictOneRule() { return 3 + 7; }";
|
|
|
|
// Try to change the whole binary-operator expression AND one its operands:
|
|
|
|
StringRef O = "O";
|
|
|
|
auto AlwaysFail = [](const ast_matchers::MatchFinder::MatchResult &)
|
|
|
|
-> llvm::Expected<std::string> {
|
|
|
|
return llvm::createStringError(llvm::errc::invalid_argument, "ERROR");
|
|
|
|
};
|
2019-05-22 22:48:19 +08:00
|
|
|
Transformer T(makeRule(binaryOperator().bind(O), change(node(O), AlwaysFail)),
|
2019-05-01 00:48:33 +08:00
|
|
|
consumer());
|
|
|
|
T.registerMatchers(&MatchFinder);
|
|
|
|
EXPECT_FALSE(rewrite(Input));
|
|
|
|
EXPECT_THAT(Changes, IsEmpty());
|
|
|
|
EXPECT_EQ(ErrorCount, 1);
|
|
|
|
}
|
|
|
|
|
2019-04-19 01:52:24 +08:00
|
|
|
// Tests for a conflict in edits from a single match for a rule.
|
|
|
|
TEST_F(TransformerTest, OverlappingEditsInRule) {
|
|
|
|
std::string Input = "int conflictOneRule() { return 3 + 7; }";
|
|
|
|
// Try to change the whole binary-operator expression AND one its operands:
|
|
|
|
StringRef O = "O", L = "L";
|
2019-05-22 22:48:19 +08:00
|
|
|
Transformer T(makeRule(binaryOperator(hasLHS(expr().bind(L))).bind(O),
|
|
|
|
{change(node(O), text("DELETE_OP")),
|
|
|
|
change(node(L), text("DELETE_LHS"))}),
|
|
|
|
consumer());
|
2019-04-19 01:52:24 +08:00
|
|
|
T.registerMatchers(&MatchFinder);
|
2019-05-01 00:48:33 +08:00
|
|
|
EXPECT_FALSE(rewrite(Input));
|
|
|
|
EXPECT_THAT(Changes, IsEmpty());
|
|
|
|
EXPECT_EQ(ErrorCount, 1);
|
2019-04-19 01:52:24 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Tests for a conflict in edits across multiple matches (of the same rule).
|
|
|
|
TEST_F(TransformerTest, OverlappingEditsMultipleMatches) {
|
|
|
|
std::string Input = "int conflictOneRule() { return -7; }";
|
|
|
|
// Try to change the whole binary-operator expression AND one its operands:
|
|
|
|
StringRef E = "E";
|
2019-05-22 22:48:19 +08:00
|
|
|
Transformer T(makeRule(expr().bind(E), change(node(E), text("DELETE_EXPR"))),
|
2019-05-01 00:48:33 +08:00
|
|
|
consumer());
|
2019-04-19 01:52:24 +08:00
|
|
|
T.registerMatchers(&MatchFinder);
|
|
|
|
// The rewrite process fails because the changes conflict with each other...
|
|
|
|
EXPECT_FALSE(rewrite(Input));
|
2019-05-01 00:48:33 +08:00
|
|
|
// ... but two changes were produced.
|
|
|
|
EXPECT_EQ(Changes.size(), 2u);
|
|
|
|
EXPECT_EQ(ErrorCount, 0);
|
2019-04-19 01:52:24 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST_F(TransformerTest, ErrorOccurredMatchSkipped) {
|
|
|
|
// Syntax error in the function body:
|
|
|
|
std::string Input = "void errorOccurred() { 3 }";
|
2019-05-01 00:48:33 +08:00
|
|
|
Transformer T(makeRule(functionDecl(hasName("errorOccurred")),
|
2019-05-22 22:48:19 +08:00
|
|
|
change(text("DELETED;"))),
|
2019-05-01 00:48:33 +08:00
|
|
|
consumer());
|
2019-04-19 01:52:24 +08:00
|
|
|
T.registerMatchers(&MatchFinder);
|
|
|
|
// The rewrite process itself fails...
|
|
|
|
EXPECT_FALSE(rewrite(Input));
|
2019-05-01 00:48:33 +08:00
|
|
|
// ... and no changes or errors are produced in the process.
|
|
|
|
EXPECT_THAT(Changes, IsEmpty());
|
|
|
|
EXPECT_EQ(ErrorCount, 0);
|
2019-04-19 01:52:24 +08:00
|
|
|
}
|
|
|
|
|
2019-04-05 23:14:05 +08:00
|
|
|
TEST_F(TransformerTest, NoTransformationInMacro) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
#define MACRO(str) strlen((str).c_str())
|
|
|
|
int f(string s) { return MACRO(s); })cc";
|
|
|
|
testRule(ruleStrlenSize(), Input, Input);
|
|
|
|
}
|
|
|
|
|
|
|
|
// This test handles the corner case where a macro called within another macro
|
|
|
|
// expands to matching code, but the matched code is an argument to the nested
|
|
|
|
// macro. A simple check of isMacroArgExpansion() vs. isMacroBodyExpansion()
|
|
|
|
// will get this wrong, and transform the code. This test verifies that no such
|
|
|
|
// transformation occurs.
|
|
|
|
TEST_F(TransformerTest, NoTransformationInNestedMacro) {
|
|
|
|
std::string Input = R"cc(
|
|
|
|
#define NESTED(e) e
|
|
|
|
#define MACRO(str) NESTED(strlen((str).c_str()))
|
|
|
|
int f(string s) { return MACRO(s); })cc";
|
|
|
|
testRule(ruleStrlenSize(), Input, Input);
|
|
|
|
}
|
|
|
|
} // namespace
|