/*

* Cppcheck - A tool for static C/C++ code analysis

* Copyright (C) 2007-2015 Daniel Marjamäki and 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 "token.h"

#include "errorlogger.h"

#include "check.h"

#include "settings.h"

#include "symboldatabase.h"

#include <cassert>

#include <cstdlib>

#include <cstring>

#include <string>

#include <iostream>

#include <cctype>

#include <sstream>

#include <map>

#include <stack>

#include <algorithm>

Token::Token(Token **t) :

tokensBack(t),

_next(0),

_previous(0),

_link(0),

_scope(0),

_function(0), // Initialize whole union

_varId(0),

_fileIndex(0),

_linenr(0),

_progressValue(0),

_tokType(eNone),

_flags(0),

_astOperand1(nullptr),

_astOperand2(nullptr),

_astParent(nullptr),

_originalName(nullptr),

valuetype(nullptr)

{

}

Token::~Token()

{

delete _originalName;

delete valuetype;

}

void Token::update_property_info()

{

if (!_str.empty()) {

if (_str == "true" || _str == "false")

_tokType = eBoolean;

else if (_str[0] == '_' || std::isalpha((unsigned char)_str[0])) { // Name

if (_varId)

_tokType = eVariable;

else if (_tokType != eVariable && _tokType != eFunction && _tokType != eType && _tokType != eKeyword)

_tokType = eName;

} else if (std::isdigit((unsigned char)_str[0]) || (_str.length() > 1 && _str[0] == '-' && std::isdigit((unsigned char)_str[1])))

_tokType = eNumber;

else if (_str.length() > 1 && _str[0] == '"' && _str.back() == '"')

_tokType = eString;

else if (_str.length() > 1 && _str[0] == '\'' && _str.back() == '\'')

_tokType = eChar;

else if (_str == "=" || _str == "<<=" || _str == ">>=" ||

(_str.size() == 2U && _str[1] == '=' && std::strchr("+-*/%&^|", _str[0])))

_tokType = eAssignmentOp;

else if (_str.size() == 1 && _str.find_first_of(",[]()?:") != std::string::npos)

_tokType = eExtendedOp;

else if (_str=="<<" || _str==">>" || (_str.size()==1 && _str.find_first_of("+-*/%") != std::string::npos))

_tokType = eArithmeticalOp;

else if (_str.size() == 1 && _str.find_first_of("&|^~") != std::string::npos)

_tokType = eBitOp;

else if (_str.size() <= 2 &&

(_str == "&&" ||

_str == "||" ||

_str == "!"))

_tokType = eLogicalOp;

else if (_str.size() <= 2 && !_link &&

(_str == "==" ||

_str == "!=" ||

_str == "<" ||

_str == "<=" ||

_str == ">" ||

_str == ">="))

_tokType = eComparisonOp;

else if (_str.size() == 2 &&

(_str == "++" ||

_str == "--"))

_tokType = eIncDecOp;

else if (_str.size() == 1 && (_str.find_first_of("{}") != std::string::npos || (_link && _str.find_first_of("<>") != std::string::npos)))

_tokType = eBracket;

else

_tokType = eOther;

} else {

_tokType = eNone;

}

update_property_isStandardType();

}

namespace {

static const std::set<std::string> stdTypes = make_container<std::set<std::string> >() <<

"bool" << "char" << "char16_t" << "char32_t" << "double" << "float" << "int" << "long" << "short" << "size_t" << "void" << "wchar_t";

}

void Token::update_property_isStandardType()

{

isStandardType(false);

if (_str.size() < 3)

return;

if (stdTypes.find(_str)!=stdTypes.end()) {

isStandardType(true);

_tokType = eType;

}

}

bool Token::isUpperCaseName() const

{

if (!isName())

return false;

for (size_t i = 0; i < _str.length(); ++i) {

if (std::islower(_str[i]))

return false;

}

return true;

}

void Token::concatStr(std::string const& b)

{

_str.erase(_str.length() - 1);

_str.append(b.begin() + 1, b.end());

update_property_info();

}

std::string Token::strValue() const

{

assert(_tokType == eString);

std::string ret(_str.substr(1, _str.length() - 2));

std::string::size_type pos = 0U;

while ((pos = ret.find('\\', pos)) != std::string::npos) {

ret.erase(pos,1U);

if (ret[pos] >= 'a') {

if (ret[pos] == 'n')

ret[pos] = '\n';

else if (ret[pos] == 'r')

ret[pos] = '\r';

else if (ret[pos] == 't')

ret[pos] = '\t';

}

if (ret[pos] == '0')

return ret.substr(0,pos);

pos++;

}

return ret;

}

void Token::deleteNext(unsigned long index)

{

while (_next && index) {

Token *n = _next;

_next = n->next();

delete n;

--index;

}

if (_next)

_next->previous(this);

else if (tokensBack)

*tokensBack = this;

}

void Token::swapWithNext()

{

if (_next) {

Token temp(0);

temp._str = _next->_str;

temp._tokType = _next->_tokType;

temp._flags = _next->_flags;

temp._varId = _next->_varId;

temp._fileIndex = _next->_fileIndex;

temp._link = _next->_link;

temp._scope = _next->_scope;

temp._function = _next->_function;

temp._originalName = _next->_originalName;

temp.values = _next->values;

temp._progressValue = _next->_progressValue;

_next->_str = _str;

_next->_tokType = _tokType;

_next->_flags = _flags;

_next->_varId = _varId;

_next->_fileIndex = _fileIndex;

_next->_link = _link;

_next->_scope = _scope;

_next->_function = _function;

_next->_originalName = _originalName;

_next->values = values;

_next->_progressValue = _progressValue;

_str = temp._str;

_tokType = temp._tokType;

_flags = temp._flags;

_varId = temp._varId;

_fileIndex = temp._fileIndex;

_link = temp._link;

_scope = temp._scope;

_function = temp._function;

_originalName = temp._originalName;

values = temp.values;

_progressValue = temp._progressValue;

}

}

void Token::deleteThis()

{

if (_next) { // Copy next to this and delete next

_str = _next->_str;

_tokType = _next->_tokType;

_flags = _next->_flags;

_varId = _next->_varId;

_fileIndex = _next->_fileIndex;

_linenr = _next->_linenr;

_link = _next->_link;

_scope = _next->_scope;

_function = _next->_function;

_variable = _next->_variable;

_type = _next->_type;

if (_next->_originalName) {

_originalName = _next->_originalName;

_next->_originalName = nullptr;

}

values = _next->values;

if (_link)

_link->link(this);

deleteNext();

} else if (_previous && _previous->_previous) { // Copy previous to this and delete previous

_str = _previous->_str;

_tokType = _previous->_tokType;

_flags = _previous->_flags;

_varId = _previous->_varId;

_fileIndex = _previous->_fileIndex;

_linenr = _previous->_linenr;

_link = _previous->_link;

_scope = _previous->_scope;

_function = _previous->_function;

_variable = _previous->_variable;

_type = _previous->_type;

if (_previous->_originalName) {

_originalName = _previous->_originalName;

_previous->_originalName = nullptr;

}

values = _previous->values;

if (_link)

_link->link(this);

Token* toDelete = _previous;

_previous = _previous->_previous;

_previous->_next = this;

delete toDelete;

} else {

// We are the last token in the list, we can't delete

// ourselves, so just make us empty

str("");

}

}

void Token::replace(Token *replaceThis, Token *start, Token *end)

{

// Fix the whole in the old location of start and end

if (start->previous())

start->previous()->next(end->next());

if (end->next())

end->next()->previous(start->previous());

// Move start and end to their new location

if (replaceThis->previous())

replaceThis->previous()->next(start);

if (replaceThis->next())

replaceThis->next()->previous(end);

start->previous(replaceThis->previous());

end->next(replaceThis->next());

if (end->tokensBack && *(end->tokensBack) == end) {

while (end->next())

end = end->next();

*(end->tokensBack) = end;

}

// Update _progressValue, fileIndex and linenr

for (Token *tok = start; tok != end->next(); tok = tok->next())

tok->_progressValue = replaceThis->_progressValue;

// Delete old token, which is replaced

delete replaceThis;

}

const Token *Token::tokAt(int index) const

{

const Token *tok = this;

int num = std::abs(index);

while (num > 0 && tok) {

if (index > 0)

tok = tok->next();

else

tok = tok->previous();

--num;

}

return tok;

}

const Token *Token::linkAt(int index) const

{

const Token *tok = this->tokAt(index);

if (!tok) {

throw InternalError(this, "Internal error. Token::linkAt called with index outside the tokens range.");

}

return tok->link();

}

const std::string &Token::strAt(int index) const

{

const Token *tok = this->tokAt(index);

return tok ? tok->_str : emptyString;

}

static int multiComparePercent(const Token *tok, const char*& haystack, bool emptyStringFound, unsigned int varid)

{

++haystack;

// Compare only the first character of the string for optimization reasons

switch (haystack[0]) {

case '\0':

case ' ':

case '|':

//simple '%' character

haystack += 1;

if (tok->isArithmeticalOp() && tok->str() == "%")

return 1;

break;

case 'v':

if (haystack[3] == '%') { // %var%

haystack += 4;

if (tok->varId() != 0)

return 1;

} else { // %varid%

if (varid == 0) {

throw InternalError(tok, "Internal error. Token::Match called with varid 0. Please report this to Cppcheck developers");

}

haystack += 6;

if (tok->varId() == varid)

return 1;

}

break;

case 't':

// Type (%type%)

{

haystack += 5;

if (tok->isName() && tok->varId() == 0 && !tok->isKeyword())

return 1;

}

break;

case 'a':

// Accept any token (%any%)

{

haystack += 4;

return 1;

}

case 'n':

// Number (%num%) or name (%name%)

{

if (haystack[4] == '%') { // %name%

haystack += 5;

if (tok->isName())

return 1;

} else {

haystack += 4;

if (tok->isNumber())

return 1;

}

}

break;

case 'c': {

haystack += 1;

// Character (%char%)

if (haystack[0] == 'h') {

haystack += 4;

if (tok->tokType() == Token::eChar)

return 1;

}

// Const operator (%cop%)

else if (haystack[1] == 'p') {

haystack += 3;

if (tok->isConstOp())

return 1;

}

// Comparison operator (%comp%)

else {

haystack += 4;

if (tok->isComparisonOp())

return 1;

}

}

break;

case 's':

// String (%str%)

{

haystack += 4;

if (tok->tokType() == Token::eString)

return 1;

}

break;

case 'b':

// Bool (%bool%)

{

haystack += 5;

if (tok->isBoolean())

return 1;

}

break;

case 'o': {

++haystack;

if (haystack[1] == '%') {

// Op (%op%)

if (haystack[0] == 'p') {

haystack += 2;

if (tok->isOp())

return 1;

}

// Or (%or%)

else {

haystack += 2;

if (tok->tokType() == Token::eBitOp && tok->str() == "|")

return 1;

}

}

// Oror (%oror%)

else {

haystack += 4;

if (tok->tokType() == Token::eLogicalOp && tok->str() == "||")

return 1;

}

}

break;

default:

//unknown %cmd%, abort

throw InternalError(tok, "Unexpected command");

}

if (*haystack == '|')

haystack += 1;

else if (*haystack == ' ' || *haystack == '\0')

return emptyStringFound ? 0 : -1;

else

return -1;

return 0xFFFF;

}

int Token::multiCompare(const Token *tok, const char *haystack, unsigned int varid)

{

bool emptyStringFound = false;

const char *needle = tok->str().c_str();

const char *needlePointer = needle;

for (;;) {

if (needlePointer == needle && haystack[0] == '%' && haystack[1] != '|' && haystack[1] != '\0' && haystack[1] != ' ') {

int ret = multiComparePercent(tok, haystack, emptyStringFound, varid);

if (ret < 2)

return ret;

} else if (*haystack == '|') {

if (*needlePointer == 0) {

// If needle is at the end, we have a match.

return 1;

} else if (needlePointer == needle) {

// If needlePointer was not increased at all, we had a empty

// string in the haystack

emptyStringFound = true;

}

needlePointer = needle;

++haystack;

} else if (*needlePointer == *haystack) {

if (*needlePointer == '\0')

return 1;

++needlePointer;

++haystack;

} else if (*haystack == ' ' || *haystack == '\0') {

if (needlePointer == needle)

return 0;

break;

}

// If haystack and needle don't share the same character,

// find next '|' character.

else {

needlePointer = needle;

do {

++haystack;

} while (*haystack != ' ' && *haystack != '|' && *haystack);

if (*haystack == ' ' || *haystack == '\0') {

return emptyStringFound ? 0 : -1;

}

++haystack;

}

}

if (*needlePointer == '\0')

return 1;

// If empty string was found earlier from the haystack

if (emptyStringFound)

return 0;

return -1;

}

bool Token::simpleMatch(const Token *tok, const char pattern[])

{

if (!tok)

return false; // shortcut

const char *current = pattern;

const char *next = std::strchr(pattern, ' ');

if (!next)

next = pattern + std::strlen(pattern);

while (*current) {

std::size_t length = next - current;

if (!tok || length != tok->_str.length() || std::strncmp(current, tok->_str.c_str(), length))

return false;

current = next;

if (*next) {

next = std::strchr(++current, ' ');

if (!next)

next = current + std::strlen(current);

}

tok = tok->next();

}

return true;

}

bool Token::firstWordEquals(const char *str, const char *word)

{

for (;;) {

if (*str != *word) {

return (*str == ' ' && *word == 0);

} else if (*str == 0)

break;

++str;

++word;

}

return true;

}

const char *Token::chrInFirstWord(const char *str, char c)

{

for (;;) {

if (*str == ' ' || *str == 0)

return 0;

if (*str == c)

return str;

++str;

}

}

bool Token::Match(const Token *tok, const char pattern[], unsigned int varid)

{

const char *p = pattern;

while (*p) {

// Skip spaces in pattern..

while (*p == ' ')

++p;

// No token => Success!

if (*p == '\0')

break;

if (!tok) {

// If we have no tokens, pattern "!!else" should return true

if (p[0] == '!' && p[1] == '!' && p[2] != '\0') {

while (*p && *p != ' ')

++p;

continue;

} else

return false;

}

// [.. => search for a one-character token..

if (p[0] == '[' && chrInFirstWord(p, ']')) {

if (tok->str().length() != 1)

return false;

const char *temp = p+1;

bool chrFound = false;

unsigned int count = 0;

while (*temp && *temp != ' ') {

if (*temp == ']') {

++count;

}

else if (*temp == tok->str()[0]) {

chrFound = true;

break;

}

++temp;

}

if (count > 1 && tok->str()[0] == ']')

chrFound = true;

if (!chrFound)

return false;

p = temp;

while (*p && *p != ' ')

++p;

}

// Parse "not" options. Token can be anything except the given one

else if (p[0] == '!' && p[1] == '!' && p[2] != '\0') {

p += 2;

if (firstWordEquals(p, tok->str().c_str()))

return false;

while (*p && *p != ' ')

++p;

}

// Parse multi options, such as void|int|char (accept token which is one of these 3)

else {

int res = multiCompare(tok, p, varid);

if (res == 0) {

// Empty alternative matches, use the same token on next round

while (*p && *p != ' ')

++p;

continue;

} else if (res == -1) {

// No match

return false;

}

}

while (*p && *p != ' ')

++p;

tok = tok->next();

}

// The end of the pattern has been reached and nothing wrong has been found

return true;

}

std::size_t Token::getStrLength(const Token *tok)

{

assert(tok != nullptr);

assert(tok->_tokType == eString);

std::size_t len = 0;

std::string::const_iterator it = tok->str().begin() + 1U;

const std::string::const_iterator end = tok->str().end() - 1U;

while (it != end) {

if (*it == '\\') {

++it;

// string ends at '\0'

if (*it == '0')

return len;

}

if (*it == '\0')

return len;

++it;

++len;

}

return len;

}

std::size_t Token::getStrSize(const Token *tok)

{

assert(tok != nullptr && tok->tokType() == eString);

const std::string &str = tok->str();

unsigned int sizeofstring = 1U;

for (unsigned int i = 1U; i < str.size() - 1U; i++) {

if (str[i] == '\\')

++i;

++sizeofstring;

}

return sizeofstring;

}

std::string Token::getCharAt(const Token *tok, std::size_t index)

{

assert(tok != nullptr);

const std::string strValue(tok->strValue());

const char *str = strValue.c_str();

while (*str) {

if (index == 0) {

std::string ret;

if (*str == '\\') {

ret = *str;

++str;

}

ret += *str;

return ret;

}

if (*str == '\\')

++str;

++str;

--index;

}

assert(index == 0);

return "\\0";

}

void Token::move(Token *srcStart, Token *srcEnd, Token *newLocation)

{

/**[newLocation] -> b -> c -> [srcStart] -> [srcEnd] -> f */

// Fix the gap, which tokens to be moved will leave

srcStart->previous()->next(srcEnd->next());

srcEnd->next()->previous(srcStart->previous());

// Fix the tokens to be moved

srcEnd->next(newLocation->next());

srcStart->previous(newLocation);

// Fix the tokens at newLocation

newLocation->next()->previous(srcEnd);

newLocation->next(srcStart);

// Update _progressValue

for (Token *tok = srcStart; tok != srcEnd->next(); tok = tok->next())

tok->_progressValue = newLocation->_progressValue;

}

Token* Token::nextArgument() const

{

for (const Token* tok = this; tok; tok = tok->next()) {

if (tok->str() == ",")

return tok->next();

else if (tok->link() && Token::Match(tok, "(|{|[|<"))

tok = tok->link();

else if (Token::Match(tok, ")|;"))

return 0;

}

return 0;

}

Token* Token::nextArgumentBeforeCreateLinks2() const

{

for (const Token* tok = this; tok; tok = tok->next()) {

if (tok->str() == ",")

return tok->next();

else if (tok->link() && Token::Match(tok, "(|{|["))

tok = tok->link();

else if (tok->str() == "<") {

const Token* temp = tok->findClosingBracket();

if (temp)

tok = temp;

} else if (Token::Match(tok, ")|;"))

return 0;

}

return 0;

}

Token* Token::nextTemplateArgument() const

{

for (const Token* tok = this; tok; tok = tok->next()) {

if (tok->str() == ",")

return tok->next();

else if (tok->link() && Token::Match(tok, "(|{|[|<"))

tok = tok->link();

else if (Token::Match(tok, ">|;"))

return 0;

}

return 0;

}

const Token * Token::findClosingBracket() const

{

const Token *closing = nullptr;

if (_str == "<") {

unsigned int depth = 0;

for (closing = this; closing != nullptr; closing = closing->next()) {

if (Token::Match(closing, "{|[|(")) {

closing = closing->link();

if (!closing)

return nullptr; // #6803

} else if (Token::Match(closing, "}|]|)|;"))

break;

else if (closing->str() == "<")

++depth;

else if (closing->str() == ">") {

if (--depth == 0)

break;

} else if (closing->str() == ">>") {

if (--depth == 0)

break;

if (--depth == 0)

break;

}

}

}

return closing;

}

Token * Token::findClosingBracket()

{

// return value of const function

return const_cast<Token*>(const_cast<const Token*>(this)->findClosingBracket());

}

//---------------------------------------------------------------------------

const Token *Token::findsimplematch(const Token *startTok, const char pattern[])

{

for (const Token* tok = startTok; tok; tok = tok->next()) {

if (Token::simpleMatch(tok, pattern))

return tok;

}

return 0;

}

const Token *Token::findsimplematch(const Token *startTok, const char pattern[], const Token *end)

{

for (const Token* tok = startTok; tok && tok != end; tok = tok->next()) {

if (Token::simpleMatch(tok, pattern))

return tok;

}

return 0;

}

const Token *Token::findmatch(const Token *startTok, const char pattern[], unsigned int varId)

{

for (const Token* tok = startTok; tok; tok = tok->next()) {

if (Token::Match(tok, pattern, varId))

return tok;

}

return 0;

}

const Token *Token::findmatch(const Token *startTok, const char pattern[], const Token *end, unsigned int varId)

{

for (const Token* tok = startTok; tok && tok != end; tok = tok->next()) {

if (Token::Match(tok, pattern, varId))

return tok;

}

return 0;

}

void Token::insertToken(const std::string &tokenStr, bool prepend)

{

//TODO: Find a solution for the first token on the list

if (prepend && !this->previous())

return;

Token *newToken;

if (_str.empty())

newToken = this;

else

newToken = new Token(tokensBack);

newToken->str(tokenStr);

newToken->_linenr = _linenr;

newToken->_fileIndex = _fileIndex;

newToken->_progressValue = _progressValue;

if (newToken != this) {

if (prepend) {

/*if (this->previous())*/ {

newToken->previous(this->previous());

newToken->previous()->next(newToken);

} /*else if (tokensFront?) {

*tokensFront? = newToken;

}*/

this->previous(newToken);

newToken->next(this);

} else {

if (this->next()) {

newToken->next(this->next());

newToken->next()->previous(newToken);

} else if (tokensBack) {

*tokensBack = newToken;

}

this->next(newToken);

newToken->previous(this);

}

}

}

void Token::insertToken(const std::string &tokenStr, const std::string &originalNameStr, bool prepend)

{

//TODO: Find a solution for the first token on the list

if (prepend && !this->previous())

return;

Token *newToken;

if (_str.empty())

newToken = this;

else

newToken = new Token(tokensBack);

newToken->str(tokenStr);

if (!originalNameStr.empty())

newToken->originalName(originalNameStr);

newToken->_linenr = _linenr;

newToken->_fileIndex = _fileIndex;

newToken->_progressValue = _progressValue;

if (newToken != this) {

if (prepend) {

/*if (this->previous())*/ {

newToken->previous(this->previous());

newToken->previous()->next(newToken);

} /*else if (tokensFront?) {

*tokensFront? = newToken;

}*/

this->previous(newToken);

newToken->next(this);

} else {

if (this->next()) {

newToken->next(this->next());

newToken->next()->previous(newToken);

} else if (tokensBack) {

*tokensBack = newToken;

}

this->next(newToken);

newToken->previous(this);

}

}

}

void Token::eraseTokens(Token *begin, const Token *end)

{

if (!begin || begin == end)

return;

while (begin->next() && begin->next() != end) {

begin->deleteNext();

}

}

void Token::createMutualLinks(Token *begin, Token *end)

{

assert(begin != nullptr);

assert(end != nullptr);

assert(begin != end);

begin->link(end);

end->link(begin);

}

void Token::printOut(const char *title) const

{

if (title && title[0])

std::cout << "\n### " << title << " ###\n";

std::cout << stringifyList(true, true, true, true, true, 0, 0) << std::endl;

}

void Token::printOut(const char *title, const std::vector<std::string> &fileNames) const

{