C++ (Cpp) locationt::is_end_thread примеры использования

Пример #1

Файл: is_threaded.cpp Проект: lihaol/cbmc

 void transform(
   locationt from,
   locationt to,
   ai_baset &ai,
   const namespacet &ns) override final
 {
   if(!reachable) return;
   if(from->is_start_thread() ||
      to->is_end_thread())
   {
     has_spawn=true;
     is_threaded=true;
   }
 }