[Scstudio-commits] SF.net SVN: scstudio:[161] trunk/src/check/liveness/livelock_checker.cpp

[<ba...@us...>]

Revision: 161
          http://scstudio.svn.sourceforge.net/scstudio/?rev=161&view=rev
Author:   babicaj
Date:     2009-01-11 13:18:25 +0000 (Sun, 11 Jan 2009)

Log Message:
-----------
memory leak in LivelockChecker fixed

Modified Paths:
--------------
    trunk/src/check/liveness/livelock_checker.cpp

Modified: trunk/src/check/liveness/livelock_checker.cpp
===================================================================
--- trunk/src/check/liveness/livelock_checker.cpp	2009-01-09 22:17:25 UTC (rev 160)
+++ trunk/src/check/liveness/livelock_checker.cpp	2009-01-11 13:18:25 UTC (rev 161)
@@ -78,11 +78,12 @@
 bool& LivelockListener::get_reachable(HMscNode* node)
 {
   bool just_set;
-  return node->get_attribute<bool>(ATTRIBUTE_REACHABLE,false,just_set);
+  bool reachable = node->get_attribute<bool>(ATTRIBUTE_REACHABLE,false,just_set);
   if(just_set)
   {
     m_marked_elements.push_back(node);
   }
+  return reachable;
 }
 
 HMscPtr LivelockChecker::check(HMscPtr hmsc, ChannelMapperPtr chm)
@@ -127,6 +128,7 @@
   
 LivelockChecker::~LivelockChecker()
 {
+  cleanup_attributes();
 };
 
 void LivelockChecker::cleanup_attributes()


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.