* src/vm/jit/verify/typecheck.c (verify_fieldaccess): New function.

[cacao.git] / src / vm / global.h

diff --git a/src/vm/global.h b/src/vm/global.h
index 58067f270980b9581d67f5e7463837d80973460e..00f45b1b88c08fce83c82e350b4cbf9448f95bf9 100644 (file)
--- a/src/vm/global.h
+++ b/src/vm/global.h
@@ -33,7 +33,7 @@
             Joseph Wenninger
             Christian Thalinger
 
-   $Id: global.h 5461 2006-09-11 00:33:32Z edwin $
+   $Id: global.h 5721 2006-10-08 11:39:41Z edwin $
 
 */
 
@@ -88,11 +88,6 @@ typedef struct java_objectheader java_objectheader;
 typedef struct java_objectarray java_objectarray;
 
 
-/* define some CACAO paths ****************************************************/
-
-#define CLASSPATH_LIBRARY_PATH      CLASSPATH_LIBDIR "/classpath"
-
-
 #define MAX_ALIGN 8             /* most generic alignment for JavaVM values   */
 
 
@@ -318,6 +313,24 @@ void compiler_lock();
 void compiler_unlock();
 #endif
 
+
+/* global constants related to the verifier ***********************************/
+
+/* The verifier needs additional variables in the variable array. Since these */
+/* must be reserved and set by parse.c and stack.c, we define these numbers   */
+/* here to avoid mysterious hard-coded constants.                             */
+/* stack.c needs an extra variable if the verifier is disabled.               */
+
+#if defined(ENABLE_VERIFIER)
+#    define VERIFIER_EXTRA_LOCALS  1
+#    define VERIFIER_EXTRA_VARS    1
+#    define STACK_EXTRA_VARS       0
+#else
+#    define VERIFIER_EXTRA_LOCALS  0
+#    define VERIFIER_EXTRA_VARS    0
+#    define STACK_EXTRA_VARS       1
+#endif
+
 #endif /* _GLOBAL_H */