| /// Use unsigned int as the return value for irq_lock() | |
| /// | |
| // Confidence: High | |
| // Copyright (c) 2017 Intel Corporation | |
| // | |
| // SPDX-License-Identifier: Apache-2.0 | |
| virtual patch | |
| @find depends on !(file in "ext")@ | |
| type T; | |
| identifier i; | |
| typedef uint32_t,uint32_t; | |
| @@ | |
| ( | |
| uint32_t i = irq_lock(); | |
| | | |
| unsigned int i = irq_lock(); | |
| | | |
| uint32_t i = irq_lock(); | |
| | | |
| - T | |
| + unsigned int | |
| i = irq_lock(); | |
| ) | |
| @find2 depends on !(file in "ext") exists@ | |
| type T; | |
| identifier i; | |
| @@ | |
| ( | |
| uint32_t i; | |
| | | |
| unsigned int i; | |
| | | |
| uint32_t i; | |
| | | |
| - T | |
| + unsigned int | |
| i; | |
| ... | |
| i = irq_lock(); | |
| ) |