svn commit: r470386 - /incubator/harmony/enhanced/drlvm/trunk/vm/vmcore/src/verifier/Verifier.cpp

[gs...@apache.org]

Author: gshimansky
Date: Thu Nov  2 07:31:57 2006
New Revision: 470386

URL: http://svn.apache.org/viewvc?view=rev&rev=470386
Log:
Applied HARMONY-2035 [drlvm][verifier] too eager check of constraints for exceptions

Tests passed on win32 and ubuntu 6.


Modified:
    incubator/harmony/enhanced/drlvm/trunk/vm/vmcore/src/verifier/Verifier.cpp

Modified: incubator/harmony/enhanced/drlvm/trunk/vm/vmcore/src/verifier/Verifier.cpp
URL: http://svn.apache.org/viewvc/incubator/harmony/enhanced/drlvm/trunk/vm/vmcore/src/verifier/Verifier.cpp?view=diff&rev=470386&r1=470385&r2=470386
==============================================================================
--- incubator/harmony/enhanced/drlvm/trunk/vm/vmcore/src/verifier/Verifier.cpp (original)
+++ incubator/harmony/enhanced/drlvm/trunk/vm/vmcore/src/verifier/Verifier.cpp Thu Nov  2 07:31:57 2006
@@ -5124,20 +5124,6 @@
         }
     }
 
-    // set constraints for class exceptions a method can throw
-    count = method_get_number_exc_method_can_throw( ctex->m_method );
-    for( index = 0; index < count; index++ ) {
-        // create valid type for exception class
-        const char* name = method_get_exc_method_can_throw( ctex->m_method, index );
-        vf_ValidType_t *type = vf_create_class_valid_type( name, ctex );
-
-        // set restriction for handler class
-        if( ctex->m_vtype.m_throwable->string[0] != type->string[0] ) {
-            ctex->m_type->SetRestriction( ctex->m_vtype.m_throwable->string[0],
-                type->string[0], 0, VF_CHECK_SUPER );
-        }
-    }
-
     /** 
      * Initialize basic block count
      * Include start-entry basic block, handler basic blocks,