Skip to content

[coreutils] UTBot failed on coreutils while building the project [BUG] #335

@Lana243

Description

@Lana243

Description
UTBot failed on coreutils while building the project.

To Reproduce
Steps to reproduce the behavior:

  1. Open and configure coreutils project
  2. Using CLI run the following command ./utbot all --project-path /path/to/coreutils --tests-dir utbot-tests
  3. See logs:
Command: "/utbot_distr/install/bin/clang -iquote/home/utbot/coreutils/src -emit-llvm -c -Xclang -disable-O0-optnone -g -fstandalone-debug -fno-discard-value-names -fno-elide-constructors -DKLEE_MODE=1 -fsanitize=alignment,builtin,bounds,enum,float-cast-overflow,float-divide-by-zero,implicit-unsigned-integer-truncation,implicit-signed-integer-truncation,implicit-integer-sign-change,integer-divide-by-zero,nonnull-attribute,null,nullability-arg,nullability-assign,nullability-return,pointer-overflow,return,returns-nonnull-attribute,shift,unreachable,vla-bound -I/home/utbot/coreutils/build/utbot/flags -c -I. -I.. -I./lib -Ilib -I../lib -Isrc -I../src -g -O0 -o /home/utbot/coreutils/build/src/wc_klee.bc /home/utbot/coreutils/build/src/wc_klee.c"
Directory: "/home/utbot/coreutils/build"
In file included from /home/utbot/coreutils/build/src/wc_klee.c:5:
In file included from /home/utbot/coreutils/src/wc.c:29:
/home/utbot/coreutils/src/system.h:19:10: fatal error: 'attribute.h' file not found
#include <attribute.h>
         ^~~~~~~~~~~~~
1 error generated.
/home/utbot/coreutils/build/utbot_build/BCForKLEE.mk:4: recipe for target 'build' failed
make: *** [build] Error 1

Environment
This issue is reproduced on commit portable tests from main branch and not reproduced on the previous commit from main branch. As this commit is the first one after release 2022.7.0 issue is not reproduced on that release.

Metadata

Metadata

Labels

bugSomething isn't workingregressionRegression

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions