| .. | .. |
|---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
|---|
| 1 | 2 | /// |
|---|
| 2 | 3 | /// A variable is dereferenced under a NULL test. |
|---|
| 3 | 4 | /// Even though it is known to be NULL. |
|---|
| 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: -I ... -all_includes can give more complete results |
|---|
| 11 | 12 | // Options: |
|---|