Are you sure you want to delete the file doublebitand.cocci?
| Name | Size | Permission | Action |
|---|---|---|---|
| doublebitand.cocci | 1144 bytes | 0644 | |
| doubletest.cocci | 1096 bytes | 0644 | |
| odd_ptr_err.cocci | 2143 bytes | 0644 | |
| unsigned_lesser_than_zero.cocci | 2197 bytes | 0644 |
Are you sure you want to delete the file doublebitand.cocci?
| Name | Size | Permission | Action |
|---|---|---|---|
| doublebitand.cocci | 1144 bytes | 0644 | |
| doubletest.cocci | 1096 bytes | 0644 | |
| odd_ptr_err.cocci | 2143 bytes | 0644 | |
| unsigned_lesser_than_zero.cocci | 2197 bytes | 0644 |