162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only
262306a36Sopenharmony_ci/// The address of a variable or field is likely always to be non-zero.
362306a36Sopenharmony_ci///
462306a36Sopenharmony_ci// Confidence: High
562306a36Sopenharmony_ci// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
662306a36Sopenharmony_ci// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
762306a36Sopenharmony_ci// URL: https://coccinelle.gitlabpages.inria.fr/website
862306a36Sopenharmony_ci// Comments:
962306a36Sopenharmony_ci// Options: --no-includes --include-headers
1062306a36Sopenharmony_ci
1162306a36Sopenharmony_civirtual org
1262306a36Sopenharmony_civirtual report
1362306a36Sopenharmony_civirtual context
1462306a36Sopenharmony_ci
1562306a36Sopenharmony_ci@r@
1662306a36Sopenharmony_ciexpression x;
1762306a36Sopenharmony_ciposition p;
1862306a36Sopenharmony_ci@@
1962306a36Sopenharmony_ci
2062306a36Sopenharmony_ci*\(&x@p == NULL \| &x@p != NULL\)
2162306a36Sopenharmony_ci
2262306a36Sopenharmony_ci@script:python depends on org@
2362306a36Sopenharmony_cip << r.p;
2462306a36Sopenharmony_ci@@
2562306a36Sopenharmony_ci
2662306a36Sopenharmony_cicocci.print_main("test of a variable/field address",p)
2762306a36Sopenharmony_ci
2862306a36Sopenharmony_ci@script:python depends on report@
2962306a36Sopenharmony_cip << r.p;
3062306a36Sopenharmony_ci@@
3162306a36Sopenharmony_ci
3262306a36Sopenharmony_cimsg = "ERROR: test of a variable/field address"
3362306a36Sopenharmony_cicoccilib.report.print_report(p[0],msg)
34