[cfe-dev] adding assertion in C code and verifying using clang API

Rajendra rks at cse.iitb.ac.in
Mon May 13 04:50:55 PDT 2013


I want to verify some user defined assertion in C code. e.g. 

int main()
{
  int x, y;
  x = 10;
  MYASSERT1: x>0; 
  y = 0;
  MYASSERT2: x==0; 
  return 0;
}

How does clang API (or any other tool) help to achieve this? besides I want
to keep track of line number in original C code. 

All help is appreciated. 



--
View this message in context: http://clang-developers.42468.n3.nabble.com/adding-assertion-in-C-code-and-verifying-using-clang-API-tp4032068.html
Sent from the Clang Developers mailing list archive at Nabble.com.



More information about the cfe-dev mailing list