85   StringRef FName = C.getCalleeName(CE);  in REGISTER_LIST_WITH_PROGRAMSTATE()  local
86   if (FName.empty())  in REGISTER_LIST_WITH_PROGRAMSTATE()
92   if (FName == "pthread_mutex_lock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
93       FName == "pthread_rwlock_rdlock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
94       FName == "pthread_rwlock_wrlock")  in REGISTER_LIST_WITH_PROGRAMSTATE()
97   else if (FName == "lck_mtx_lock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
98            FName == "lck_rw_lock_exclusive" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
99            FName == "lck_rw_lock_shared")  in REGISTER_LIST_WITH_PROGRAMSTATE()
102   else if (FName == "pthread_mutex_trylock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
103            FName == "pthread_rwlock_tryrdlock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
104            FName == "pthread_rwlock_trywrlock")  in REGISTER_LIST_WITH_PROGRAMSTATE()
107   else if (FName == "lck_mtx_try_lock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
108            FName == "lck_rw_try_lock_exclusive" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
109            FName == "lck_rw_try_lock_shared")  in REGISTER_LIST_WITH_PROGRAMSTATE()
112   else if (FName == "pthread_mutex_unlock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
113            FName == "pthread_rwlock_unlock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
114            FName == "lck_mtx_unlock" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
115            FName == "lck_rw_done")  in REGISTER_LIST_WITH_PROGRAMSTATE()
117   else if (FName == "pthread_mutex_destroy" ||  in REGISTER_LIST_WITH_PROGRAMSTATE()
118            FName == "lck_mtx_destroy")  in REGISTER_LIST_WITH_PROGRAMSTATE()
120   else if (FName == "pthread_mutex_init")  in REGISTER_LIST_WITH_PROGRAMSTATE()