1 files changed, 86 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/bugs/constructor_throw/constructor_throw.cpp b/src/systemc/tests/systemc/bugs/constructor_throw/constructor_throw.cpp
new file mode 100644
index 000000000..560643bc1
--- /dev/null
+++ b/src/systemc/tests/systemc/bugs/constructor_throw/constructor_throw.cpp
@@ -0,0 +1,86 @@
+/*****************************************************************************
+
+  Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+  more contributor license agreements.  See the NOTICE file distributed
+  with this work for additional information regarding copyright ownership.
+  Accellera licenses this file to you under the Apache License, Version 2.0
+  (the "License"); you may not use this file except in compliance with the
+  License.  You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+  Unless required by applicable law or agreed to in writing, software
+  distributed under the License is distributed on an "AS IS" BASIS,
+  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+  implied.  See the License for the specific language governing
+  permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+  test01.cpp -- 
+
+  Original Author: Andy Goodrich, Forte Design Systems, 14 March 2006
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+  MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+  changes you are making here.
+
+  $Log: constructor_throw.cpp,v $
+  Revision 1.1.1.1  2006/12/15 20:25:56  acg
+  systemc_tests-2.3
+
+  Revision 1.1  2006/03/15 00:12:08  acg
+   Andy Goodrich: Forte Design Systems
+   First check in.
+
+ *****************************************************************************/
+
+//  This tests a bug when an exception is thrown in 
+// sc_module::sc_module() for a dynamically allocated sc_module 
+//  object. We are calling sc_module::end_module() on a module that has 
+// already been deleted. The scenario runs like this: 
+// 
+// a) the sc_module constructor is entered
+// b) the exception is thrown
+// c) the exception processor deletes the storage for the sc_module 
+// d) the stack is unrolled causing the sc_module_name instance to be deleted
+// e) ~sc_module_name() calls end_module() with its pointer to the sc_module
+// f) because the sc_module has been deleted its storage is corrupted, 
+// either by linking it to a free space chain, or by reuse of some sort
+// g) the m_simc field is garbage
+// h) the m_object_manager field is also garbage
+// i) an exception occurs
+// 
+// This does not happen for automatic sc_module instances since the 
+// storage for the module is not reclaimed its just part of the stack. 
+// 
+// I am fixing this by having the destructor for sc_module clear the 
+// module pointer in its sc_module_name instance. That cuts things at 
+// step (e) above, since the pointer will be null if the module has 
+// already been deleted. To make sure the module stack is okay, I call 
+// end-module() in ~sc_module in the case where there is an 
+// sc_module_name pointer lying around. 
+
+#include "systemc.h"
+
+SC_MODULE(X)
+{
+    SC_CTOR(X)
+    {
+        SC_REPORT_ERROR(SC_ID_SET_TIME_RESOLUTION_,"");
+    }
+};
+
+int sc_main(int argc, char* argv[])
+{
+    sc_module* x_p = new X("x");
+
+    cout << "Program completed" << endl;
+    return 0;
+}
+