2020-01-05 15:12:53 +01:00
|
|
|
/*
|
|
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
|
|
|
* Copyright (C) 2007-2019 Cppcheck team.
|
|
|
|
*
|
|
|
|
* This program is free software: you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
|
|
* (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "clangastdump.h"
|
2020-01-08 09:51:35 +01:00
|
|
|
#include "settings.h"
|
2020-01-05 15:12:53 +01:00
|
|
|
#include "symboldatabase.h"
|
|
|
|
#include "tokenize.h"
|
2020-01-07 18:33:24 +01:00
|
|
|
#include "utils.h"
|
2020-01-05 15:12:53 +01:00
|
|
|
|
|
|
|
#include <memory>
|
|
|
|
#include <vector>
|
|
|
|
#include <iostream>
|
|
|
|
|
2020-01-07 12:19:06 +01:00
|
|
|
static const std::string ArraySubscriptExpr = "ArraySubscriptExpr";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string BinaryOperator = "BinaryOperator";
|
2020-01-08 12:29:54 +01:00
|
|
|
static const std::string BreakStmt = "BreakStmt";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string CallExpr = "CallExpr";
|
2020-01-08 21:31:06 +01:00
|
|
|
static const std::string ClassTemplateDecl = "ClassTemplateDecl";
|
|
|
|
static const std::string ClassTemplateSpecializationDecl = "ClassTemplateSpecializationDecl";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string CompoundStmt = "CompoundStmt";
|
2020-01-08 12:29:54 +01:00
|
|
|
static const std::string ContinueStmt = "ContinueStmt";
|
2020-01-08 21:49:23 +01:00
|
|
|
static const std::string CXXMemberCallExpr = "CXXMemberCallExpr";
|
2020-01-08 19:32:04 +01:00
|
|
|
static const std::string CXXMethodDecl = "CXXMethodDecl";
|
|
|
|
static const std::string CXXRecordDecl = "CXXRecordDecl";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string DeclRefExpr = "DeclRefExpr";
|
2020-01-08 10:35:44 +01:00
|
|
|
static const std::string DeclStmt = "DeclStmt";
|
2020-01-07 18:33:24 +01:00
|
|
|
static const std::string FieldDecl = "FieldDecl";
|
2020-01-08 10:35:44 +01:00
|
|
|
static const std::string ForStmt = "ForStmt";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string FunctionDecl = "FunctionDecl";
|
2020-01-08 20:47:52 +01:00
|
|
|
static const std::string FunctionTemplateDecl = "FunctionTemplateDecl";
|
2020-01-05 19:18:32 +01:00
|
|
|
static const std::string IfStmt = "IfStmt";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string ImplicitCastExpr = "ImplicitCastExpr";
|
|
|
|
static const std::string IntegerLiteral = "IntegerLiteral";
|
2020-01-08 09:51:35 +01:00
|
|
|
static const std::string MemberExpr = "MemberExpr";
|
2020-01-08 18:23:40 +01:00
|
|
|
static const std::string NamespaceDecl = "NamespaceDecl";
|
2020-01-08 12:19:48 +01:00
|
|
|
static const std::string NullStmt = "NullStmt";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string ParmVarDecl = "ParmVarDecl";
|
2020-01-07 18:33:24 +01:00
|
|
|
static const std::string RecordDecl = "RecordDecl";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string ReturnStmt = "ReturnStmt";
|
2020-01-08 16:36:51 +01:00
|
|
|
static const std::string StringLiteral = "StringLiteral";
|
2020-01-08 20:47:52 +01:00
|
|
|
static const std::string TemplateArgument = "TemplateArgument";
|
2020-01-08 14:25:09 +01:00
|
|
|
static const std::string TypedefDecl = "TypedefDecl";
|
2020-01-05 15:12:53 +01:00
|
|
|
static const std::string UnaryOperator = "UnaryOperator";
|
2020-01-06 13:47:19 +01:00
|
|
|
static const std::string VarDecl = "VarDecl";
|
2020-01-08 12:19:48 +01:00
|
|
|
static const std::string WhileStmt = "WhileStmt";
|
2020-01-05 15:12:53 +01:00
|
|
|
|
|
|
|
static std::string unquote(const std::string &s)
|
|
|
|
{
|
|
|
|
return (s[0] == '\'') ? s.substr(1, s.size() - 2) : s;
|
|
|
|
}
|
|
|
|
|
|
|
|
static std::vector<std::string> splitString(const std::string &line)
|
|
|
|
{
|
|
|
|
std::vector<std::string> ret;
|
|
|
|
std::string::size_type pos1 = line.find_first_not_of(" ");
|
|
|
|
while (pos1 != std::string::npos) {
|
|
|
|
std::string::size_type pos2;
|
|
|
|
if (line[pos1] == '<')
|
|
|
|
pos2 = line.find(">", pos1);
|
2020-01-08 09:51:35 +01:00
|
|
|
else if (line[pos1] == '\'') {
|
2020-01-05 15:12:53 +01:00
|
|
|
pos2 = line.find("\'", pos1+1);
|
2020-01-08 09:51:35 +01:00
|
|
|
if (line.compare(pos2, 3, "\':\'", 0, 3) == 0)
|
|
|
|
pos2 = line.find("\'", pos2 + 3);
|
|
|
|
} else
|
2020-01-05 15:12:53 +01:00
|
|
|
pos2 = line.find(" ", pos1) - 1;
|
|
|
|
ret.push_back(line.substr(pos1, pos2+1-pos1));
|
|
|
|
if (pos2 == std::string::npos)
|
|
|
|
break;
|
|
|
|
pos1 = line.find_first_not_of(" ", pos2 + 1);
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace clangastdump {
|
|
|
|
struct Data {
|
2020-01-06 13:47:19 +01:00
|
|
|
struct Decl {
|
2020-01-06 15:26:21 +01:00
|
|
|
Decl(Token *def, Variable *var) : def(def), function(nullptr), var(var) {}
|
|
|
|
Decl(Token *def, Function *function) : def(def), function(function), var(nullptr) {}
|
|
|
|
void ref(Token *tok) {
|
|
|
|
tok->function(function);
|
|
|
|
tok->varId(var ? var->declarationId() : 0);
|
|
|
|
tok->variable(var);
|
|
|
|
}
|
2020-01-06 13:47:19 +01:00
|
|
|
Token *def;
|
2020-01-06 15:26:21 +01:00
|
|
|
Function *function;
|
2020-01-06 13:47:19 +01:00
|
|
|
Variable *var;
|
|
|
|
};
|
|
|
|
|
|
|
|
SymbolDatabase *mSymbolDatabase = nullptr;
|
|
|
|
|
|
|
|
void varDecl(const std::string &addr, Token *def, Variable *var) {
|
|
|
|
Decl decl(def, var);
|
|
|
|
mDeclMap.insert(std::pair<std::string, Decl>(addr, decl));
|
|
|
|
def->varId(++mVarId);
|
|
|
|
def->variable(var);
|
|
|
|
var->setValueType(ValueType(ValueType::Sign::SIGNED, ValueType::Type::INT, 0));
|
|
|
|
}
|
|
|
|
|
2020-01-06 15:26:21 +01:00
|
|
|
void funcDecl(const std::string &addr, Token *nameToken, Function *function) {
|
|
|
|
Decl decl(nameToken, function);
|
|
|
|
mDeclMap.insert(std::pair<std::string, Decl>(addr, decl));
|
|
|
|
nameToken->function(function);
|
|
|
|
}
|
|
|
|
|
2020-01-06 13:47:19 +01:00
|
|
|
void ref(const std::string &addr, Token *tok) {
|
|
|
|
auto it = mDeclMap.find(addr);
|
2020-01-06 15:26:21 +01:00
|
|
|
if (it != mDeclMap.end())
|
|
|
|
it->second.ref(tok);
|
2020-01-06 13:47:19 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<const Variable *> getVariableList() const {
|
|
|
|
std::vector<const Variable *> ret;
|
|
|
|
ret.resize(mVarId + 1, nullptr);
|
|
|
|
for (auto it: mDeclMap) {
|
|
|
|
if (it.second.var)
|
|
|
|
ret[it.second.var->declarationId()] = it.second.var;
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
std::map<std::string, Decl> mDeclMap;
|
|
|
|
int mVarId = 0;
|
2020-01-05 15:12:53 +01:00
|
|
|
};
|
|
|
|
|
2020-01-07 19:47:06 +01:00
|
|
|
class AstNode;
|
|
|
|
typedef std::shared_ptr<AstNode> AstNodePtr;
|
|
|
|
|
2020-01-05 15:12:53 +01:00
|
|
|
class AstNode {
|
|
|
|
public:
|
2020-01-06 13:47:19 +01:00
|
|
|
AstNode(const std::string &nodeType, const std::string &ext, Data *data)
|
|
|
|
: nodeType(nodeType), mExtTokens(splitString(ext)), mData(data)
|
2020-01-05 15:12:53 +01:00
|
|
|
{}
|
|
|
|
std::string nodeType;
|
2020-01-07 19:47:06 +01:00
|
|
|
std::vector<AstNodePtr> children;
|
2020-01-05 15:12:53 +01:00
|
|
|
|
|
|
|
void setLocations(TokenList *tokenList, int file, int line, int col);
|
|
|
|
|
|
|
|
void dumpAst(int num = 0, int indent = 0) const;
|
2020-01-08 10:35:44 +01:00
|
|
|
void createTokens1(TokenList *tokenList) {
|
2020-01-08 18:23:40 +01:00
|
|
|
//dumpAst();
|
2020-01-08 10:35:44 +01:00
|
|
|
setLocations(tokenList, 0, 1, 1);
|
|
|
|
createTokens(tokenList);
|
2020-01-08 14:25:09 +01:00
|
|
|
if (nodeType == VarDecl || nodeType == RecordDecl || nodeType == TypedefDecl)
|
2020-01-08 10:35:44 +01:00
|
|
|
addtoken(tokenList, ";");
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
private:
|
2020-01-08 10:35:44 +01:00
|
|
|
Token *createTokens(TokenList *tokenList);
|
2020-01-05 15:12:53 +01:00
|
|
|
Token *addtoken(TokenList *tokenList, const std::string &str);
|
2020-01-08 09:51:35 +01:00
|
|
|
void addTypeTokens(TokenList *tokenList, const std::string &str);
|
2020-01-07 19:47:06 +01:00
|
|
|
Scope *createScope(TokenList *tokenList, Scope::ScopeType scopeType, AstNodePtr astNode);
|
|
|
|
Scope *createScope(TokenList *tokenList, Scope::ScopeType scopeType, const std::vector<AstNodePtr> &children);
|
2020-01-08 21:49:23 +01:00
|
|
|
Token *createTokensCall(TokenList *tokenList);
|
2020-01-08 19:32:04 +01:00
|
|
|
void createTokensFunctionDecl(TokenList *tokenList);
|
2020-01-08 21:31:06 +01:00
|
|
|
void createTokensForCXXRecord(TokenList *tokenList);
|
2020-01-08 10:35:44 +01:00
|
|
|
Token *createTokensVarDecl(TokenList *tokenList);
|
2020-01-05 15:12:53 +01:00
|
|
|
std::string getSpelling() const;
|
|
|
|
std::string getType() const;
|
2020-01-08 21:31:06 +01:00
|
|
|
std::string getTemplateParameters() const;
|
2020-01-07 18:33:24 +01:00
|
|
|
const Scope *getNestedInScope(TokenList *tokenList);
|
2020-01-05 15:12:53 +01:00
|
|
|
|
|
|
|
int mFile = 0;
|
|
|
|
int mLine = 1;
|
|
|
|
int mCol = 1;
|
|
|
|
int mVarId = 0;
|
|
|
|
std::vector<std::string> mExtTokens;
|
|
|
|
Data *mData;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string clangastdump::AstNode::getSpelling() const
|
|
|
|
{
|
2020-01-08 16:36:51 +01:00
|
|
|
if (mExtTokens.back() == "extern")
|
|
|
|
return mExtTokens[mExtTokens.size() - 3];
|
|
|
|
if (mExtTokens[mExtTokens.size() - 2].compare(0,4,"col:") == 0)
|
|
|
|
return "";
|
2020-01-08 16:42:21 +01:00
|
|
|
if ((mExtTokens[mExtTokens.size() - 2].compare(0,8,"<invalid") == 0))
|
|
|
|
return "";
|
2020-01-07 18:33:24 +01:00
|
|
|
return mExtTokens[mExtTokens.size() - 2];
|
2020-01-05 15:12:53 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
std::string clangastdump::AstNode::getType() const
|
|
|
|
{
|
|
|
|
if (nodeType == BinaryOperator)
|
|
|
|
return unquote(mExtTokens[mExtTokens.size() - 2]);
|
2020-01-08 14:25:09 +01:00
|
|
|
if (nodeType == DeclRefExpr)
|
|
|
|
return unquote(mExtTokens.back());
|
2020-01-08 16:36:51 +01:00
|
|
|
if (nodeType == FunctionDecl)
|
|
|
|
return unquote((mExtTokens.back() == "extern") ?
|
|
|
|
mExtTokens[mExtTokens.size() - 2] :
|
|
|
|
mExtTokens.back());
|
2020-01-05 15:12:53 +01:00
|
|
|
if (nodeType == IntegerLiteral)
|
|
|
|
return unquote(mExtTokens[mExtTokens.size() - 2]);
|
2020-01-08 14:25:09 +01:00
|
|
|
if (nodeType == TypedefDecl)
|
|
|
|
return unquote(mExtTokens.back());
|
2020-01-05 15:12:53 +01:00
|
|
|
return "";
|
|
|
|
}
|
|
|
|
|
2020-01-08 21:31:06 +01:00
|
|
|
std::string clangastdump::AstNode::getTemplateParameters() const
|
|
|
|
{
|
|
|
|
if (children.empty() || children[0]->nodeType != TemplateArgument)
|
|
|
|
return "";
|
|
|
|
std::string templateParameters;
|
|
|
|
for (AstNodePtr child: children) {
|
|
|
|
if (child->nodeType == TemplateArgument) {
|
|
|
|
if (templateParameters.empty())
|
|
|
|
templateParameters = "<";
|
|
|
|
else
|
|
|
|
templateParameters += ",";
|
|
|
|
templateParameters += unquote(child->mExtTokens.back());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return templateParameters + ">";
|
|
|
|
}
|
|
|
|
|
2020-01-05 15:12:53 +01:00
|
|
|
void clangastdump::AstNode::dumpAst(int num, int indent) const
|
|
|
|
{
|
|
|
|
(void)num;
|
|
|
|
std::cout << std::string(indent, ' ') << nodeType;
|
|
|
|
for (auto tok: mExtTokens)
|
|
|
|
std::cout << " " << tok;
|
|
|
|
std::cout << std::endl;
|
|
|
|
for (int c = 0; c < children.size(); ++c)
|
|
|
|
children[c]->dumpAst(c, indent + 2);
|
|
|
|
}
|
|
|
|
|
|
|
|
void clangastdump::AstNode::setLocations(TokenList *tokenList, int file, int line, int col)
|
|
|
|
{
|
|
|
|
for (const std::string &ext: mExtTokens) {
|
|
|
|
if (ext.compare(0,5,"<col:") == 0)
|
|
|
|
col = std::atoi(ext.substr(5).c_str());
|
2020-01-06 09:05:39 +01:00
|
|
|
else if (ext.compare(0,6,"<line:") == 0) {
|
2020-01-05 15:12:53 +01:00
|
|
|
line = std::atoi(ext.substr(6).c_str());
|
2020-01-06 09:05:39 +01:00
|
|
|
if (ext.find(", col:") != std::string::npos)
|
|
|
|
col = std::atoi(ext.c_str() + ext.find(", col:") + 6);
|
|
|
|
} else if (ext[0] == '<' && ext.find(":") != std::string::npos)
|
2020-01-05 15:12:53 +01:00
|
|
|
file = tokenList->appendFileIfNew(ext.substr(1,ext.find(":") - 1));
|
|
|
|
}
|
|
|
|
mFile = file;
|
|
|
|
mLine = line;
|
|
|
|
mCol = col;
|
2020-01-05 19:18:32 +01:00
|
|
|
for (auto child: children) {
|
|
|
|
if (child)
|
|
|
|
child->setLocations(tokenList, file, line, col);
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
Token *clangastdump::AstNode::addtoken(TokenList *tokenList, const std::string &str)
|
|
|
|
{
|
2020-01-07 18:33:24 +01:00
|
|
|
const Scope *scope = getNestedInScope(tokenList);
|
2020-01-05 15:12:53 +01:00
|
|
|
tokenList->addtoken(str, mLine, mFile);
|
2020-01-06 09:05:39 +01:00
|
|
|
tokenList->back()->column(mCol);
|
2020-01-05 19:18:32 +01:00
|
|
|
tokenList->back()->scope(scope);
|
2020-01-05 15:12:53 +01:00
|
|
|
if (getType() == "int")
|
|
|
|
tokenList->back()->setValueType(new ValueType(ValueType::Sign::SIGNED, ValueType::Type::INT, 0));
|
|
|
|
return tokenList->back();
|
|
|
|
}
|
|
|
|
|
2020-01-08 09:51:35 +01:00
|
|
|
void clangastdump::AstNode::addTypeTokens(TokenList *tokenList, const std::string &str)
|
2020-01-05 15:12:53 +01:00
|
|
|
{
|
2020-01-08 09:51:35 +01:00
|
|
|
std::string type;
|
|
|
|
if (str.find(" (") != std::string::npos)
|
|
|
|
type = str.substr(1,str.find(" (")-1);
|
|
|
|
else if (str.find("\':\'") != std::string::npos)
|
|
|
|
type = str.substr(1, str.find("\':\'") - 1);
|
|
|
|
else
|
|
|
|
type = unquote(str);
|
|
|
|
for (const std::string &s: splitString(type))
|
|
|
|
addtoken(tokenList, s);
|
2020-01-05 15:12:53 +01:00
|
|
|
}
|
|
|
|
|
2020-01-07 18:33:24 +01:00
|
|
|
const Scope *clangastdump::AstNode::getNestedInScope(TokenList *tokenList)
|
|
|
|
{
|
|
|
|
if (!tokenList->back())
|
|
|
|
return &mData->mSymbolDatabase->scopeList.front();
|
|
|
|
if (tokenList->back()->str() == "}")
|
|
|
|
return tokenList->back()->scope()->nestedIn;
|
|
|
|
return tokenList->back()->scope();
|
|
|
|
}
|
|
|
|
|
2020-01-07 19:47:06 +01:00
|
|
|
Scope *clangastdump::AstNode::createScope(TokenList *tokenList, Scope::ScopeType scopeType, AstNodePtr astNode)
|
|
|
|
{
|
|
|
|
std::vector<AstNodePtr> children{astNode};
|
|
|
|
return createScope(tokenList, scopeType, children);
|
|
|
|
}
|
|
|
|
|
|
|
|
Scope *clangastdump::AstNode::createScope(TokenList *tokenList, Scope::ScopeType scopeType, const std::vector<AstNodePtr> &children)
|
2020-01-05 19:18:32 +01:00
|
|
|
{
|
2020-01-06 13:47:19 +01:00
|
|
|
SymbolDatabase *symbolDatabase = mData->mSymbolDatabase;
|
|
|
|
|
2020-01-07 18:33:24 +01:00
|
|
|
const Scope *nestedIn = getNestedInScope(tokenList);
|
|
|
|
|
2020-01-06 13:47:19 +01:00
|
|
|
symbolDatabase->scopeList.push_back(Scope(nullptr, nullptr, nestedIn));
|
|
|
|
Scope *scope = &symbolDatabase->scopeList.back();
|
2020-01-05 19:18:32 +01:00
|
|
|
scope->type = scopeType;
|
2020-01-07 19:47:06 +01:00
|
|
|
Token *bodyStart = children[0]->addtoken(tokenList, "{");
|
2020-01-05 19:18:32 +01:00
|
|
|
tokenList->back()->scope(scope);
|
2020-01-07 19:47:06 +01:00
|
|
|
for (AstNodePtr astNode: children) {
|
|
|
|
astNode->createTokens(tokenList);
|
|
|
|
if (!Token::Match(tokenList->back(), "[;{}]"))
|
|
|
|
astNode->addtoken(tokenList, ";");
|
|
|
|
}
|
|
|
|
Token *bodyEnd = children.back()->addtoken(tokenList, "}");
|
2020-01-05 19:18:32 +01:00
|
|
|
bodyStart->link(bodyEnd);
|
|
|
|
scope->bodyStart = bodyStart;
|
|
|
|
scope->bodyEnd = bodyEnd;
|
|
|
|
return scope;
|
|
|
|
}
|
|
|
|
|
2020-01-05 15:12:53 +01:00
|
|
|
Token *clangastdump::AstNode::createTokens(TokenList *tokenList)
|
|
|
|
{
|
2020-01-07 12:19:06 +01:00
|
|
|
if (nodeType == ArraySubscriptExpr) {
|
|
|
|
Token *array = children[0]->createTokens(tokenList);
|
|
|
|
Token *bracket1 = addtoken(tokenList, "[");
|
|
|
|
Token *index = children[1]->createTokens(tokenList);
|
|
|
|
Token *bracket2 = addtoken(tokenList, "]");
|
|
|
|
bracket1->astOperand1(array);
|
|
|
|
bracket1->astOperand2(index);
|
|
|
|
bracket1->link(bracket2);
|
|
|
|
return bracket1;
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
if (nodeType == BinaryOperator) {
|
|
|
|
Token *tok1 = children[0]->createTokens(tokenList);
|
|
|
|
Token *binop = addtoken(tokenList, unquote(mExtTokens.back()));
|
|
|
|
Token *tok2 = children[1]->createTokens(tokenList);
|
|
|
|
binop->astOperand1(tok1);
|
|
|
|
binop->astOperand2(tok2);
|
|
|
|
return binop;
|
|
|
|
}
|
2020-01-08 12:29:54 +01:00
|
|
|
if (nodeType == BreakStmt)
|
|
|
|
return addtoken(tokenList, "break");
|
2020-01-08 21:49:23 +01:00
|
|
|
if (nodeType == CallExpr)
|
|
|
|
return createTokensCall(tokenList);
|
2020-01-08 21:31:06 +01:00
|
|
|
if (nodeType == ClassTemplateDecl) {
|
|
|
|
for (AstNodePtr child: children) {
|
|
|
|
if (child->nodeType == ClassTemplateSpecializationDecl)
|
|
|
|
child->createTokens(tokenList);
|
|
|
|
}
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
if (nodeType == ClassTemplateSpecializationDecl) {
|
|
|
|
createTokensForCXXRecord(tokenList);
|
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
if (nodeType == CompoundStmt) {
|
|
|
|
for (AstNodePtr child: children) {
|
|
|
|
child->createTokens(tokenList);
|
2020-01-06 09:05:39 +01:00
|
|
|
child->addtoken(tokenList, ";");
|
2020-01-05 15:12:53 +01:00
|
|
|
}
|
2020-01-05 19:18:32 +01:00
|
|
|
return nullptr;
|
2020-01-05 15:12:53 +01:00
|
|
|
}
|
2020-01-08 12:29:54 +01:00
|
|
|
if (nodeType == ContinueStmt)
|
|
|
|
return addtoken(tokenList, "continue");
|
2020-01-08 19:32:04 +01:00
|
|
|
if (nodeType == CXXMethodDecl) {
|
|
|
|
createTokensFunctionDecl(tokenList);
|
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-08 21:49:23 +01:00
|
|
|
if (nodeType == CXXMemberCallExpr)
|
|
|
|
return createTokensCall(tokenList);
|
2020-01-08 19:32:04 +01:00
|
|
|
if (nodeType == CXXRecordDecl) {
|
2020-01-08 21:31:06 +01:00
|
|
|
createTokensForCXXRecord(tokenList);
|
2020-01-08 19:32:04 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-08 10:35:44 +01:00
|
|
|
if (nodeType == DeclStmt)
|
|
|
|
return children[0]->createTokens(tokenList);
|
2020-01-05 15:12:53 +01:00
|
|
|
if (nodeType == DeclRefExpr) {
|
2020-01-06 13:47:19 +01:00
|
|
|
const std::string addr = mExtTokens[mExtTokens.size() - 3];
|
|
|
|
Token *reftok = addtoken(tokenList, unquote(mExtTokens[mExtTokens.size() - 2]));
|
|
|
|
mData->ref(addr, reftok);
|
|
|
|
return reftok;
|
2020-01-05 15:12:53 +01:00
|
|
|
}
|
2020-01-08 10:35:44 +01:00
|
|
|
if (nodeType == FieldDecl)
|
|
|
|
return createTokensVarDecl(tokenList);
|
|
|
|
if (nodeType == ForStmt) {
|
|
|
|
Token *forToken = addtoken(tokenList, "for");
|
|
|
|
Token *par1 = addtoken(tokenList, "(");
|
|
|
|
Token *expr1 = children[0]->createTokens(tokenList);
|
|
|
|
Token *sep1 = addtoken(tokenList, ";");
|
|
|
|
Token *expr2 = children[2]->createTokens(tokenList);
|
|
|
|
Token *sep2 = addtoken(tokenList, ";");
|
|
|
|
Token *expr3 = children[3]->createTokens(tokenList);
|
|
|
|
Token *par2 = addtoken(tokenList, ")");
|
|
|
|
par1->link(par2);
|
|
|
|
par1->astOperand1(forToken);
|
|
|
|
par1->astOperand2(sep1);
|
|
|
|
sep1->astOperand1(expr1);
|
|
|
|
sep1->astOperand2(sep2);
|
|
|
|
sep2->astOperand1(expr2);
|
|
|
|
sep2->astOperand2(expr3);
|
|
|
|
createScope(tokenList, Scope::ScopeType::eFor, children[4]);
|
2020-01-07 18:33:24 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
if (nodeType == FunctionDecl) {
|
2020-01-08 19:32:04 +01:00
|
|
|
createTokensFunctionDecl(tokenList);
|
2020-01-05 19:18:32 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-08 20:47:52 +01:00
|
|
|
if (nodeType == FunctionTemplateDecl) {
|
|
|
|
bool first = true;
|
|
|
|
for (AstNodePtr child: children) {
|
|
|
|
if (child->nodeType == FunctionDecl) {
|
|
|
|
if (!first)
|
|
|
|
child->createTokens(tokenList);
|
|
|
|
first = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-05 19:18:32 +01:00
|
|
|
if (nodeType == IfStmt) {
|
2020-01-07 19:47:06 +01:00
|
|
|
AstNodePtr cond = children[2];
|
|
|
|
AstNodePtr then = children[3];
|
|
|
|
AstNodePtr else_ = children[4];
|
2020-01-05 19:18:32 +01:00
|
|
|
Token *iftok = addtoken(tokenList, "if");
|
|
|
|
Token *par1 = addtoken(tokenList, "(");
|
|
|
|
par1->astOperand1(iftok);
|
|
|
|
par1->astOperand2(cond->createTokens(tokenList));
|
|
|
|
Token *par2 = addtoken(tokenList, ")");
|
|
|
|
par1->link(par2);
|
|
|
|
createScope(tokenList, Scope::ScopeType::eIf, then);
|
2020-01-07 12:38:37 +01:00
|
|
|
if (else_) {
|
|
|
|
else_->addtoken(tokenList, "else");
|
|
|
|
createScope(tokenList, Scope::ScopeType::eElse, else_);
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
if (nodeType == ImplicitCastExpr)
|
|
|
|
return children[0]->createTokens(tokenList);
|
|
|
|
if (nodeType == IntegerLiteral)
|
|
|
|
return addtoken(tokenList, mExtTokens.back());
|
2020-01-08 12:19:48 +01:00
|
|
|
if (nodeType == NullStmt)
|
|
|
|
return addtoken(tokenList, ";");
|
2020-01-08 18:23:40 +01:00
|
|
|
if (nodeType == NamespaceDecl) {
|
|
|
|
if (children.empty())
|
|
|
|
return nullptr;
|
|
|
|
Token *defToken = addtoken(tokenList, "namespace");
|
|
|
|
Token *nameToken = (mExtTokens[mExtTokens.size() - 2].compare(0,4,"col:") == 0) ?
|
|
|
|
addtoken(tokenList, mExtTokens.back()) : nullptr;
|
|
|
|
Scope *scope = createScope(tokenList, Scope::ScopeType::eNamespace, children);
|
|
|
|
scope->classDef = defToken;
|
|
|
|
if (nameToken)
|
|
|
|
scope->className = nameToken->str();
|
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-08 09:51:35 +01:00
|
|
|
if (nodeType == MemberExpr) {
|
|
|
|
Token *s = children[0]->createTokens(tokenList);
|
|
|
|
Token *dot = addtoken(tokenList, ".");
|
|
|
|
Token *member = addtoken(tokenList, getSpelling().substr(1));
|
|
|
|
mData->ref(mExtTokens.back(), member);
|
|
|
|
dot->astOperand1(s);
|
|
|
|
dot->astOperand2(member);
|
|
|
|
return dot;
|
|
|
|
}
|
2020-01-07 18:33:24 +01:00
|
|
|
if (nodeType == RecordDecl) {
|
|
|
|
const Token *classDef = addtoken(tokenList, "struct");
|
2020-01-07 19:47:06 +01:00
|
|
|
const std::string &recordName = getSpelling();
|
|
|
|
if (!recordName.empty())
|
|
|
|
addtoken(tokenList, getSpelling());
|
2020-01-08 16:36:51 +01:00
|
|
|
if (children.empty())
|
|
|
|
addtoken(tokenList, ";");
|
|
|
|
else {
|
|
|
|
Scope *recordScope = createScope(tokenList, Scope::ScopeType::eStruct, children);
|
|
|
|
mData->mSymbolDatabase->typeList.push_back(Type(classDef, recordScope, classDef->scope()));
|
|
|
|
recordScope->definedType = &mData->mSymbolDatabase->typeList.back();
|
|
|
|
}
|
2020-01-07 18:33:24 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
if (nodeType == ReturnStmt) {
|
|
|
|
Token *tok1 = addtoken(tokenList, "return");
|
|
|
|
if (!children.empty())
|
|
|
|
tok1->astOperand1(children[0]->createTokens(tokenList));
|
|
|
|
return tok1;
|
|
|
|
}
|
2020-01-08 16:36:51 +01:00
|
|
|
if (nodeType == StringLiteral)
|
|
|
|
return addtoken(tokenList, mExtTokens.back());
|
2020-01-08 14:25:09 +01:00
|
|
|
if (nodeType == TypedefDecl) {
|
|
|
|
addtoken(tokenList, "typedef");
|
|
|
|
addTypeTokens(tokenList, getType());
|
|
|
|
return addtoken(tokenList, getSpelling());
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
if (nodeType == UnaryOperator) {
|
|
|
|
Token *unop = addtoken(tokenList, unquote(mExtTokens.back()));
|
|
|
|
unop->astOperand1(children[0]->createTokens(tokenList));
|
|
|
|
return unop;
|
|
|
|
}
|
2020-01-08 10:35:44 +01:00
|
|
|
if (nodeType == VarDecl)
|
|
|
|
return createTokensVarDecl(tokenList);
|
2020-01-08 12:19:48 +01:00
|
|
|
if (nodeType == WhileStmt) {
|
|
|
|
AstNodePtr cond = children[1];
|
|
|
|
AstNodePtr body = children[2];
|
|
|
|
Token *whiletok = addtoken(tokenList, "while");
|
|
|
|
Token *par1 = addtoken(tokenList, "(");
|
|
|
|
par1->astOperand1(whiletok);
|
|
|
|
par1->astOperand2(cond->createTokens(tokenList));
|
|
|
|
Token *par2 = addtoken(tokenList, ")");
|
|
|
|
par1->link(par2);
|
|
|
|
createScope(tokenList, Scope::ScopeType::eWhile, body);
|
|
|
|
return nullptr;
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
return addtoken(tokenList, "?" + nodeType + "?");
|
|
|
|
}
|
|
|
|
|
2020-01-08 21:49:23 +01:00
|
|
|
Token * clangastdump::AstNode::createTokensCall(TokenList *tokenList)
|
|
|
|
{
|
|
|
|
Token *f = children[0]->createTokens(tokenList);
|
|
|
|
Token *par1 = addtoken(tokenList, "(");
|
|
|
|
par1->astOperand1(f);
|
|
|
|
Token *parent = par1;
|
|
|
|
for (int c = 1; c < children.size(); ++c) {
|
|
|
|
if (c + 1 < children.size()) {
|
|
|
|
Token *child = children[c]->createTokens(tokenList);
|
|
|
|
Token *comma = addtoken(tokenList, ",");
|
|
|
|
comma->astOperand1(child);
|
|
|
|
parent->astOperand2(comma);
|
|
|
|
parent = comma;
|
|
|
|
} else {
|
|
|
|
parent->astOperand2(children[c]->createTokens(tokenList));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
par1->link(addtoken(tokenList, ")"));
|
|
|
|
return par1;
|
|
|
|
}
|
|
|
|
|
2020-01-08 19:32:04 +01:00
|
|
|
void clangastdump::AstNode::createTokensFunctionDecl(TokenList *tokenList)
|
|
|
|
{
|
|
|
|
SymbolDatabase *symbolDatabase = mData->mSymbolDatabase;
|
|
|
|
const int nameIndex = (mExtTokens.back() == "extern") ?
|
|
|
|
(mExtTokens.size() - 3) :
|
|
|
|
(mExtTokens.size() - 2);
|
|
|
|
const int retTypeIndex = nameIndex + 1;
|
|
|
|
addTypeTokens(tokenList, mExtTokens[retTypeIndex]);
|
2020-01-08 21:31:06 +01:00
|
|
|
Token *nameToken = addtoken(tokenList, mExtTokens[nameIndex] + getTemplateParameters());
|
2020-01-08 19:32:04 +01:00
|
|
|
Scope *nestedIn = const_cast<Scope *>(nameToken->scope());
|
|
|
|
symbolDatabase->scopeList.push_back(Scope(nullptr, nullptr, nestedIn));
|
|
|
|
Scope &scope = symbolDatabase->scopeList.back();
|
|
|
|
symbolDatabase->functionScopes.push_back(&scope);
|
|
|
|
nestedIn->functionList.push_back(Function(nameToken));
|
|
|
|
scope.function = &nestedIn->functionList.back();
|
|
|
|
scope.type = Scope::ScopeType::eFunction;
|
|
|
|
scope.className = nameToken->str();
|
|
|
|
mData->funcDecl(mExtTokens.front(), nameToken, scope.function);
|
|
|
|
Token *par1 = addtoken(tokenList, "(");
|
|
|
|
// Function arguments
|
|
|
|
for (AstNodePtr child: children) {
|
|
|
|
if (child->nodeType != ParmVarDecl)
|
|
|
|
continue;
|
|
|
|
if (tokenList->back() != par1)
|
|
|
|
addtoken(tokenList, ",");
|
|
|
|
addTypeTokens(tokenList, child->mExtTokens.back());
|
|
|
|
const std::string spelling = child->getSpelling();
|
|
|
|
if (!spelling.empty()) {
|
|
|
|
const std::string addr = child->mExtTokens[0];
|
|
|
|
Token *vartok = addtoken(tokenList, spelling);
|
|
|
|
scope.function->argumentList.push_back(Variable(vartok, nullptr, nullptr, 0, AccessControl::Argument, nullptr, &scope, nullptr));
|
|
|
|
mData->varDecl(addr, vartok, &scope.function->argumentList.back());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Token *par2 = addtoken(tokenList, ")");
|
|
|
|
par1->link(par2);
|
|
|
|
// Function body
|
|
|
|
if (!children.empty() && children.back()->nodeType == CompoundStmt) {
|
|
|
|
Token *bodyStart = addtoken(tokenList, "{");
|
|
|
|
bodyStart->scope(&scope);
|
|
|
|
children.back()->createTokens(tokenList);
|
|
|
|
Token *bodyEnd = addtoken(tokenList, "}");
|
|
|
|
scope.bodyStart = bodyStart;
|
|
|
|
scope.bodyEnd = bodyEnd;
|
|
|
|
bodyStart->link(bodyEnd);
|
|
|
|
} else {
|
|
|
|
addtoken(tokenList, ";");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-01-08 21:31:06 +01:00
|
|
|
void clangastdump::AstNode::createTokensForCXXRecord(TokenList *tokenList)
|
|
|
|
{
|
|
|
|
Token *classToken = addtoken(tokenList, "class");
|
|
|
|
const std::string className = mExtTokens[mExtTokens.size() - 2] + getTemplateParameters();
|
|
|
|
/*Token *nameToken =*/ addtoken(tokenList, className);
|
|
|
|
std::vector<AstNodePtr> children2;
|
|
|
|
for (auto child: children) {
|
|
|
|
if (child->nodeType == CXXMethodDecl)
|
|
|
|
children2.push_back(child);
|
|
|
|
else if (child->nodeType == FieldDecl)
|
|
|
|
children2.push_back(child);
|
|
|
|
}
|
|
|
|
Scope *scope = createScope(tokenList, Scope::ScopeType::eClass, children2);
|
|
|
|
scope->classDef = classToken;
|
|
|
|
scope->className = className;
|
|
|
|
mData->mSymbolDatabase->typeList.push_back(Type(classToken, scope, classToken->scope()));
|
|
|
|
scope->definedType = &mData->mSymbolDatabase->typeList.back();
|
|
|
|
}
|
|
|
|
|
2020-01-08 10:35:44 +01:00
|
|
|
Token * clangastdump::AstNode::createTokensVarDecl(TokenList *tokenList)
|
2020-01-07 19:51:44 +01:00
|
|
|
{
|
|
|
|
const std::string addr = mExtTokens.front();
|
2020-01-08 18:23:40 +01:00
|
|
|
int typeIndex = mExtTokens.size() - 1;
|
|
|
|
while (typeIndex > 1 && std::isalpha(mExtTokens[typeIndex][0]))
|
|
|
|
typeIndex--;
|
|
|
|
const std::string type = mExtTokens[typeIndex];
|
|
|
|
const std::string name = mExtTokens[typeIndex - 1];
|
2020-01-07 19:51:44 +01:00
|
|
|
addTypeTokens(tokenList, type);
|
|
|
|
Token *vartok1 = addtoken(tokenList, name);
|
|
|
|
Scope *scope = const_cast<Scope *>(tokenList->back()->scope());
|
|
|
|
const AccessControl accessControl = (scope->type == Scope::ScopeType::eGlobal) ? (AccessControl::Global) : (AccessControl::Local);
|
|
|
|
scope->varlist.push_back(Variable(vartok1, type, 0, accessControl, nullptr, scope));
|
|
|
|
mData->varDecl(addr, vartok1, &scope->varlist.back());
|
2020-01-08 18:23:40 +01:00
|
|
|
if (mExtTokens.back() == "cinit") {
|
2020-01-07 19:51:44 +01:00
|
|
|
Token *eq = addtoken(tokenList, "=");
|
2020-01-08 10:35:44 +01:00
|
|
|
eq->astOperand1(vartok1);
|
2020-01-07 19:51:44 +01:00
|
|
|
eq->astOperand2(children.back()->createTokens(tokenList));
|
2020-01-08 10:35:44 +01:00
|
|
|
return eq;
|
2020-01-07 19:51:44 +01:00
|
|
|
}
|
2020-01-08 10:35:44 +01:00
|
|
|
return vartok1;
|
2020-01-07 19:51:44 +01:00
|
|
|
}
|
|
|
|
|
2020-01-05 15:12:53 +01:00
|
|
|
void clangastdump::parseClangAstDump(Tokenizer *tokenizer, std::istream &f)
|
|
|
|
{
|
|
|
|
TokenList *tokenList = &tokenizer->list;
|
|
|
|
|
|
|
|
tokenizer->createSymbolDatabase();
|
|
|
|
SymbolDatabase *symbolDatabase = const_cast<SymbolDatabase *>(tokenizer->getSymbolDatabase());
|
|
|
|
symbolDatabase->scopeList.push_back(Scope(nullptr, nullptr, nullptr));
|
|
|
|
symbolDatabase->scopeList.back().type = Scope::ScopeType::eGlobal;
|
|
|
|
|
2020-01-06 13:47:19 +01:00
|
|
|
clangastdump::Data data;
|
|
|
|
data.mSymbolDatabase = symbolDatabase;
|
2020-01-05 15:12:53 +01:00
|
|
|
std::string line;
|
|
|
|
std::vector<AstNodePtr> tree;
|
|
|
|
while (std::getline(f,line)) {
|
|
|
|
const std::string::size_type pos1 = line.find("-");
|
|
|
|
if (pos1 == std::string::npos)
|
|
|
|
continue;
|
2020-01-05 19:18:32 +01:00
|
|
|
if (!tree.empty() && line.substr(pos1) == "-<<<NULL>>>") {
|
|
|
|
const int level = (pos1 - 1) / 2;
|
|
|
|
tree[level - 1]->children.push_back(nullptr);
|
|
|
|
continue;
|
|
|
|
}
|
2020-01-05 15:12:53 +01:00
|
|
|
const std::string::size_type pos2 = line.find(" ", pos1);
|
|
|
|
if (pos2 < pos1 + 4 || pos2 == std::string::npos)
|
|
|
|
continue;
|
|
|
|
const std::string nodeType = line.substr(pos1+1, pos2 - pos1 - 1);
|
|
|
|
const std::string ext = line.substr(pos2);
|
|
|
|
|
2020-01-08 14:25:09 +01:00
|
|
|
if (pos1 == 1 && endsWith(nodeType, "Decl", 4)) {
|
2020-01-08 10:35:44 +01:00
|
|
|
if (!tree.empty())
|
|
|
|
tree[0]->createTokens1(tokenList);
|
2020-01-05 15:12:53 +01:00
|
|
|
tree.clear();
|
2020-01-06 13:47:19 +01:00
|
|
|
tree.push_back(std::make_shared<AstNode>(nodeType, ext, &data));
|
2020-01-05 15:12:53 +01:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
const int level = (pos1 - 1) / 2;
|
|
|
|
if (level == 0 || tree.empty())
|
|
|
|
continue;
|
|
|
|
|
2020-01-06 13:47:19 +01:00
|
|
|
AstNodePtr newNode = std::make_shared<AstNode>(nodeType, ext, &data);
|
2020-01-05 15:12:53 +01:00
|
|
|
tree[level - 1]->children.push_back(newNode);
|
|
|
|
if (level >= tree.size())
|
|
|
|
tree.push_back(newNode);
|
|
|
|
else
|
|
|
|
tree[level] = newNode;
|
|
|
|
}
|
|
|
|
|
2020-01-08 10:35:44 +01:00
|
|
|
if (!tree.empty())
|
|
|
|
tree[0]->createTokens1(tokenList);
|
2020-01-05 15:12:53 +01:00
|
|
|
|
2020-01-06 13:47:19 +01:00
|
|
|
symbolDatabase->clangSetVariables(data.getVariableList());
|
2020-01-05 15:12:53 +01:00
|
|
|
tokenList->clangSetOrigFiles();
|
|
|
|
}
|
|
|
|
|