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
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