id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
273	Comma expression wrecks typechecking for address of array element	mlbrooks		"{{{
#ifndef __cforall
int printf(const char *, ...);
#endif

struct Animal {
    int lunch;
};

int main() {

    struct Animal theTiger;
    theTiger.lunch = 1;

    struct Animal menagerie[42];
    menagerie[0 ].lunch = 2;
    menagerie[17].lunch = 3;

    struct Animal * myPet;
    void show() { printf(""%d "", myPet->lunch); }

    myPet =      & theTiger       ; show();
    myPet = (0,  & theTiger      ); show();

    myPet = (0,    menagerie     ); show();
    myPet = (0,    menagerie+17  ); show();
    myPet =      & menagerie[17]  ; show();
    myPet = (0,  & menagerie[17] ); show(); // here

    printf(""\n"");
}
}}}

`gcc -x c demo.cfa; ./a.out`

`cfa demo.cfa; ./a.out`

GCC, Expected and Actual: Compiles and prints `1 1 2 3 3 3`

CFA, Expected: Same as GCC

CFA, Actual: ""error: incompatible types when assigning to type ‘struct Animal *’ from type ‘struct Animal’"" on the line marked ""here""
"	defect	new	minor	cfa-cc	1.0