bug-227710.c

来自「Small Device C Compiler 面向Inter8051」· C语言 代码 · 共 31 行

/* bug-227710.c
 */
#include <testfwk.h>

static unsigned char __data[] = {
    1, 2, 3, 4
};

unsigned char *p; 

struct { 
    unsigned char index; 
} s; 

unsigned char 
foo(void) 
{ 
    // BUG, there will be a PRE-increment 
    return p[s.index++];
}

void
testPostIncrement(void)
{
    p = __data;
    ASSERT(foo() == 1);
    ASSERT(foo() == 2);
    ASSERT(foo() == 3);
    ASSERT(foo() == 4);
}