ThreadSafetyTIL.h File Reference

#include "clang/AST/Decl.h"
#include "clang/Analysis/Analyses/ThreadSafetyUtil.h"
#include "clang/Basic/LLVM.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>
#include <cstddef>
#include <cstdint>
#include <iterator>
#include <optional>
#include <string>
#include <utility>
#include "ThreadSafetyOps.def"

Go to the source code of this file.

Classes
struct	clang::threadSafety::til::ValueType
	ValueTypes are data types that can actually be held in registers. More...
class	clang::threadSafety::til::SExpr
	Base class for AST nodes in the typed intermediate language. More...
class	clang::threadSafety::til::Variable
	A named variable, e.g. More...
class	clang::threadSafety::til::Future
	Placeholder for an expression that has not yet been created. More...
class	clang::threadSafety::til::Undefined
	Placeholder for expressions that cannot be represented in the TIL. More...
class	clang::threadSafety::til::Wildcard
	Placeholder for a wildcard that matches any other expression. More...
class	clang::threadSafety::til::Literal
class	clang::threadSafety::til::LiteralT< T >
class	clang::threadSafety::til::LiteralPtr
	A Literal pointer to an object allocated in memory. More...
class	clang::threadSafety::til::Function
	A function – a.k.a. More...
class	clang::threadSafety::til::SFunction
	A self-applicable function. More...
class	clang::threadSafety::til::Code
	A block of code – e.g. the body of a function. More...
class	clang::threadSafety::til::Field
	A typed, writable location in memory. More...
class	clang::threadSafety::til::Apply
	Apply an argument to a function. More...
class	clang::threadSafety::til::SApply
	Apply a self-argument to a self-applicable function. More...
class	clang::threadSafety::til::Project
	Project a named slot from a C++ struct or class. More...
class	clang::threadSafety::til::Call
	Call a function (after all arguments have been applied). More...
class	clang::threadSafety::til::Alloc
	Allocate memory for a new value on the heap or stack. More...
class	clang::threadSafety::til::Load
	Load a value from memory. More...
class	clang::threadSafety::til::Store
	Store a value to memory. More...
class	clang::threadSafety::til::ArrayIndex
	If p is a reference to an array, then p[i] is a reference to the i'th element of the array. More...
class	clang::threadSafety::til::ArrayAdd
	Pointer arithmetic, restricted to arrays only. More...
class	clang::threadSafety::til::UnaryOp
	Simple arithmetic unary operations, e.g. More...
class	clang::threadSafety::til::BinaryOp
	Simple arithmetic binary operations, e.g. More...
class	clang::threadSafety::til::Cast
	Cast expressions. More...
class	clang::threadSafety::til::Phi
	Phi Node, for code in SSA form. More...
class	clang::threadSafety::til::Terminator
	Base class for basic block terminators: Branch, Goto, and Return. More...
class	clang::threadSafety::til::Goto
	Jump to another basic block. More...
class	clang::threadSafety::til::Branch
	A conditional branch to two other blocks. More...
class	clang::threadSafety::til::Return
	Return from the enclosing function, passing the return value to the caller. More...
class	clang::threadSafety::til::BasicBlock
	A basic block is part of an SCFG. More...
struct	clang::threadSafety::til::BasicBlock::TopologyNode
class	clang::threadSafety::til::SCFG
	An SCFG is a control-flow graph. More...
class	clang::threadSafety::til::Identifier
	An identifier, e.g. More...
class	clang::threadSafety::til::IfThenElse
	An if-then-else expression. More...
class	clang::threadSafety::til::Let
	A let-expression, e.g. More...

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::threadSafety
namespace	clang::threadSafety::til
namespace	clang::threadSafety::til::ThreadSafetyTIL

Macros
#define	TIL_OPCODE_DEF(X)   COP_##X,

Enumerations
enum	clang::threadSafety::til::TIL_Opcode : unsigned char
	Enum for the different distinct classes of SExpr. More...
enum	clang::threadSafety::til::TIL_UnaryOpcode : unsigned char { clang::threadSafety::til::UOP_Minus , clang::threadSafety::til::UOP_BitNot , clang::threadSafety::til::UOP_LogicNot }
	Opcode for unary arithmetic operations. More...
enum	clang::threadSafety::til::TIL_BinaryOpcode : unsigned char {   clang::threadSafety::til::BOP_Add , clang::threadSafety::til::BOP_Sub , clang::threadSafety::til::BOP_Mul , clang::threadSafety::til::BOP_Div ,   clang::threadSafety::til::BOP_Rem , clang::threadSafety::til::BOP_Shl , clang::threadSafety::til::BOP_Shr , clang::threadSafety::til::BOP_BitAnd ,   clang::threadSafety::til::BOP_BitXor , clang::threadSafety::til::BOP_BitOr , clang::threadSafety::til::BOP_Eq , clang::threadSafety::til::BOP_Neq ,   clang::threadSafety::til::BOP_Lt , clang::threadSafety::til::BOP_Leq , clang::threadSafety::til::BOP_Cmp , clang::threadSafety::til::BOP_LogicAnd ,   clang::threadSafety::til::BOP_LogicOr }
	Opcode for binary arithmetic operations. More...
enum	clang::threadSafety::til::TIL_CastOpcode : unsigned char {   clang::threadSafety::til::CAST_none = 0 , clang::threadSafety::til::CAST_extendNum , clang::threadSafety::til::CAST_truncNum , clang::threadSafety::til::CAST_toFloat ,   clang::threadSafety::til::CAST_toInt , clang::threadSafety::til::CAST_objToPtr }
	Opcode for cast operations. More...

Functions
StringRef	clang::threadSafety::til::getUnaryOpcodeString (TIL_UnaryOpcode Op)
	Return the name of a unary opcode.
StringRef	clang::threadSafety::til::getBinaryOpcodeString (TIL_BinaryOpcode Op)
	Return the name of a binary opcode.
bool	clang::threadSafety::til::ThreadSafetyTIL::isTrivial (const SExpr *E)
const SExpr *	clang::threadSafety::til::getCanonicalVal (const SExpr *E)
SExpr *	clang::threadSafety::til::simplifyToCanonicalVal (SExpr *E)
void	clang::threadSafety::til::simplifyIncompleteArg (til::Phi *Ph)

Variables
const TIL_Opcode	clang::threadSafety::til::COP_Min = COP_Future
const TIL_Opcode	clang::threadSafety::til::COP_Max = COP_Branch
const TIL_UnaryOpcode	clang::threadSafety::til::UOP_Min = UOP_Minus
const TIL_UnaryOpcode	clang::threadSafety::til::UOP_Max = UOP_LogicNot
const TIL_BinaryOpcode	clang::threadSafety::til::BOP_Min = BOP_Add
const TIL_BinaryOpcode	clang::threadSafety::til::BOP_Max = BOP_LogicOr
const TIL_CastOpcode	clang::threadSafety::til::CAST_Min = CAST_none
const TIL_CastOpcode	clang::threadSafety::til::CAST_Max = CAST_toInt

Macro Definition Documentation

TIL_OPCODE_DEF

#define TIL_OPCODE_DEF

(

X

)

COP_##X,

Definition at line 78 of file ThreadSafetyTIL.h.