we still need to read in pointer mode
authorMatthias Braun <matze@braunis.de>
Thu, 7 Jan 2010 18:27:27 +0000 (18:27 +0000)
committerMatthias Braun <matze@braunis.de>
Thu, 7 Jan 2010 18:27:27 +0000 (18:27 +0000)
[r26916]

ir/ir/irio.c

index c165f7c..dc7d711 100644 (file)
@@ -1178,8 +1178,10 @@ static void import_type(io_env_t *env, keyword_t kwkind)
 
                        case tpo_pointer:
                        {
+                               ir_mode *mode     = read_mode(env);
                                ir_type *pointsto = get_type(env, read_long(env));
                                type = new_type_pointer(pointsto);
+                               set_type_mode(type, mode);
                                break;
                        }