*/
#include <testfwk.h>
-#ifdef __mcs51
+#if defined __mcs51 || defined __ds390 || defined __xa51
#define XDATA xdata
#else
#define XDATA
void
testBadPromotion(void)
{
+
+#ifdef SDCC
unsigned char c=*((unsigned XDATA char*)(0xa000));
+#else
+ unsigned char loc_c;
+ unsigned char c=*(unsigned char*)&loc_c;
+#endif
func(c);