Skip to content

Tests are generated with misaligned addresses for pointers #195

@operasfantom

Description

@operasfantom

Steps to reproduce

  1. Open and configure project coreutils
  2. Choose target libcoreutils.a
  3. Generate tests for file gnulib/lib/di-set.c
  4. 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 KLEEtop focusTop priority chosen by dev team

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions