ClassCastException: CBitFieldType cannot be cast to CSimpleType when using LLVM-Frontend
The following cmdlines lead to a ClassCastException
:
scripts/cpa.sh -default -spec config/properties/unreach-call.prp test/programs/llvm/functionCall.ll
scripts/cpa.sh -default -clang -spec config/properties/unreach-call.prp test/programs/llvm/functionCall.c
This issue appears for some of the programs in test/programs/llvm
.