Opened 6 years ago

Closed 2 years ago

#126 closed defect (fixed)

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 (1)

comment:1 Changed 2 years ago by Thierry Delisle

Resolution: fixed
Status: newclosed

This code no longer compiles.

Note: See TracTickets for help on using tickets.