summaryrefslogtreecommitdiff
path: root/support/dktools/dk4opt04.ctr
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
committerNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
commit1f457376b478257b88d4a857f5ec1b6155442dd7 (patch)
tree2a06a60551dea362cf8cb0cb0ba66c78608717c4 /support/dktools/dk4opt04.ctr
parentac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff)
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dk4opt04.ctr')
-rw-r--r--support/dktools/dk4opt04.ctr15
1 files changed, 13 insertions, 2 deletions
diff --git a/support/dktools/dk4opt04.ctr b/support/dktools/dk4opt04.ctr
index 63c6177dda..5017d9fb2a 100644
--- a/support/dktools/dk4opt04.ctr
+++ b/support/dktools/dk4opt04.ctr
@@ -2,17 +2,24 @@
copyright owner = Dirk Krause
copyright year = 2015-xxxx
-license = bsd
+SPDX-License-Identifier: BSD-3-Clause
%% module
+#include "dk4conf.h"
#include "dk4opt.h"
#include "dk4strd.h"
#include "dk4mem.h"
#include "dk4maidddu.h"
+#if DK4_HAVE_ASSERT_H
+#ifndef ASSERT_H_INCLUDED
+#include <assert.h>
+#define ASSERT_H_INCLUDED 1
+#endif
+#endif
$!trace-include
@@ -20,11 +27,15 @@ $!trace-include
int
-dk4opt_get_unsigned(dk4_um_t *dptr, dk4_option_t *optptr, dk4_er_t *erp)
+dk4opt_get_unsigned(dk4_um_t *dptr, dk4_option_t const *optptr, dk4_er_t *erp)
{
dk4_um_t val = (dk4_um_t)0UL;
int back = 0;
int res = 0;
+#if DK4_USE_ASSERT
+ assert(NULL != dptr);
+ assert(NULL != optptr);
+#endif
if ((NULL != dptr) && (NULL != optptr)) {
if (0 != optptr->found) {
switch ((optptr->spec).argtype) {