#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>
Include dependency graph for FieldReference.cpp: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") |