StdLibraryFunctionsChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"

Include dependency graph for StdLibraryFunctionsChecker.cpp:

Go to the source code of this file.

Macros
#define	SUMMARY_WITH_VARIANTS(identifier)   {#identifier, {
#define	END_SUMMARY_WITH_VARIANTS   }},
#define	VARIANT(argument_types, return_type, invalidation_approach)   { argument_types, return_type, invalidation_approach, {
#define	END_VARIANT   } },
#define	SUMMARY(identifier, argument_types, return_type, invalidation_approach)   { #identifier, { { argument_types, return_type, invalidation_approach, {
#define	END_SUMMARY   } } } },
#define	ARGUMENT_TYPES(...)   { __VA_ARGS__ }
#define	RETURN_TYPE(x)   x
#define	INVALIDATION_APPROACH(x)   x
#define	CASE   {
#define	END_CASE   },
#define	ARGUMENT_CONDITION(argument_number, condition_kind)   { argument_number, condition_kind, {
#define	END_ARGUMENT_CONDITION   }},
#define	RETURN_VALUE_CONDITION(condition_kind)   { Ret, condition_kind, {
#define	END_RETURN_VALUE_CONDITION   }},
#define	ARG_NO(x)   x##U
#define	RANGE(x, y)   { x, y },
#define	SINGLE_VALUE(x)   RANGE(x, x)
#define	IS_LESS_THAN(arg)   { BO_LE, arg }

Macro Definition Documentation

ARG_NO

#define ARG_NO

(

x

)

x##U

ARGUMENT_CONDITION

#define ARGUMENT_CONDITION	(		argument_number,
			condition_kind
	)		{ argument_number, condition_kind, {

ARGUMENT_TYPES

#define ARGUMENT_TYPES

(

...

)

{ __VA_ARGS__ }

CASE

#define CASE   {

END_ARGUMENT_CONDITION

#define END_ARGUMENT_CONDITION   }},

END_CASE

#define END_CASE   },

END_RETURN_VALUE_CONDITION

#define END_RETURN_VALUE_CONDITION   }},

END_SUMMARY

#define END_SUMMARY   } } } },

END_SUMMARY_WITH_VARIANTS

#define END_SUMMARY_WITH_VARIANTS   }},

END_VARIANT

#define END_VARIANT   } },

INVALIDATION_APPROACH

#define INVALIDATION_APPROACH

(

x

)

x

IS_LESS_THAN

#define IS_LESS_THAN

(

arg

)

{ BO_LE, arg }

RANGE

#define RANGE	(		x,
			y
	)		{ x, y },

Referenced by clang::CXXForRangeStmt::getRangeStmt(), and clang::CXXForRangeStmt::setRangeInit().

RETURN_TYPE

#define RETURN_TYPE

(

x

)

x

RETURN_VALUE_CONDITION

#define RETURN_VALUE_CONDITION

(

condition_kind

)

{ Ret, condition_kind, {

SINGLE_VALUE

#define SINGLE_VALUE

(

x

)

RANGE(x, x)

SUMMARY

#define SUMMARY	(		identifier,
			argument_types,
			return_type,
			invalidation_approach
	)		{ #identifier, { { argument_types, return_type, invalidation_approach, {

SUMMARY_WITH_VARIANTS

#define SUMMARY_WITH_VARIANTS

(

identifier

)

{#identifier, {

VARIANT

#define VARIANT	(		argument_types,
			return_type,
			invalidation_approach
	)		{ argument_types, return_type, invalidation_approach, {