ignore_return.cocci

/// Cast void to memset to ignore its return value
///
//# The return of memset and memcpy is never checked and therefore
//# cast it to void to explicitly ignore while adhering to MISRA-C.
//
// Confidence: High
// Copyright (c) 2017 Intel Corporation
//
// SPDX-License-Identifier: Apache-2.0

virtual patch

@depends on patch && !(file in "ext")@
expression e1,e2,e3;
@@
(
+ (void)
memset(e1,e2,e3);
|
+ (void)
memcpy(e1,e2,e3);
)