Add a collision list for FuncInsts with the same source line number

[c11tester.git] / funcnode.h

diff --git a/funcnode.h b/funcnode.h
index fab4db50903af3bd5e4146b18b42ce5ce135c01c..ea591a2e05ba5426c0e553b11cacfa609c0df078 100644 (file)
--- a/funcnode.h
+++ b/funcnode.h
@@ -25,6 +25,7 @@ public:
        void set_new_exec_flag();
 
        void add_inst(ModelAction *act);
        void set_new_exec_flag();
 
        void add_inst(ModelAction *act);

+       FuncInst * create_new_inst(ModelAction *act);

        FuncInst * get_inst(ModelAction *act);
 
        HashTable<const char *, FuncInst *, uintptr_t, 4, model_malloc, model_calloc, model_free> * getFuncInstMap() { return &func_inst_map; }
        FuncInst * get_inst(ModelAction *act);
 
        HashTable<const char *, FuncInst *, uintptr_t, 4, model_malloc, model_calloc, model_free> * getFuncInstMap() { return &func_inst_map; }