dtprintinfo: Coverity 89561

[oweals/cde.git] / cde / programs / dtdocbook / instant / util.c

diff --git a/cde/programs/dtdocbook/instant/util.c b/cde/programs/dtdocbook/instant/util.c
index 5c81a5b3c8701d967f77c41efceb1f1a11b9c4b7..9a782692def0eb02b297e72b696323cbd1c271a1 100644 (file)
--- a/cde/programs/dtdocbook/instant/util.c
+++ b/cde/programs/dtdocbook/instant/util.c
@@ -1,3 +1,25 @@
+/*
+ * CDE - Common Desktop Environment
+ *
+ * Copyright (c) 1993-2012, The Open Group. All rights reserved.
+ *
+ * These libraries and programs are free software; you can
+ * redistribute them and/or modify them under the terms of the GNU
+ * Lesser General Public License as published by the Free Software
+ * Foundation; either version 2 of the License, or (at your option)
+ * any later version.
+ *
+ * These libraries and programs are distributed in the hope that
+ * they will be useful, but WITHOUT ANY WARRANTY; without even the
+ * implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See the GNU Lesser General Public License for more
+ * details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with these libraries and programs; if not, write
+ * to the Free Software Foundation, Inc., 51 Franklin Street, Fifth
+ * Floor, Boston, MA 02110-1301 USA
+ */
 /*
  *  Copyright 1993 Open Software Foundation, Inc., Cambridge, Massachusetts.
  *  All rights reserved.
@@ -56,7 +78,9 @@ static char *RCSid =
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <sys/file.h>
+#if !defined(CSRG_BASED)
 #include <values.h>
+#endif
 
 #include "general.h"
 
@@ -584,7 +608,7 @@ OutputString(
 /* ______________________________________________________________________ */
 /* resets the output buffer
  */
-void ClearOutputBuffer()
+void ClearOutputBuffer(void)
 {
 outputBuffer.current = outputBuffer.base;
 }
@@ -593,7 +617,7 @@ outputBuffer.current = outputBuffer.base;
 /* determines if there is already some text in the output buffer,
  * returns 1 if so, else 0
  */
-int OutputBufferActive()
+int OutputBufferActive(void)
 {
 return (outputBuffer.current != outputBuffer.base);
 }
@@ -601,7 +625,7 @@ return (outputBuffer.current != outputBuffer.base);
 /* ______________________________________________________________________ */
 /* terminates output buffer with a null char and returns the buffer
  */
-char *GetOutputBuffer()
+char *GetOutputBuffer(void)
 {
 if (CheckOutputBuffer(1))
     *(outputBuffer.current)++ = '\0';