cppcheck/lib/checkheaders.cpp

270 lines
9.1 KiB
C++
Raw Normal View History

2008-12-18 22:28:57 +01:00
/*
* Cppcheck - A tool for static C/C++ code analysis
* Copyright (C) 2007-2009 Daniel Marjamäki and Cppcheck team.
2008-12-18 22:28:57 +01:00
*
* 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/>.
2008-12-18 22:28:57 +01:00
*/
//---------------------------------------------------------------------------
#include "checkheaders.h"
#include "tokenize.h"
#include "filelister.h"
#include "token.h"
2008-12-18 22:28:57 +01:00
#include <algorithm>
#include <list>
#include <sstream>
#include <string>
#include <cstring>
//---------------------------------------------------------------------------
//---------------------------------------------------------------------------
// HEADERS - No implementation in a header
//---------------------------------------------------------------------------
CheckHeaders::CheckHeaders(const Tokenizer *tokenizer, ErrorLogger *errorLogger)
2008-12-18 22:28:57 +01:00
{
_tokenizer = tokenizer;
_errorLogger = errorLogger;
}
CheckHeaders::~CheckHeaders()
{
}
void CheckHeaders::warningHeaderWithImplementation()
2008-12-18 22:28:57 +01:00
{
for (const Token *tok = _tokenizer->tokens(); tok; tok = tok->next())
2008-12-18 22:28:57 +01:00
{
// Only interested in included file
if (tok->fileIndex() == 0)
continue;
if (Token::simpleMatch(tok, ") {"))
2008-12-18 22:28:57 +01:00
{
std::ostringstream ostr;
ostr << _tokenizer->fileLine(tok) << ": Found implementation in header";
// TODO, this check is currently not used, but if it is some day
// it should give correct id and severity by calling proper function
// from errorLogger. It should not call reportErr directly.
// std::list<ErrorLogger::ErrorMessage::FileLocation> empty;
// empty.push_back(FileLocation());
// _errorLogger->reportErr(empty, "severity", ostr.str(), "id");
2008-12-18 22:28:57 +01:00
// Goto next file..
unsigned int fileindex = tok->fileIndex();
while (tok->next() && tok->fileIndex() == fileindex)
2008-12-18 22:28:57 +01:00
tok = tok->next();
}
}
}
//---------------------------------------------------------------------------
//---------------------------------------------------------------------------
// HEADERS - Unneeded include
//---------------------------------------------------------------------------
void CheckHeaders::warningIncludeHeader()
2008-12-18 22:28:57 +01:00
{
// Including..
for (const Token *includetok = _tokenizer->tokens(); includetok; includetok = includetok->next())
2008-12-18 22:28:57 +01:00
{
if (includetok->str() != "#include")
continue;
// Get fileindex of included file..
unsigned int hfile = 0;
const char *includefile = includetok->strAt(1);
2008-12-18 22:28:57 +01:00
while (hfile < _tokenizer->getFiles()->size())
{
if (FileLister::sameFileName(_tokenizer->getFiles()->at(hfile).c_str(), includefile))
2008-12-18 22:28:57 +01:00
break;
2009-01-01 23:22:28 +01:00
++hfile;
2008-12-18 22:28:57 +01:00
}
if (hfile == _tokenizer->getFiles()->size())
continue;
// This header is needed if:
// * It contains some needed class declaration
// * It contains some needed function declaration
// * It contains some needed constant value
// * It contains some needed variable
// * It contains some needed enum
std::list<std::string> classlist;
std::list<std::string> namelist;
// Extract classes and names in the header..
int indentlevel = 0;
for (const Token *tok1 = _tokenizer->tokens(); tok1; tok1 = tok1->next())
2008-12-18 22:28:57 +01:00
{
if (tok1->fileIndex() != hfile)
2008-12-18 22:28:57 +01:00
continue;
// I'm only interested in stuff that is declared at indentlevel 0
if (tok1->str() == "{")
++indentlevel;
else if (tok1->str() == "}")
--indentlevel;
if (indentlevel != 0)
continue;
// Class or namespace declaration..
// --------------------------------------
if (Token::Match(tok1, "class %var% {") || Token::Match(tok1, "class %var% :") || Token::Match(tok1, "namespace %var% {"))
2008-12-18 22:28:57 +01:00
classlist.push_back(tok1->strAt(1));
// Variable declaration..
// --------------------------------------
else if (Token::Match(tok1, "%type% %var% ;") || Token::Match(tok1, "%type% %var% ["))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(1));
else if (Token::Match(tok1, "%type% * %var% ;") || Token::Match(tok1, "%type% * %var% ["))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(2));
else if (Token::Match(tok1, "const %type% %var% =") || Token::Match(tok1, "const %type% %var% ["))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(2));
else if (Token::Match(tok1, "const %type% * %var% =") || Token::Match(tok1, "const %type% * %var% ["))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(3));
// enum..
// --------------------------------------
else if (tok1->str() == "enum")
{
tok1 = tok1->next();
while (! Token::Match(tok1, "; %any%"))
2008-12-18 22:28:57 +01:00
{
if (tok1->isName())
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->str());
tok1 = tok1->next();
}
}
// function..
// --------------------------------------
else if (Token::Match(tok1, "%type% %var% ("))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(1));
else if (Token::Match(tok1, "%type% * %var% ("))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(2));
else if (Token::Match(tok1, "const %type% %var% ("))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(2));
else if (Token::Match(tok1, "const %type% * %var% ("))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->strAt(3));
// typedef..
// --------------------------------------
else if (tok1->str() == "typedef")
{
if (strcmp(tok1->strAt(1), "enum") == 0)
2008-12-18 22:28:57 +01:00
continue;
int parlevel = 0;
while (tok1->next())
{
if (Token::Match(tok1, "[({]"))
2009-01-01 23:22:28 +01:00
++parlevel;
2008-12-18 22:28:57 +01:00
else if (Token::Match(tok1, "[)}]"))
2009-01-01 23:22:28 +01:00
--parlevel;
2008-12-18 22:28:57 +01:00
else if (parlevel == 0)
{
if (tok1->str() == ";")
2008-12-18 22:28:57 +01:00
break;
if (Token::Match(tok1, "%var% ;"))
2008-12-18 22:28:57 +01:00
namelist.push_back(tok1->str());
}
tok1 = tok1->next();
}
}
}
// Check if the extracted names are used...
bool Needed = false;
bool NeedDeclaration = false;
for (const Token *tok1 = _tokenizer->tokens(); tok1; tok1 = tok1->next())
2008-12-18 22:28:57 +01:00
{
if (tok1->fileIndex() != includetok->fileIndex())
continue;
if (Token::Match(tok1, ": %var% {") || Token::Match(tok1, ": %type% %var% {"))
2008-12-18 22:28:57 +01:00
{
std::string classname = tok1->strAt((strcmp(tok1->strAt(2), "{")) ? 2 : 1);
if (std::find(classlist.begin(), classlist.end(), classname) != classlist.end())
2008-12-18 22:28:57 +01:00
{
Needed = true;
break;
}
}
if (! tok1->isName())
2008-12-18 22:28:57 +01:00
continue;
if (std::find(namelist.begin(), namelist.end(), tok1->str().c_str()) != namelist.end())
2008-12-18 22:28:57 +01:00
{
Needed = true;
break;
}
if (! NeedDeclaration)
NeedDeclaration = (std::find(classlist.begin(), classlist.end(), tok1->str().c_str()) != classlist.end());
2008-12-18 22:28:57 +01:00
}
// Not a header file?
if (includetok->fileIndex() == 0)
Needed |= NeedDeclaration;
// Not needed!
if (!Needed)
{
std::ostringstream ostr;
ostr << _tokenizer->fileLine(includetok) << ": The included header '" << includefile << "' is not needed";
if (NeedDeclaration)
ostr << " (but a forward declaration is needed)";
// TODO, this check is currently not used, but if it is some day
// it should give correct id and severity by calling proper function
// from errorLogger. It should not call reportErr directly.
// std::list<FileLocation> empty;
// empty.push_back(FileLocation());
// _errorLogger->reportErr(empty, "severity", ostr.str(), "id"); // TODO
2008-12-18 22:28:57 +01:00
}
}
}
//---------------------------------------------------------------------------