Author: Peter Senna Tschudin <peter.senna@gmail.com> This patch remove a semicolon after if(…) that is preventing the error check to work correctly. Removing this semicolon will change the code behavior, but this is intended. The semantic patch that finds this problem is as follows: (http://coccinelle.lip6.fr/) // @r1@ position p; @@ if (…);@p @script:python@ p0