blob: ed8601329a9b2c49937849cfbca6b7040a574a46 [file] [log] [blame]
/// 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();
)