-
Couldn't load subscription status.
- Fork 30
Closed
Labels
kleeRelated to internal work of KLEERelated to internal work of KLEEtop focusTop priority chosen by dev teamTop priority chosen by dev team
Description
Steps to reproduce
- Open and configure project
coreutils - Choose target
libcoreutils.a - Generate tests for file
gnulib/lib/di-set.c - See tests
Test
TEST(error, di_set_lookup_test_2)
{
struct di_set dis = {NULL, NULL, (struct di_ent *) 0xff};
di_set_lookup(&dis, 0UL, 0UL);
struct di_set expected_dis = {NULL, NULL, NULL};
}Note
(struct di_ent *) 0xff has a misaligned address but requires 8 byte alignment
Metadata
Metadata
Assignees
Labels
kleeRelated to internal work of KLEERelated to internal work of KLEEtop focusTop priority chosen by dev teamTop priority chosen by dev team
Type
Projects
Status
Done