Skip to content

Incomplete type of expected variable for 'void *' argument #186

Description

@operasfantom

Steps to reproduce

  1. Open and configure project coreutils
  2. Generate tests for gnulib/lib/free.c
  3. Try to run tests
  4. See logs

Logs

/home/utbot/projects/coreutils/utbot_tests/gnulib/lib/free_test.cpp:19:10: error: variable has incomplete type 'void'
    void expected_p = 0;

Test

TEST(error, rpl_free_test_1)
{
    __attribute__ ((aligned(16))) unsigned char p = 0;
    rpl_free(&p);
    void expected_p = 0;
    EXPECT_EQ(expected_p, p);
}

Questions

Should we check the pointer if it is freed? Should we check 'void *' output variables at all?

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions