| // Copyright (c) 2017 Intel Corporation |
| // |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| @find@ |
| type T; |
| position p; |
| identifier i; |
| @@ |
| |
| T@p i = irq_lock(); |
| |
| @script:python raise_error@ |
| t << find.T; |
| @@ |
| if t in ["uint32_t", "unsigned int", "u32_t"]: |
| cocci.include_match(False) |
| |
| @replacement@ |
| type find.T; |
| position find.p; |
| @@ |
| - T@p |
| + unsigned int |
| |
| @find2@ |
| type T; |
| position p; |
| identifier i; |
| @@ |
| |
| T@p i; |
| ... |
| i = irq_lock(); |
| |
| @script:python raise_error2@ |
| t << find2.T; |
| @@ |
| if t in ["uint32_t", "unsigned int", "u32_t"]: |
| cocci.include_match(False) |
| |
| @replacement2@ |
| type find2.T; |
| identifier find2.i; |
| @@ |
| - T i; |
| + unsigned int i; |