hc
2024-05-10 9999e48639b3cecb08ffb37358bcba3b48161b29
kernel/scripts/coccinelle/locks/mini_lock.cocci
....@@ -1,3 +1,4 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
12 /// Find missing unlocks. This semantic match considers the specific case
23 /// where the unlock is missing from an if branch, and there is a lock
34 /// before the if and an unlock after the if. False positives are due to
....@@ -6,9 +7,9 @@
67 /// function call that releases the lock.
78 ///
89 // Confidence: Moderate
9
-// Copyright: (C) 2010-2012 Nicolas Palix. GPLv2.
10
-// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2.
11
-// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2.
10
+// Copyright: (C) 2010-2012 Nicolas Palix.
11
+// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
12
+// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
1213 // URL: http://coccinelle.lip6.fr/
1314 // Comments:
1415 // Options: --no-includes --include-headers