add func_map_rev to map function ids to function names

[c11tester.git] / cmodelint.cc

diff --git a/cmodelint.cc b/cmodelint.cc
index b1a8eb43d3258add2ff3d8af5f821ab566669105..f71c0f7e9904f8e8d8d91918a4b14cfac94c9745 100644 (file)
--- a/cmodelint.cc
+++ b/cmodelint.cc
@@ -369,10 +369,16 @@ void cds_func_entry(const char * funcName) {
 
        ModelHistory *history = model->get_history();
        if ( !history->getFuncMap()->contains(funcName) ) {
+               /* add func id to func map */
                func_id = history->get_func_counter();
                history->incr_func_counter();
-
                history->getFuncMap()->put(funcName, func_id);
+
+               /* add func id to reverse func map */
+               ModelVector<const char *> * func_map_rev = history->getFuncMapRev();
+               if ( func_map_rev->size() <= func_id )
+                       func_map_rev->resize( func_id + 1 );
+               func_map_rev->at(func_id) = funcName;
        } else {
                func_id = history->getFuncMap()->get(funcName);
        }