//desc:test warning message:Call->call //option: //date:2008-12-22 14:58:10 //author:bolowy //type: CT class a{ void func() { foo() OR_LEAVE; //check:calls } };