export RK_PA3

hc

2024-02-19 151fecfb72a0d602dfe79790602ef64b4e241574

 kernel/scripts/coccinelle/locks/double_lock.cocci
..
..
@@ -1,11 +1,12 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
1
2
 /// Find double locks.  False positives may occur when some paths cannot
2
3
 /// occur at execution, due to the values of variables, and when there is
3
4
 /// an intervening function call that releases the lock.
4
5
 ///
5
6
 // Confidence: Moderate
6
-// Copyright: (C) 2010 Nicolas Palix, DIKU.  GPLv2.
7
-// Copyright: (C) 2010 Julia Lawall, DIKU.  GPLv2.
8
-// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.  GPLv2.
7
+// Copyright: (C) 2010 Nicolas Palix, DIKU.
8
+// Copyright: (C) 2010 Julia Lawall, DIKU.
9
+// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
9
10
 // URL: http://coccinelle.lip6.fr/
10
11
 // Comments:
11
12
 // Options: --no-includes --include-headers