2009-01-31 20:29:27 +01:00
|
|
|
/*
|
|
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
2016-01-01 14:34:45 +01:00
|
|
|
* Copyright (C) 2007-2016 Cppcheck team.
|
2009-01-31 20:29:27 +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
|
2009-09-27 17:08:31 +02:00
|
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
2009-01-31 20:29:27 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
#ifndef preprocessorH
|
|
|
|
#define preprocessorH
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
|
2016-07-20 12:21:00 +02:00
|
|
|
#include "config.h"
|
|
|
|
#include "simplecpp.h"
|
|
|
|
|
2009-01-31 20:29:27 +01:00
|
|
|
#include <map>
|
|
|
|
#include <istream>
|
|
|
|
#include <string>
|
|
|
|
#include <list>
|
2013-10-27 10:33:37 +01:00
|
|
|
#include <set>
|
2010-07-24 22:12:56 +02:00
|
|
|
|
|
|
|
class ErrorLogger;
|
|
|
|
class Settings;
|
2009-01-31 20:29:27 +01:00
|
|
|
|
2015-12-07 19:54:41 +01:00
|
|
|
/**
|
|
|
|
* @brief A preprocessor directive
|
2016-02-03 17:08:46 +01:00
|
|
|
* Each preprocessor directive (\#include, \#define, \#undef, \#if, \#ifdef, \#else, \#endif)
|
|
|
|
* will be recorded as an instance of this class.
|
2015-12-07 19:54:41 +01:00
|
|
|
*
|
|
|
|
* file and linenr denote the location where where the directive is defined.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
class CPPCHECKLIB Directive {
|
|
|
|
public:
|
|
|
|
/** name of (possibly included) file where directive is defined */
|
|
|
|
std::string file;
|
|
|
|
|
|
|
|
/** line number in (possibly included) file where directive is defined */
|
|
|
|
int linenr;
|
|
|
|
|
|
|
|
/** the actual directive text */
|
|
|
|
std::string str;
|
|
|
|
|
|
|
|
/** record a directive (possibly filtering src) */
|
|
|
|
Directive(const std::string &_file, const int _linenr, const std::string &_str);
|
|
|
|
};
|
|
|
|
|
2009-07-17 10:49:01 +02:00
|
|
|
/// @addtogroup Core
|
|
|
|
/// @{
|
|
|
|
|
2010-07-21 11:50:04 +02:00
|
|
|
/**
|
|
|
|
* @brief The cppcheck preprocessor.
|
|
|
|
* The preprocessor has special functionality for extracting the various ifdef
|
|
|
|
* configurations that exist in a source file.
|
|
|
|
*/
|
2012-06-10 14:19:09 +02:00
|
|
|
class CPPCHECKLIB Preprocessor {
|
2009-01-31 20:29:27 +01:00
|
|
|
public:
|
2010-07-21 11:50:04 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Include file types.
|
|
|
|
*/
|
2011-10-13 20:53:06 +02:00
|
|
|
enum HeaderTypes {
|
2010-07-21 11:50:04 +02:00
|
|
|
NoHeader = 0,
|
|
|
|
UserHeader,
|
|
|
|
SystemHeader
|
|
|
|
};
|
|
|
|
|
2012-03-27 19:35:41 +02:00
|
|
|
/** character that is inserted in expanded macros */
|
|
|
|
static char macroChar;
|
|
|
|
|
2015-07-24 13:30:41 +02:00
|
|
|
Preprocessor(Settings& settings, ErrorLogger *errorLogger = nullptr);
|
2016-07-20 12:21:00 +02:00
|
|
|
virtual ~Preprocessor();
|
2009-01-31 20:29:27 +01:00
|
|
|
|
2011-05-02 14:58:16 +02:00
|
|
|
static bool missingIncludeFlag;
|
2014-05-03 19:31:15 +02:00
|
|
|
static bool missingSystemIncludeFlag;
|
2011-05-02 14:58:16 +02:00
|
|
|
|
2016-07-20 12:21:00 +02:00
|
|
|
void inlineSuppressions(const simplecpp::TokenList &tokens);
|
|
|
|
|
|
|
|
std::set<std::string> getConfigs(const simplecpp::TokenList &tokens) const;
|
|
|
|
|
|
|
|
void loadFiles(const simplecpp::TokenList &rawtokens, std::vector<std::string> &files);
|
|
|
|
|
2016-07-21 07:48:17 +02:00
|
|
|
void removeComments();
|
|
|
|
|
2009-01-31 20:29:27 +01:00
|
|
|
/**
|
|
|
|
* Extract the code for each configuration
|
|
|
|
* @param istr The (file/string) stream to read from.
|
|
|
|
* @param result The map that will get the results
|
|
|
|
* @param filename The name of the file to check e.g. "src/main.cpp"
|
2013-02-10 07:43:09 +01:00
|
|
|
* @param includePaths List of paths where include files should be searched from,
|
2009-01-31 20:29:27 +01:00
|
|
|
* single path can be e.g. in format "include/".
|
|
|
|
* There must be a path separator at the end. Default parameter is empty list.
|
|
|
|
* Note that if path from given filename is also extracted and that is used as
|
|
|
|
* a last include path if include file was not found from earlier paths.
|
|
|
|
*/
|
2009-07-25 21:10:30 +02:00
|
|
|
void preprocess(std::istream &istr, std::map<std::string, std::string> &result, const std::string &filename, const std::list<std::string> &includePaths = std::list<std::string>());
|
2009-01-31 20:29:27 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Extract the code for each configuration. Use this with getcode() to get the
|
|
|
|
* file data for each individual configuration.
|
|
|
|
*
|
2010-04-09 21:40:37 +02:00
|
|
|
* @param srcCodeStream The (file/string) stream to read from.
|
2009-01-31 20:29:27 +01:00
|
|
|
* @param processedFile Give reference to empty string as a parameter,
|
|
|
|
* function will fill processed file here. Use this also as a filedata parameter
|
2010-12-15 18:45:53 +01:00
|
|
|
* to getcode() if you received more than once configurations.
|
2009-01-31 20:29:27 +01:00
|
|
|
* @param resultConfigurations List of configurations. Pass these one by one
|
|
|
|
* to getcode() with processedFile.
|
|
|
|
* @param filename The name of the file to check e.g. "src/main.cpp"
|
2013-02-10 07:43:09 +01:00
|
|
|
* @param includePaths List of paths where include files should be searched from,
|
2009-01-31 20:29:27 +01:00
|
|
|
* single path can be e.g. in format "include/".
|
|
|
|
* There must be a path separator at the end. Default parameter is empty list.
|
|
|
|
* Note that if path from given filename is also extracted and that is used as
|
|
|
|
* a last include path if include file was not found from earlier paths.
|
|
|
|
*/
|
2010-04-09 21:40:37 +02:00
|
|
|
void preprocess(std::istream &srcCodeStream, std::string &processedFile, std::list<std::string> &resultConfigurations, const std::string &filename, const std::list<std::string> &includePaths);
|
2009-01-31 20:29:27 +01:00
|
|
|
|
2016-07-20 12:21:00 +02:00
|
|
|
std::string getcode(const simplecpp::TokenList &tokens1, const std::string &cfg, std::vector<std::string> &files, const bool writeLocations);
|
2013-11-15 19:21:21 +01:00
|
|
|
|
2009-01-31 20:29:27 +01:00
|
|
|
/**
|
|
|
|
* Get preprocessed code for a given configuration
|
2012-10-24 01:20:14 +02:00
|
|
|
* @param filedata file data including preprocessing 'if', 'define', etc
|
2012-07-10 20:29:04 +02:00
|
|
|
* @param cfg configuration to read out
|
|
|
|
* @param filename name of source file
|
2009-01-31 20:29:27 +01:00
|
|
|
*/
|
2013-08-12 18:12:49 +02:00
|
|
|
std::string getcode(const std::string &filedata, const std::string &cfg, const std::string &filename);
|
2009-01-31 20:29:27 +01:00
|
|
|
|
2010-04-15 22:45:38 +02:00
|
|
|
/**
|
|
|
|
* preprocess all whitespaces
|
|
|
|
* @param processedFile The data to be processed
|
|
|
|
*/
|
|
|
|
static void preprocessWhitespaces(std::string &processedFile);
|
2012-07-10 20:29:04 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* make sure empty configuration macros are not used in code. the given code must be a single configuration
|
|
|
|
* @param code The input code
|
|
|
|
* @param cfg configuration
|
|
|
|
* @return true => configuration is valid
|
|
|
|
*/
|
|
|
|
bool validateCfg(const std::string &code, const std::string &cfg);
|
2013-06-06 12:44:19 +02:00
|
|
|
void validateCfgError(const std::string &cfg, const std::string ¯o);
|
2012-07-10 20:29:04 +02:00
|
|
|
|
2010-01-13 21:50:44 +01:00
|
|
|
/**
|
|
|
|
* report error
|
|
|
|
* @param fileName name of file that the error was found in
|
|
|
|
* @param linenr linenr in file
|
|
|
|
* @param errorLogger Error logger to write error to
|
|
|
|
* @param errorType id string for error
|
|
|
|
* @param errorText Plain text
|
|
|
|
*/
|
2010-08-06 19:38:21 +02:00
|
|
|
static void writeError(const std::string &fileName, const unsigned int linenr, ErrorLogger *errorLogger, const std::string &errorType, const std::string &errorText);
|
2009-05-19 21:19:15 +02:00
|
|
|
|
2009-10-04 07:25:30 +02:00
|
|
|
/**
|
2010-12-15 18:45:53 +01:00
|
|
|
* Remove redundant parentheses from preprocessor commands. This should only be called from read().
|
2009-10-04 07:25:30 +02:00
|
|
|
* @param str Code processed by read().
|
2010-12-15 18:45:53 +01:00
|
|
|
* @return code with reduced parentheses
|
2009-10-04 07:25:30 +02:00
|
|
|
*/
|
2011-03-30 16:45:31 +02:00
|
|
|
static std::string removeParentheses(const std::string &str);
|
2009-10-04 07:25:30 +02:00
|
|
|
|
2011-02-11 06:30:42 +01:00
|
|
|
/**
|
2011-02-11 19:31:37 +01:00
|
|
|
* clean up #-preprocessor lines (only)
|
2011-02-11 06:30:42 +01:00
|
|
|
* @param processedFile The data to be processed
|
|
|
|
*/
|
2012-09-01 10:32:27 +02:00
|
|
|
static std::string preprocessCleanupDirectives(const std::string &processedFile);
|
2011-02-11 06:30:42 +01:00
|
|
|
|
2009-05-22 22:59:07 +02:00
|
|
|
/**
|
2009-07-18 10:25:22 +02:00
|
|
|
* Returns the string between double quote characters or \< \> characters.
|
|
|
|
* @param str e.g. \code#include "menu.h"\endcode or \code#include <menu.h>\endcode
|
2009-05-22 23:18:48 +02:00
|
|
|
* After function call it will contain e.g. "menu.h" without double quotes.
|
2010-07-21 11:50:04 +02:00
|
|
|
* @return NoHeader empty string if double quotes or \< \> were not found.
|
|
|
|
* UserHeader if file surrounded with "" was found
|
|
|
|
* SystemHeader if file surrounded with \<\> was found
|
2009-05-22 22:59:07 +02:00
|
|
|
*/
|
2010-07-21 11:50:04 +02:00
|
|
|
static Preprocessor::HeaderTypes getHeaderFileName(std::string &str);
|
2009-02-07 21:06:00 +01:00
|
|
|
private:
|
2009-01-31 20:29:27 +01:00
|
|
|
|
|
|
|
/**
|
2009-02-07 21:06:00 +01:00
|
|
|
* Remove space that has new line character on left or right side of it.
|
2009-01-31 20:29:27 +01:00
|
|
|
*
|
|
|
|
* @param str The string to be converted
|
2009-02-07 21:06:00 +01:00
|
|
|
* @return The string where space characters have been removed.
|
2009-01-31 20:29:27 +01:00
|
|
|
*/
|
2009-02-07 21:06:00 +01:00
|
|
|
static std::string removeSpaceNearNL(const std::string &str);
|
2009-01-31 20:29:27 +01:00
|
|
|
|
2013-06-08 16:46:54 +02:00
|
|
|
static std::string getdef(std::string line, bool def);
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
2009-01-31 20:29:27 +01:00
|
|
|
|
2010-12-29 12:43:29 +01:00
|
|
|
static void getErrorMessages(ErrorLogger *errorLogger, const Settings *settings);
|
2010-09-03 13:30:49 +02:00
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void setFile0(const std::string &f) {
|
2012-11-03 11:25:40 +01:00
|
|
|
file0 = f;
|
|
|
|
}
|
|
|
|
|
2015-12-07 19:54:41 +01:00
|
|
|
/**
|
|
|
|
* dump all directives present in source file
|
|
|
|
*/
|
|
|
|
void dump(std::ostream &out) const;
|
|
|
|
|
2009-07-25 16:22:42 +02:00
|
|
|
private:
|
2013-03-13 06:48:33 +01:00
|
|
|
void missingInclude(const std::string &filename, unsigned int linenr, const std::string &header, HeaderTypes headerType);
|
2010-12-29 12:43:29 +01:00
|
|
|
|
|
|
|
void error(const std::string &filename, unsigned int linenr, const std::string &msg);
|
|
|
|
|
2015-07-24 13:30:41 +02:00
|
|
|
Settings& _settings;
|
2009-07-25 21:10:30 +02:00
|
|
|
ErrorLogger *_errorLogger;
|
2010-09-03 13:30:49 +02:00
|
|
|
|
2015-12-07 19:54:41 +01:00
|
|
|
/** list of all directives met while preprocessing file */
|
|
|
|
std::list<Directive> directives;
|
|
|
|
|
2016-07-20 12:21:00 +02:00
|
|
|
std::map<std::string, simplecpp::TokenList *> tokenlists;
|
|
|
|
|
2010-09-03 13:30:49 +02:00
|
|
|
/** filename for cpp/c file - useful when reporting errors */
|
|
|
|
std::string file0;
|
2009-01-31 20:29:27 +01:00
|
|
|
};
|
|
|
|
|
2009-07-17 10:49:01 +02:00
|
|
|
/// @}
|
2009-01-31 20:29:27 +01:00
|
|
|
//---------------------------------------------------------------------------
|
2013-09-04 20:59:49 +02:00
|
|
|
#endif // preprocessorH
|