Custom Query (145 matches)

Trac doesn't send email notifications unless a full email is specified in user preferences.

extern "C" {
    void fred(int __env[1]);
    void fred(int *__env);
}

cfa test3.c
CFA Version 1.0.0 (debug)
test3.c:3 error: conflicting overload of C function fred: C function
  with parameters
    __env: C pointer to signed int
  returning 
    _retval_fred:       Attribute with name: unused
void 

Are either of these allowed?

forall( int T ) g() {}

trait X(int T) {
    int h();
};

If not, they need a better error message:

cfa test.c
CFA Version 1.0.0 (debug)
*CFA assertion error* "false" from program "cfa-cpp" in "void buildList(const NodeType*, Container<SynTreeType*, Args ...>&) [with SynTreeType = TypeDecl; NodeType = DeclarationNode; Container = std::__cxx11::list; Args = {std::allocator<TypeDecl*>}]" at line 424 in file "Parser/ParseNode.h": buildList unknown type
Stack back trace for: /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp
(0) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void buildList<TypeDecl, DeclarationNode, std::__cxx11::list, std::allocator<TypeDecl*> >(DeclarationNode const*, std::__cxx11::list<TypeDecl*, std::allocator<TypeDecl*> >&)+0xce [0x5a7ede]
(1) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void buildForall<std::__cxx11::list<TypeDecl*, std::allocator<TypeDecl*> > >(DeclarationNode const*, std::__cxx11::list<TypeDecl*, std::allocator<TypeDecl*> >&)+0x32 [0x5a7ff2]
(2) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : buildFunction(TypeData const*)+0xde [0x5a7a5e]
(3) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : buildDecl(TypeData const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, Type::StorageClasses, Expression*, Type::FuncSpecifiers, LinkageSpec::Spec, ConstantExpr*, Initializer*, std::__cxx11::list<Attribute*, std::allocator<Attribute*> >)+0x1cc [0x5a768c]
(4) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : DeclarationNode::build() const+0x2bf [0x59688f]
(5) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : buildList(DeclarationNode const*, std::__cxx11::list<Declaration*, std::allocator<Declaration*> >&)+0xba [0x5973aa]
(6) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : main(/*unknown*/)+0x492 [0x4b0712]