Custom Query (145 matches)

Something in <thread> causes cfa-cc to fail. I can't make the example any smaller.

#include <stdlib>
#include <thread>  // remove and it works

int main() {
    int * values = anew( 5 );
}

cfa test.c
CFA Version 1.0.0 (debug)
*CFA runtime error* program cfa-cpp terminated with segment fault.
Stack back trace for: /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp
(0) /lib/x86_64-linux-gnu/libc.so.6 : (/*unknown*/)+0x354b0 [0x7fe6478e94b0]
(1) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::instantiateArgument(Type*, Initializer*, std::vector<std::vector<ResolvExpr::ExplodedActual, std::allocator<ResolvExpr::ExplodedActual> >, std::allocator<std::vector<ResolvExpr::ExplodedActual, std::allocator<ResolvExpr::ExplodedActual> > > > const&, std::vector<ResolvExpr::ArgPack, std::allocator<ResolvExpr::ArgPack> >&, unsigned long&, SymTab::Indexer const&, unsigned int)+0x1555 [0x8ccfb5]
(2) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void ResolvExpr::AlternativeFinder::makeFunctionAlternatives<std::back_insert_iterator<std::vector<ResolvExpr::Alternative, std::allocator<ResolvExpr::Alternative> > > >(ResolvExpr::Alternative const&, FunctionType*, std::vector<std::vector<ResolvExpr::ExplodedActual, std::allocator<ResolvExpr::ExplodedActual> >, std::allocator<std::vector<ResolvExpr::ExplodedActual, std::allocator<ResolvExpr::ExplodedActual> > > > const&, std::back_insert_iterator<std::vector<ResolvExpr::Alternative, std::allocator<ResolvExpr::Alternative> > >)+0x390 [0x8dc4c0]
(3) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::AlternativeFinder::visit(UntypedExpr*)+0x3d4 [0x8d1dc4]
(4) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::AlternativeFinder::find(Expression*, bool, bool, bool)+0x4e [0x8ce2de]
(5) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::AlternativeFinder::visit(CastExpr*)+0xea [0x8d2f0a]
(6) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::AlternativeFinder::find(Expression*, bool, bool, bool)+0x4e [0x8ce2de]
(7) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::resolveInVoidContext(Expression*, SymTab::Indexer const&, ResolvExpr::TypeEnvironment&)+0x94 [0x8cf604]
(8) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::findVoidExpression(Expression*&, SymTab::Indexer const&)+0x46 [0x9083c6]
(9) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x7da837]
(10) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x807b2f]
(11) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x7d295e]
(12) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x7dfa94]
(13) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x7fab69]
(14) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x7e1596]
(15) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x80edb5]
(16) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x80f0ef]
(17) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x83a7f0]
(18) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : InitTweak::fix(std::__cxx11::list<Declaration*, std::allocator<Declaration*> >&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, bool)+0x269 [0x836d19]
(19) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : main(/*unknown*/)+0x710 [0x5bcef0]

int main() {
  enum { S = 5 };
  int a[S] = { 0, 1, 2, 3, 4 };

  const int size = 3;
  int b[size] = { 0, 1, 2 };
}

cfa test4.c
CFA Version 1.0.0 (debug)
*CFA assertion error* "false" from program "cfa-cpp" in "void ResolvExpr::ArrayIterator::setSize(Expression*)" at line 158 in file "ResolvExpr/CurrentObject.cc": unhandled expression in setSize: Variable Expression: S: const instance of enum __anonymous0 with body 1 
Stack back trace for: /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp
(0) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::ArrayIterator::setSize(Expression*)+0x112 [0x13558f2]
(1) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::ArrayIterator::setSize(Expression*)+0xc0 [0x13558a0]
(2) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::ArrayIterator::ArrayIterator(ArrayType*)+0xb5 [0x135573d]
(3) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::createMemberIterator(Type*)+0x1ac [0x1354079]
(4) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::CurrentObject::enterListInit()+0x87 [0x1354f47]
(5) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::Resolver::previsit(ListInit*)+0x56 [0x13078a0]
(6) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x1309732]
(7) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void PassVisitor<ResolvExpr::Resolver>::call_previsit<ListInit>(ListInit*)+0x2c [0x1328cae]
(8) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(ListInit*)+0x90 [0x131c182]
(9) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ListInit::accept(Visitor&)+0x30 [0x159d24a]
(10) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void maybeAccept_impl<Initializer, ResolvExpr::Resolver>(Initializer*, PassVisitor<ResolvExpr::Resolver>&)+0x48 [0x132521d]
(11) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(ObjectDecl*)+0xd0 [0x1314a58]
(12) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ObjectDecl::accept(Visitor&)+0x2e [0x1599252]
(13) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void maybeAccept_impl<Declaration, ResolvExpr::Resolver>(Declaration*, PassVisitor<ResolvExpr::Resolver>&)+0x48 [0x130d8c3]
(14) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp() [0x1307fd2]
(15) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::resolve(std::__cxx11::list<Declaration*, std::allocator<Declaration*> >)+0x4a [0x1303958]
(16) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : main(/*unknown*/)+0x804 [0xbb1310]
CFA Translator error: cfa-cpp failed with signal 6

Operator ?<? causes the code to fail.

_Bool ?+?( _Bool lhs, _Bool rhs ) { return 2; }
_Bool ?<?( _Bool lhs, _Bool rhs ) { return 3; } // comment out and it works

int main() {
    const int Bops = 1;
    _Bool (* opr[Bops])( _Bool, _Bool ) = { ?+? };
}

cfa test1.c
CFA Version 1.0.0 (debug)
*CFA assertion error* "finder.get_alternatives().size() == 1" from program "cfa-cpp" in "void ResolvExpr::findSingleExpression(Expression*&, const SymTab::Indexer&)" at line 157 in file "ResolvExpr/Resolver.cc": findSingleExpression: must have exactly one alternative at the end.
Stack back trace for: /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp
(0) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::findSingleExpression(Expression*&, SymTab::Indexer const&)+0x144 [0x91ea54]
(1) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(IfStmt*)+0x56 [0x92ce46]
(2) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void PassVisitor<ResolvExpr::Resolver>::handleStatementList<PassVisitor<ResolvExpr::Resolver>::visitStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*)#1}>(std::__cxx11::list<Statement*, std::allocator<Statement*> >&, PassVisitor<ResolvExpr::Resolver>::visitStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*)#1})+0x1af [0x92d0bf]
(3) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(CompoundStmt*)+0x61 [0x92d491]
(4) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void PassVisitor<ResolvExpr::Resolver>::handleStatementList<PassVisitor<ResolvExpr::Resolver>::visitStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*)#1}>(std::__cxx11::list<Statement*, std::allocator<Statement*> >&, PassVisitor<ResolvExpr::Resolver>::visitStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*)#1})+0x1af [0x92d0bf]
(5) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(CompoundStmt*)+0x61 [0x92d491]
(6) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(ImplicitCtorDtorStmt*)+0x58 [0x923538]
(7) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::Resolver::previsit(ConstructorInit*)+0x26 [0x91e306]
(8) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(ConstructorInit*)+0x53 [0x924163]
(9) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(ObjectDecl*)+0xf5 [0x928845]
(10) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(DeclStmt*)+0x58 [0x923478]
(11) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void PassVisitor<ResolvExpr::Resolver>::handleStatementList<PassVisitor<ResolvExpr::Resolver>::visitStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*)#1}>(std::__cxx11::list<Statement*, std::allocator<Statement*> >&, PassVisitor<ResolvExpr::Resolver>::visitStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*)#1})+0x1af [0x92d0bf]
(12) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(CompoundStmt*)+0x61 [0x92d491]
(13) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<ResolvExpr::Resolver>::visit(FunctionDecl*)+0x1d4 [0x92dd44]
(14) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : ResolvExpr::resolve(std::__cxx11::list<Declaration*, std::allocator<Declaration*> >)+0x111 [0x921fd1]
(15) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : main(/*unknown*/)+0x675 [0x5d1585]
CFA Translator error: cfa-cpp failed with signal 6