Radish alpha
H
HardenedBSD-pkg
rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9
HardenedBSD Package Manager
Radicle
Git
Commits › 5bbde26
cocci: moved delete_if1.cocci to the pkg/ dir, as it is a pkg specific semantic patch.
Alexandre Perrin committed 10 years ago
commit 5bbde26822af15dccc279f08735b96a196c3498f
parent d2b8a36
2 files changed +121 -121
deleted tests/cocci/delete_if1.cocci
@@ -1,121 +0,0 @@
- 
@Remove_unnecessary_pointer_checks1@
- 
expression x;
- 
identifier release =~ "^(?x)
- 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
- 
            |  _(?:audit
- 
                |  conflict
- 
                |  deb
- 
                |  file
- 
                |  manifest_keys
- 
                |  option
- 
                |  provide
- 
                |  repo_binary_update_item
- 
                |  shlib
- 
                )
- 
            )?
- 
      | rsa
- 
      | sbuf
- 
      )_)?free
- 
| free_(?:file_attr|percent_esc)
- 
| load_repositories
- 
| pkg(?:_reset
- 
     |  db_(?:close|sqlite_it_reset)
- 
     )
- 
| sbuf_reset
- 
)$";
- 
@@
- 
-if (\(x != 0 \| x != NULL\))
- 
    release(x);
-
- 
@Remove_unnecessary_pointer_checks2@
- 
expression x;
- 
identifier release =~ "^(?x)
- 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
- 
            |  _(?:audit
- 
                |  conflict
- 
                |  deb
- 
                |  file
- 
                |  manifest_keys
- 
                |  option
- 
                |  provide
- 
                |  repo_binary_update_item
- 
                |  shlib
- 
                )
- 
            )?
- 
      | rsa
- 
      | sbuf
- 
      )_)?free
- 
| free_(?:file_attr|percent_esc)
- 
| load_repositories
- 
| pkg(?:_reset
- 
     |  db_(?:close|sqlite_it_reset)
- 
     )
- 
| sbuf_reset
- 
)$";
- 
@@
- 
-if (\(x != 0 \| x != NULL\)) {
- 
    release(x);
- 
    x = \(0 \| NULL\);
- 
-}
-
- 
@Remove_unnecessary_pointer_checks3@
- 
expression a, b;
- 
identifier release =~ "^(?x)
- 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
- 
            |  _(?:audit
- 
                |  conflict
- 
                |  deb
- 
                |  file
- 
                |  manifest_keys
- 
                |  option
- 
                |  provide
- 
                |  repo_binary_update_item
- 
                |  shlib
- 
                )
- 
            )?
- 
      | rsa
- 
      | sbuf
- 
      )_)?free
- 
| free_(?:file_attr|percent_esc)
- 
| load_repositories
- 
| pkg(?:_reset
- 
     |  db_(?:close|sqlite_it_reset)
- 
     )
- 
| sbuf_reset
- 
)$";
- 
@@
- 
-if (\(a != 0 \| a != NULL\) && \(b != 0 \| b != NULL\))
- 
+if (a)
- 
    release(b);
-
- 
@Remove_unnecessary_pointer_checks4@
- 
expression a, b;
- 
identifier release =~ "^(?x)
- 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
- 
            |  _(?:audit
- 
                |  conflict
- 
                |  deb
- 
                |  file
- 
                |  manifest_keys
- 
                |  option
- 
                |  provide
- 
                |  repo_binary_update_item
- 
                |  shlib
- 
                )
- 
            )?
- 
      | rsa
- 
      | sbuf
- 
      )_)?free
- 
| free_(?:file_attr|percent_esc)
- 
| load_repositories
- 
| pkg(?:_reset
- 
     |  db_(?:close|sqlite_it_reset)
- 
     )
- 
| sbuf_reset
- 
)$";
- 
@@
- 
-if (\(a != 0 \| a != NULL\) && \(b != 0 \| b != NULL\)) {
- 
+if (a) {
- 
    release(b);
- 
    b = \(0 \| NULL\);
- 
 }
added tests/cocci/pkg/delete_if1.cocci
@@ -0,0 +1,121 @@
+ 
@Remove_unnecessary_pointer_checks1@
+ 
expression x;
+ 
identifier release =~ "^(?x)
+ 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
+ 
            |  _(?:audit
+ 
                |  conflict
+ 
                |  deb
+ 
                |  file
+ 
                |  manifest_keys
+ 
                |  option
+ 
                |  provide
+ 
                |  repo_binary_update_item
+ 
                |  shlib
+ 
                )
+ 
            )?
+ 
      | rsa
+ 
      | sbuf
+ 
      )_)?free
+ 
| free_(?:file_attr|percent_esc)
+ 
| load_repositories
+ 
| pkg(?:_reset
+ 
     |  db_(?:close|sqlite_it_reset)
+ 
     )
+ 
| sbuf_reset
+ 
)$";
+ 
@@
+ 
-if (\(x != 0 \| x != NULL\))
+ 
    release(x);
+
+ 
@Remove_unnecessary_pointer_checks2@
+ 
expression x;
+ 
identifier release =~ "^(?x)
+ 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
+ 
            |  _(?:audit
+ 
                |  conflict
+ 
                |  deb
+ 
                |  file
+ 
                |  manifest_keys
+ 
                |  option
+ 
                |  provide
+ 
                |  repo_binary_update_item
+ 
                |  shlib
+ 
                )
+ 
            )?
+ 
      | rsa
+ 
      | sbuf
+ 
      )_)?free
+ 
| free_(?:file_attr|percent_esc)
+ 
| load_repositories
+ 
| pkg(?:_reset
+ 
     |  db_(?:close|sqlite_it_reset)
+ 
     )
+ 
| sbuf_reset
+ 
)$";
+ 
@@
+ 
-if (\(x != 0 \| x != NULL\)) {
+ 
    release(x);
+ 
    x = \(0 \| NULL\);
+ 
-}
+
+ 
@Remove_unnecessary_pointer_checks3@
+ 
expression a, b;
+ 
identifier release =~ "^(?x)
+ 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
+ 
            |  _(?:audit
+ 
                |  conflict
+ 
                |  deb
+ 
                |  file
+ 
                |  manifest_keys
+ 
                |  option
+ 
                |  provide
+ 
                |  repo_binary_update_item
+ 
                |  shlib
+ 
                )
+ 
            )?
+ 
      | rsa
+ 
      | sbuf
+ 
      )_)?free
+ 
| free_(?:file_attr|percent_esc)
+ 
| load_repositories
+ 
| pkg(?:_reset
+ 
     |  db_(?:close|sqlite_it_reset)
+ 
     )
+ 
| sbuf_reset
+ 
)$";
+ 
@@
+ 
-if (\(a != 0 \| a != NULL\) && \(b != 0 \| b != NULL\))
+ 
+if (a)
+ 
    release(b);
+
+ 
@Remove_unnecessary_pointer_checks4@
+ 
expression a, b;
+ 
identifier release =~ "^(?x)
+ 
(?:(?:(?:pkg(?:db_(?:sqlite_)?it
+ 
            |  _(?:audit
+ 
                |  conflict
+ 
                |  deb
+ 
                |  file
+ 
                |  manifest_keys
+ 
                |  option
+ 
                |  provide
+ 
                |  repo_binary_update_item
+ 
                |  shlib
+ 
                )
+ 
            )?
+ 
      | rsa
+ 
      | sbuf
+ 
      )_)?free
+ 
| free_(?:file_attr|percent_esc)
+ 
| load_repositories
+ 
| pkg(?:_reset
+ 
     |  db_(?:close|sqlite_it_reset)
+ 
     )
+ 
| sbuf_reset
+ 
)$";
+ 
@@
+ 
-if (\(a != 0 \| a != NULL\) && \(b != 0 \| b != NULL\)) {
+ 
+if (a) {
+ 
    release(b);
+ 
    b = \(0 \| NULL\);
+ 
 }