// Copyright: (C) 2009 Gilles Muller, Julia Lawall, INRIA, DIKU. GPLv2. @@ expression E,E1; @@ *E = IS_ERR(...) ... when != E = E1 *return E;