#include #include #include #include #include #include #include #include "ThreadSafetyOps.def"">

clang: include/clang/Analysis/Analyses/ThreadSafetyTIL.h File Reference (original) (raw)

#include "[clang/AST/Decl.h](Decl%5F8h%5Fsource.html)"
#include "[clang/Analysis/Analyses/ThreadSafetyUtil.h](ThreadSafetyUtil%5F8h%5Fsource.html)"
#include "[clang/Basic/LLVM.h](LLVM%5F8h%5Fsource.html)"
#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"

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...