pic16 progress by Vangelis
[fw/sdcc] / src / pic16 / device.c
index b04f455efebc695c1d919ee035bc761f252d7cde..3996e4508974501265bbf26a9895fe20a23e9d05 100644 (file)
@@ -77,6 +77,7 @@ static int num_of_supported_PICS = sizeof(Pics)/sizeof(PIC_device);
 static PIC_device *pic=NULL;
 
 AssignedMemory *pic16_finalMapping=NULL;
+int pic16_finalMappingSize=0;
 
 #define DEFAULT_CONFIG_BYTE 0xff
 
@@ -295,7 +296,8 @@ void pic16_dump_cblock(FILE *of)
            
            fputc('\n',of);
 
-           //pic16_finalMapping[start].reg->isEmitted = 1;
+//#warning why is the following line commented out?! (VR)
+//         pic16_finalMapping[start].reg->isEmitted = 1;
          }
        }