add a dummy predicate entry node to make code simpler; back edges are also added
[c11tester.git] / libannotate.cc
1 #include <cdsannotate.h>
2 #include "common.h"
3 #include "action.h"
4 #include "model.h"
5
6 /** Pass in an annotation that a trace analysis will use.  The
7  *  analysis type is a unique number that specifies which trace
8  *  analysis needs the annotation.  The reference is to a data
9  *  structure that the trace understands. */
10
11 void cdsannotate(uint64_t analysistype, void *annotation) {
12         /* seq_cst is just a 'don't care' parameter */
13         model->switch_to_master(new ModelAction(ATOMIC_ANNOTATION, std::memory_order_seq_cst, annotation, analysistype));
14 }