Skip to content

Tests are generated with misaligned addresses for pointers #195

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
No fields configured for issues without a type.

Projects

Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions