edits

[cdsspec-compiler.git] / notes / generated_code_examples.txt

diff --git a/notes/generated_code_examples.txt b/notes/generated_code_examples.txt
index 0993e2f349fccff1518a2b522909cf1ffb3e2318..2a7241c6156c00721d753f8592f1ab9938a779ec 100644 (file)
--- a/notes/generated_code_examples.txt
+++ b/notes/generated_code_examples.txt
@@ -98,6 +98,15 @@ void __sequential_init() {
        lock_acquired = false;
        reader_lock_cnt = 0;
 
+       /* Pass function table info */
+       anno_func_table_init func_table;
+       func_table.size = INTERFACE_SIZE;
+       func_table.table = func_ptr_table;
+       spec_annotation func_init;
+       func_init.type = FUNC_TABLE_INIT;
+       func_init.annotation = &anno_func_table_init;
+       cdsannotate(SPEC_ANALYSIS, &func_init);
+
        /* Pass the happens-before initialization here */
        /* PutIfAbsent (putIfAbsent_Succ) -> Get (true) */
        anno_hb_init hbConditionInit0;