1 //desc:test warning message:Call->call

     2 //option:

     3 //date:2008-12-22 14:58:10

     4 //author:bolowy

     5 //type: CT

     6 

     7 void func()

     8 {

     9 	foo() OR_LEAVE; //check:calls

    10 }

    11