int g;
int f(int i);

int lang_struct_useassign(int *a){
    int x;
    int y;
    int vla[g=32];        /* 'Assignment Result in Expression' warning issued here */

    y = x = 1;            /* 'Assignment Result in Expression' warning issued here */

    f(x+=3);              /* 'Assignment Result in Expression' warning issued here */

    if (x=3){             /* 'Assignment Result in Expression' warning issued here
                           * ('Redundant Condition' also issued)
                           */
        x = y++;                            /* postincrement result */
    }
                
    if ((x==x) || (x=3)){ /* 'Assignment Result in Expression' warning issued here
                           * (even though subexpression will never be executed:
                           * 'Unreachable Conditional' and 'Redundant Condition' warnings also issued)
                           */
    x = ++x;              /* 'Assignment Result in Expression' warning issued here */
    }
    x += (y += x, y);                          /* comma operand */
    return x;
}