Guys,

I want to remove statements that contain a divide by zero.
The zero may result from a calculation, eg, i / (1/6)
results in i being divided by zero.

I have been reading Henrik Stuart's PhD thesis (well worth a read
for some interesting ideas on using Coccinelle) and thought I would
give cocci.gcp a go.  Unfortunately gcp does not seem to be part of
the standard distribution.  Is gcp not reliable, is there an
alternative?

Background.  I am looking at using Coccinelle to clean up the source
generated by the following process:
http://shape-of-code.coding-guidelines.com/2011/04/25/simple-generator-for-compiler-stress-testing-source/

--
Derek M. Jones                         tel: +44 (0) 1252 520 667
Knowledge Software Ltd                 mailto:[email protected]
Source code analysis                   http://www.knosof.co.uk
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to