From: bdemsky <bdemsky>
Date: Tue, 13 Jul 2004 18:53:05 +0000 (+0000)
Subject: Update to add padding at the end of structs.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=da9a16cb73b7d1f19a495d9ef3eb0064fab50cba;p=repair.git

Update to add padding at the end of structs.
---

diff --git a/Repair/RepairCompiler/structextract/dumpstructures.c b/Repair/RepairCompiler/structextract/dumpstructures.c
index bfcc596..4df6b59 100755
--- a/Repair/RepairCompiler/structextract/dumpstructures.c
+++ b/Repair/RepairCompiler/structextract/dumpstructures.c
@@ -183,6 +183,8 @@ void initializeTypeArray()
 	      printf("   %s %s%s;\n",typestr,name,poststr);
 	    }
 	  }
+	  if (offset<collection_ptr->byte_size)
+	    printf("   reserved byte[%ld];\n",collection_ptr->byte_size-offset);
 	  printf("}\n\n");
         }
     }