#include "Annotations.h"
#include "Debug.h"
#include "FieldReference.h"
#include "Instrumentation.h"
#include "Manifest.h"
#include "Names.h"
#include "Transition.h"
#include <llvm/ADT/StringMap.h>
#include <llvm/IR/Constants.h>
#include <llvm/IR/Instructions.h>
#include <llvm/IR/Module.h>
#include <llvm/Support/raw_ostream.h>
#include <map>
#include <set>
Go to the source code of this file.
Classes | |
class | tesla::FieldInstrumentation |
Instrumentation for a struct field assignment. More... | |
Namespaces | |
namespace | tesla |
Variables | |
raw_ostream & | tesla::debug = debugs("tesla.instrumentation.field_assign") |