From 761ddbd912c32a9c477d183b512a280c27e7d47e Mon Sep 17 00:00:00 2001
From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= <goetz@ipd.info.uni-karlsruhe.de>
Date: Fri, 29 Oct 2004 07:45:06 +0000
Subject: [PATCH] verify primitives

[r4233]
---
 ir/tr/trvrfy.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/ir/tr/trvrfy.c b/ir/tr/trvrfy.c
index fd3d5767f..6beedb75f 100644
--- a/ir/tr/trvrfy.c
+++ b/ir/tr/trvrfy.c
@@ -71,6 +71,17 @@ static int check_array(type *tp) {
   return 0;
 }
 
+
+/**
+ * Check a primitive.
+ */
+static int check_primitive(type *tp) {
+  assert(is_mode(get_type_mode(tp)));
+
+  return 0;
+}
+
+
 /**
  * Checks a type.
  *
@@ -82,6 +93,8 @@ static int check_type(type *tp) {
     return check_class(tp);
   case tpo_array:
     return check_array(tp);
+  case tpo_primitive:
+    return check_primitive(tp);
   default: break;
   }
   return 0;
-- 
2.20.1