[PATCH] initialize all fields

2012-01-30 Thread Julia Lawall
This patch fixes a case where a structure field is not initialized before the structureis copied to user level. The semantic match that finds this problem is as follows (http://coccinelle.lip6.fr/). It uses other references to the same structure in the current file to find the set of fields that

[PATCH] initialize all fields

2012-01-30 Thread Julia Lawall
This patch fixes a case where a structure field is not initialized before the structureis copied to user level. The semantic match that finds this problem is as follows (http://coccinelle.lip6.fr/). It uses other references to the same structure in the current file to find the set of fields that