Opened 2 years ago

#126 new defect

Pointer assignment with incorrect type not correctly rejected

Reported by: Thierry Delisle Owned by:
Priority: major Component: cfa-cc
Version: 1.0 Keywords:
Cc:

Description

This code should not compile :

struct Foo {
	int b;
};
struct Bar {
	int a;
	Foo self;
	Foo * other;
};

void Baz(Bar * this) {
	Bar * dst = this->other;
	(void)dst;
}

Change History (0)

Note: See TracTickets for help on using tickets.