Messages in this thread | | | From | Julia Lawall <> | Subject | [PATCH 0/1] delete unnecessary null test on array | Date | Wed, 6 Aug 2014 12:39:10 +0200 |
| |
Delete NULL test on array. The complete semantic patch that finds this problem is as follows: (http://coccinelle.lip6.fr/)
// <smpl> @r@ type T; T [] e; position p; @@
( e ==@p NULL | e !=@p NULL | !@p e )
@ disable fld_to_ptr@ expression e; identifier f; position r.p; @@
( * (e.f) ==@p NULL | * (e.f) !=@p NULL | * !@p(e.f) ) // </smpl>
For best results, this semantic patch requires lots of type information, and should be used with the options --recursive-includes and --relax-include-path. This may take a long time to run.
| |