Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
A
asn1c
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Libraries
asn1c
Commits
665a2278
Commit
665a2278
authored
Feb 07, 2024
by
v0-e
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
INTEGER <-> (u)int64_t tests
parent
81cc4e47
Changes
1
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
158 additions
and
1 deletion
+158
-1
tests/tests-skeletons/check-INTEGER.c
tests/tests-skeletons/check-INTEGER.c
+158
-1
No files found.
tests/tests-skeletons/check-INTEGER.c
View file @
665a2278
...
@@ -147,6 +147,136 @@ check_unsigned(uint8_t *buf, int size, unsigned long check_long, int check_ret)
...
@@ -147,6 +147,136 @@ check_unsigned(uint8_t *buf, int size, unsigned long check_long, int check_ret)
}
}
}
}
static
void
check_64
(
uint8_t
*
buf
,
size_t
size
,
int64_t
check_i64
,
int
check_ret
)
{
char
scratch
[
128
];
char
verify
[
32
];
INTEGER_t
val
;
uint8_t
*
buf_end
=
buf
+
size
;
int
ret
;
int64_t
rint64
=
123
;
assert
(
buf
);
assert
(
size
>
0
);
val
.
buf
=
buf
;
val
.
size
=
size
;
printf
(
"Testing: ["
);
for
(;
buf
<
buf_end
;
buf
++
)
{
if
(
buf
!=
val
.
buf
)
printf
(
":"
);
printf
(
"%02x"
,
*
buf
);
}
printf
(
"]: "
);
ret
=
asn_INTEGER2int64
(
&
val
,
&
rint64
);
printf
(
" (%ld, %d) vs (%ld, %d)
\n
"
,
rint64
,
ret
,
check_i64
,
check_ret
);
assert
(
ret
==
check_ret
);
printf
(
"%ld %ld
\n
"
,
rint64
,
check_i64
);
assert
(
rint64
==
check_i64
);
if
(
check_ret
==
0
)
{
INTEGER_t
val2
;
int64_t
rint642
;
val2
.
buf
=
0
;
val2
.
size
=
0
;
ret
=
asn_int642INTEGER
(
&
val2
,
rint64
);
assert
(
ret
==
0
);
assert
(
val2
.
buf
);
assert
(
val2
.
size
<=
val
.
size
);
/* At least as compact */
ret
=
asn_INTEGER2int64
(
&
val
,
&
rint642
);
assert
(
ret
==
0
);
assert
(
rint64
==
rint642
);
ASN_STRUCT_RESET
(
asn_DEF_INTEGER
,
&
val2
);
}
shared_scratch_start
=
scratch
;
ret
=
INTEGER_print
(
&
asn_DEF_INTEGER
,
&
val
,
0
,
_print2buf
,
scratch
);
assert
(
shared_scratch_start
<
scratch
+
sizeof
(
scratch
));
assert
(
ret
==
0
);
ret
=
snprintf
(
verify
,
sizeof
(
verify
),
"%ld"
,
check_i64
);
assert
(
ret
<
0
||
(
size_t
)
ret
<
sizeof
(
verify
));
ret
=
strcmp
(
scratch
,
verify
);
printf
(
" [%s] vs [%s]: %d%s
\n
"
,
scratch
,
verify
,
ret
,
(
check_ret
==
-
1
)
?
" (expected to fail)"
:
""
);
if
(
check_ret
==
-
1
)
{
assert
(
strcmp
(
scratch
,
verify
));
}
else
{
assert
(
strcmp
(
scratch
,
verify
)
==
0
);
}
}
static
void
check_unsigned_64
(
uint8_t
*
buf
,
int
size
,
uint64_t
check_u64
,
int
check_ret
)
{
char
scratch
[
128
];
char
verify
[
32
];
INTEGER_t
val
;
uint8_t
*
buf_end
=
buf
+
size
;
int
ret
;
uint64_t
ruint64
=
123
;
assert
(
buf
);
assert
(
size
>=
0
);
val
.
buf
=
buf
;
val
.
size
=
size
;
printf
(
"Testing: ["
);
for
(;
buf
<
buf_end
;
buf
++
)
{
if
(
buf
!=
val
.
buf
)
printf
(
":"
);
printf
(
"%02x"
,
*
buf
);
}
printf
(
"]: "
);
ret
=
asn_INTEGER2uint64
(
&
val
,
&
ruint64
);
printf
(
" (%lu, %d) vs (%lu, %d)
\n
"
,
ruint64
,
ret
,
check_u64
,
check_ret
);
assert
(
ret
==
check_ret
);
assert
(
ruint64
==
check_u64
);
if
(
check_ret
==
0
)
{
INTEGER_t
val2
;
uint64_t
ruint642
;
val2
.
buf
=
0
;
val2
.
size
=
0
;
ret
=
asn_uint642INTEGER
(
&
val2
,
ruint64
);
assert
(
ret
==
0
);
assert
(
val2
.
buf
);
if
(
val2
.
size
>
val
.
size
)
{
/* At least as compact */
printf
(
"val2.size=%d, val.size=%d
\n
"
,
(
int
)
val2
.
size
,
(
int
)
val
.
size
);
assert
(
val2
.
size
<=
val
.
size
);
}
ret
=
asn_INTEGER2uint64
(
&
val
,
&
ruint642
);
assert
(
ret
==
0
);
assert
(
ruint64
==
ruint642
);
ASN_STRUCT_RESET
(
asn_DEF_INTEGER
,
&
val2
);
}
return
;
shared_scratch_start
=
scratch
;
ret
=
INTEGER_print
(
&
asn_DEF_INTEGER
,
&
val
,
0
,
_print2buf
,
scratch
);
assert
(
shared_scratch_start
<
scratch
+
sizeof
(
scratch
));
assert
(
ret
==
0
);
ret
=
snprintf
(
verify
,
sizeof
(
verify
),
"%lu"
,
check_u64
);
assert
(
ret
<
(
int
)
sizeof
(
verify
));
ret
=
strcmp
(
scratch
,
verify
);
printf
(
" [%s] vs [%s]: %d%s
\n
"
,
scratch
,
verify
,
ret
,
(
check_ret
==
-
1
)
?
" (expected to fail)"
:
""
);
if
(
check_ret
==
-
1
)
{
assert
(
strcmp
(
scratch
,
verify
));
}
else
{
assert
(
strcmp
(
scratch
,
verify
)
==
0
);
}
}
static
void
static
void
check_xer
(
int
lineno
,
int
tofail
,
char
*
xmldata
,
long
orig_value
)
{
check_xer
(
int
lineno
,
int
tofail
,
char
*
xmldata
,
long
orig_value
)
{
INTEGER_t
*
st
=
0
;
INTEGER_t
*
st
=
0
;
...
@@ -353,10 +483,15 @@ main() {
...
@@ -353,10 +483,15 @@ main() {
uint8_t
buf14
[]
=
{
0x00
,
0x80
,
0x00
,
0x00
};
uint8_t
buf14
[]
=
{
0x00
,
0x80
,
0x00
,
0x00
};
uint8_t
buf15
[]
=
{
0x00
,
0x80
,
0x00
,
0x00
,
0x00
};
uint8_t
buf15
[]
=
{
0x00
,
0x80
,
0x00
,
0x00
,
0x00
};
uint8_t
buf16
[]
=
{
0x00
,
0xff
,
0xff
,
0x00
,
0x00
};
uint8_t
buf16
[]
=
{
0x00
,
0xff
,
0xff
,
0x00
,
0x00
};
uint8_t
buf17
[]
=
{
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
};
uint8_t
buf18
[]
=
{
0x00
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
};
uint8_t
buf19
[]
=
{
0x7f
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
};
uint8_t
buf20
[]
=
{
0x00
,
0x7f
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
,
0xff
};
#define UCHECK(buf, val, ret) check_unsigned(buf, sizeof(buf), val, ret)
#define UCHECK(buf, val, ret) check_unsigned(buf, sizeof(buf), val, ret)
#define CHECK(buf, val, ret) check(buf, sizeof(buf), val, ret)
#define CHECK(buf, val, ret) check(buf, sizeof(buf), val, ret)
#define UCHECK64(buf, val, ret) check_unsigned_64(buf, sizeof(buf), val, ret)
#define CHECK64(buf, val, ret) check_64(buf, sizeof(buf), val, ret)
CHECK
(
buf1
,
1
,
0
);
CHECK
(
buf1
,
1
,
0
);
CHECK
(
buf2
,
-
1
,
0
);
CHECK
(
buf2
,
-
1
,
0
);
...
@@ -376,6 +511,28 @@ main() {
...
@@ -376,6 +511,28 @@ main() {
UCHECK
(
buf15
,
0x80000000UL
,
0
);
UCHECK
(
buf15
,
0x80000000UL
,
0
);
UCHECK
(
buf16
,
0xffff0000UL
,
0
);
UCHECK
(
buf16
,
0xffff0000UL
,
0
);
CHECK64
(
buf1
,
1
,
0
);
CHECK64
(
buf2
,
-
1
,
0
);
CHECK64
(
buf3
,
-
1
,
0
);
CHECK64
(
buf4
,
-
16
,
0
);
CHECK64
(
buf5
,
257
,
0
);
CHECK64
(
buf6
,
123
,
-
1
);
CHECK64
(
buf7
,
123
,
-
1
);
CHECK64
(
buf8
,
0x7F7E7D7C
,
0
);
CHECK64
(
buf9
,
0x7F7E7D7C
,
0
);
CHECK64
(
buf10
,
0x7F7E7D7C
,
0
);
UCHECK64
(
buf10
,
0x7F7E7D7C
,
0
);
CHECK64
(
buf11
,
-
2147483647
-
1
,
0
);
/* 0x80000000 */
CHECK64
(
buf12
,
-
32768
,
0
);
CHECK64
(
buf13
,
-
128
,
0
);
UCHECK64
(
buf14
,
0x800000
,
0
);
UCHECK64
(
buf15
,
0x80000000UL
,
0
);
UCHECK64
(
buf16
,
0xffff0000UL
,
0
);
CHECK64
(
buf17
,
0xffffffffffffffffLL
,
0
);
UCHECK64
(
buf18
,
0xffffffffffffffffULL
,
0
);
CHECK64
(
buf19
,
0x7fffffffffffffffLL
,
0
);
UCHECK64
(
buf20
,
0x7fffffffffffffffULL
,
0
);
CHECK_XER
(
-
1
,
""
,
0
);
CHECK_XER
(
-
1
,
""
,
0
);
CHECK_XER
(
-
1
,
"<INTEGER></INTEGER>"
,
0
);
CHECK_XER
(
-
1
,
"<INTEGER></INTEGER>"
,
0
);
CHECK_XER
(
-
1
,
"<INTEGER> </INTEGER>"
,
0
);
CHECK_XER
(
-
1
,
"<INTEGER> </INTEGER>"
,
0
);
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment