#include <ThreadSafetyTIL.h>
Public Member Functions | |
| Return (SExpr *Rval) | |
| Return (const Return &R, SExpr *Rval) | |
| ArrayRef< BasicBlock * > | successors () |
| Return an empty list. | |
| SExpr * | returnValue () |
| const SExpr * | returnValue () const |
| template<class V > | |
| V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
| template<class C > | |
| C::CType | compare (const Return *E, C &Cmp) const |
Static Public Member Functions | |
| static bool | classof (const SExpr *E) |
Detailed Description
Return from the enclosing function, passing the return value to the caller. Only the exit block should end with a return statement.
Definition at line 1474 of file ThreadSafetyTIL.h.
Constructor & Destructor Documentation
| clang::threadSafety::til::Return::Return | ( | SExpr * | Rval | ) | [inline] |
Definition at line 1478 of file ThreadSafetyTIL.h.
| clang::threadSafety::til::Return::Return | ( | const Return & | R, |
| SExpr * | Rval | ||
| ) | [inline] |
Definition at line 1479 of file ThreadSafetyTIL.h.
Member Function Documentation
| static bool clang::threadSafety::til::Return::classof | ( | const SExpr * | E | ) | [inline, static] |
Reimplemented from clang::threadSafety::til::Terminator.
Definition at line 1476 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
| C::CType clang::threadSafety::til::Return::compare | ( | const Return * | E, |
| C & | Cmp | ||
| ) | const [inline] |
Definition at line 1496 of file ThreadSafetyTIL.h.
| SExpr* clang::threadSafety::til::Return::returnValue | ( | ) | [inline] |
Definition at line 1486 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printReturn().
| const SExpr* clang::threadSafety::til::Return::returnValue | ( | ) | const [inline] |
Definition at line 1487 of file ThreadSafetyTIL.h.
| ArrayRef<BasicBlock*> clang::threadSafety::til::Return::successors | ( | ) | [inline] |
Return an empty list.
Reimplemented from clang::threadSafety::til::Terminator.
Definition at line 1482 of file ThreadSafetyTIL.h.
| V::R_SExpr clang::threadSafety::til::Return::traverse | ( | V & | Vs, |
| typename V::R_Ctx | Ctx | ||
| ) | [inline] |
Definition at line 1490 of file ThreadSafetyTIL.h.
The documentation for this class was generated from the following file: