Hi,
Where can I find the grammar (language definition) of CIL (the simplified
subset of C).
Regards
Shrawan Kumar
Tata Consultancy Services
Tata Research Development & Design Centre ,
54, Hadapsar Industrial Estate,
Hadapsar,
Pune - 411 013,Maharashtra
India
Ph:- +91 20 66086315
Buzz:- 4206315
I believe it would be something like
Cil.Instr([Cil.Call(None, Cil.Lval (Var v, NoOffset), [Const
Int64.zero], loc)]) ->
if v.name = "exit" then
...here we know we have an exit(0) statement...
That is, "exit(0)" is treated as a function call.
--Stephen
On Tue, Jul 14, 2009 at 4:36 AM, Tha
The example that Chris gave includes Break, Return etc ... just wondering
what about exist ? e.g.,what Cil.skind would match this statement
exit (0); ? Thanks
VN -
On Wed, Jul 8, 2009 at 1:45 AM, ThanhVu (Vu) Nguyen <
nguyenthanh...@gmail.com> wrote:
> Ah these are very helpful , I
