clang  6.0.0svn
Macros
StdLibraryFunctionsChecker.cpp File Reference
#include "ClangSACheckers.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,
 
)    { x, y },

◆ 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, {