71eb195 sbuf_delete does not check null first — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

sbuf_delete does not check null first

Baptiste Daroussin committed 11 years ago

commit 71eb1955083d0f864e5ba07d2a5ad11d5114aea1
parent c8a2118

1 file changed +4 -4

modified tests/cocci/delete_if1.cocci

@@ -21,7 +21,7 @@ identifier release =~ "^(?x)

 | pkg(?:_reset
      |  db_(?:close|sqlite_it_reset)
      )
 | sbuf_(?:delete|reset)
 | sbuf_reset
 )$";
 @@
 -if (\(x != 0 \| x != NULL\))

@@ -50,7 +50,7 @@ identifier release =~ "^(?x)

 | pkg(?:_reset
      |  db_(?:close|sqlite_it_reset)
      )
 | sbuf_(?:delete|reset)
 | sbuf_reset
 )$";
 @@
 -if (\(x != 0 \| x != NULL\)) {

@@ -81,7 +81,7 @@ identifier release =~ "^(?x)

 | pkg(?:_reset
      |  db_(?:close|sqlite_it_reset)
      )
 | sbuf_(?:delete|reset)
 | sbuf_reset
 )$";
 @@
 -if (\(a != 0 \| a != NULL\) && \(b != 0 \| b != NULL\))

@@ -111,7 +111,7 @@ identifier release =~ "^(?x)

 | pkg(?:_reset
      |  db_(?:close|sqlite_it_reset)
      )
 | sbuf_(?:delete|reset)
 | sbuf_reset
 )$";
 @@
 -if (\(a != 0 \| a != NULL\) && \(b != 0 \| b != NULL\)) {