xref: /onnv-gate/usr/src/cmd/sgs/pvs/common/lintsup.c (revision 7682:b04d06fd448f)
10Sstevel@tonic-gate /*
20Sstevel@tonic-gate  * CDDL HEADER START
30Sstevel@tonic-gate  *
40Sstevel@tonic-gate  * The contents of this file are subject to the terms of the
51618Srie  * Common Development and Distribution License (the "License").
61618Srie  * You may not use this file except in compliance with the License.
70Sstevel@tonic-gate  *
80Sstevel@tonic-gate  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
90Sstevel@tonic-gate  * or http://www.opensolaris.org/os/licensing.
100Sstevel@tonic-gate  * See the License for the specific language governing permissions
110Sstevel@tonic-gate  * and limitations under the License.
120Sstevel@tonic-gate  *
130Sstevel@tonic-gate  * When distributing Covered Code, include this CDDL HEADER in each
140Sstevel@tonic-gate  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
150Sstevel@tonic-gate  * If applicable, add the following below this CDDL HEADER, with the
160Sstevel@tonic-gate  * fields enclosed by brackets "[]" replaced with your own identifying
170Sstevel@tonic-gate  * information: Portions Copyright [yyyy] [name of copyright owner]
180Sstevel@tonic-gate  *
190Sstevel@tonic-gate  * CDDL HEADER END
200Sstevel@tonic-gate  */
210Sstevel@tonic-gate /* LINTLIBRARY */
220Sstevel@tonic-gate /* PROTOLIB1 */
230Sstevel@tonic-gate 
240Sstevel@tonic-gate /*
25*7682SAli.Bahrami@Sun.COM  * Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
261618Srie  * Use is subject to license terms.
270Sstevel@tonic-gate  */
280Sstevel@tonic-gate 
290Sstevel@tonic-gate /*
300Sstevel@tonic-gate  * Supplimental Pseudo-code to get lint to consider
310Sstevel@tonic-gate  * these symbols used.
320Sstevel@tonic-gate  */
330Sstevel@tonic-gate 
341618Srie #include <debug.h>
350Sstevel@tonic-gate #include "msg.h"
360Sstevel@tonic-gate 
370Sstevel@tonic-gate void
380Sstevel@tonic-gate foo()
390Sstevel@tonic-gate {
401618Srie 	dbg_print(0, _pvs_msg((Msg)&__pvs_msg[0]));
41*7682SAli.Bahrami@Sun.COM 
42*7682SAli.Bahrami@Sun.COM 	alist_delete_by_offset(NULL, NULL);
43*7682SAli.Bahrami@Sun.COM 	(void) alist_insert_by_offset(NULL, NULL, 0, 0, 0);
44*7682SAli.Bahrami@Sun.COM 	alist_reset(NULL);
45*7682SAli.Bahrami@Sun.COM 
46*7682SAli.Bahrami@Sun.COM 	(void) aplist_delete_value(NULL, NULL);
47*7682SAli.Bahrami@Sun.COM 	aplist_reset(NULL);
48*7682SAli.Bahrami@Sun.COM 	(void) aplist_test(NULL, NULL, 0);
490Sstevel@tonic-gate }
50