[cfe-dev] adding assertion in C code and verifying using clang API
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 x, y;
x = 10;
y = 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