diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/vty_check.cocci | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tools/vty_check.cocci b/tools/vty_check.cocci new file mode 100644 index 000000000..7e5fcc405 --- /dev/null +++ b/tools/vty_check.cocci @@ -0,0 +1,22 @@ +/* + * VTY_DECLVAR_CONTEXT contains a built-in "if (!var) return;" + */ +@@ +identifier var, typ; +statement S; +@@ + + { + ... + \( + VTY_DECLVAR_CONTEXT(typ, var); + \| + VTY_DECLVAR_CONTEXT_SUB(typ, var); + \) + ... +- if ( +- \( !var \| var == NULL \) +- ) +- S + ... + } |