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' and 'Assign Where Compare Meant' warnings 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', 'Redundant Condition', and
                           *  'Assign Where Compare Meant' warnings also issued)
                           */
    x = ++x;              /* 'Assignment Result in Expression' warning issued here */
    }
    x += (y += x, y);                          /* comma operand */
    return x;
}