Index: libcfa/src/parseargs.cfa =================================================================== --- libcfa/src/parseargs.cfa (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ libcfa/src/parseargs.cfa (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -230,10 +230,10 @@ } -void print_args_usage(cfa_option options[], size_t opt_count, const char * usage, bool error) __attribute__ ((noreturn)) { +void print_args_usage(cfa_option options[], const size_t opt_count, const char * usage, bool error) __attribute__ ((noreturn)) { const array( cfa_option, opt_count ) & arr = (const array( cfa_option, opt_count ) &) *options; usage(cfa_args_argv[0], arr, usage, error ? stderr : stdout); } -void print_args_usage(int , char * argv[], cfa_option options[], size_t opt_count, const char * usage, bool error) __attribute__ ((noreturn)) { +void print_args_usage(int , char * argv[], cfa_option options[], const size_t opt_count, const char * usage, bool error) __attribute__ ((noreturn)) { const array( cfa_option, opt_count ) & arr = (const array( cfa_option, opt_count ) &) *options; usage(argv[0], arr, usage, error ? stderr : stdout); Index: src/InitTweak/GenInit.cc =================================================================== --- src/InitTweak/GenInit.cc (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ src/InitTweak/GenInit.cc (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -300,72 +300,167 @@ # warning Remove the _New suffix after the conversion is complete. + + // Outer pass finds declarations, for their type could wrap a type that needs hoisting struct HoistArrayDimension_NoResolve_New final : public ast::WithDeclsToAdd<>, public ast::WithShortCircuiting, public ast::WithGuards, public ast::WithConstTranslationUnit, - public ast::WithVisitorRef { - void previsit( const ast::ObjectDecl * decl ); - const ast::DeclWithType * postvisit( const ast::ObjectDecl * decl ); - // Do not look for objects inside there declarations (and type). - void previsit( const ast::AggregateDecl * ) { visit_children = false; } - void previsit( const ast::NamedTypeDecl * ) { visit_children = false; } - void previsit( const ast::FunctionType * ) { visit_children = false; } - - const ast::Type * hoist( const ast::Type * type ); + public ast::WithVisitorRef, + public ast::WithSymbolTableX { + + // Inner pass looks within a type, for a part that depends on an expression + struct HoistDimsFromTypes final : + public ast::WithShortCircuiting, public ast::WithGuards { + + HoistArrayDimension_NoResolve_New * outer; + HoistDimsFromTypes( HoistArrayDimension_NoResolve_New * outer ) : outer(outer) {} + + // Only intended for visiting through types. + // Tolerate, and short-circuit at, the dimension expression of an array type. + // (We'll operate on the dimension expression of an array type directly + // from the parent type, not by visiting through it) + // Look inside type exprs. + void previsit( const ast::Node * ) { + assert( false && "unsupported node type" ); + }; + const ast::Expr * allowedExpr = nullptr; + void previsit( const ast::Type * ) { + GuardValue( allowedExpr ) = nullptr; + } + void previsit( const ast::ArrayType * t ) { + GuardValue( allowedExpr ) = t->dimension.get(); + } + void previsit( const ast::PointerType * t ) { + GuardValue( allowedExpr ) = t->dimension.get(); + } + void previsit( const ast::TypeofType * t ) { + GuardValue( allowedExpr ) = t->expr.get(); + } + void previsit( const ast::Expr * e ) { + assert( e == allowedExpr && + "only expecting to visit exprs that are dimension exprs or typeof(-) inner exprs" ); + + // Skip the tolerated expressions + visit_children = false; + } + void previsit( const ast::TypeExpr * ) {} + + const ast::Type * postvisit( + const ast::ArrayType * arrayType ) { + static UniqueName dimensionName( "_array_dim" ); + + if ( nullptr == arrayType->dimension ) { // if no dimension is given, don't presume to invent one + return arrayType; + } + + // find size_t; use it as the type for a dim expr + ast::ptr dimType = outer->transUnit().global.sizeType; + assert( dimType ); + add_qualifiers( dimType, ast::CV::Qualifiers( ast::CV::Const ) ); + + // Special-case handling: leave the user's dimension expression alone + // - requires the user to have followed a careful convention + // - may apply to extremely simple applications, but only as windfall + // - users of advanced applications will be following the convention on purpose + // - CFA maintainers must protect the criteria against leaving too much alone + + // Actual leave-alone cases following are conservative approximations of "cannot vary" + + // Leave alone: literals and enum constants + if ( dynamic_cast< const ast::ConstantExpr * >( arrayType->dimension.get() ) ) { + return arrayType; + } + + // Leave alone: direct use of an object declared to be const + const ast::NameExpr * dimn = dynamic_cast< const ast::NameExpr * >( arrayType->dimension.get() ); + if ( dimn ) { + std::vector dimnDefs = outer->symtab.lookupId( dimn->name ); + if ( dimnDefs.size() == 1 ) { + const ast::DeclWithType * dimnDef = dimnDefs[0].id.get(); + assert( dimnDef && "symbol table binds a name to nothing" ); + const ast::ObjectDecl * dimOb = dynamic_cast< const ast::ObjectDecl * >( dimnDef ); + if( dimOb ) { + const ast::Type * dimTy = dimOb->type.get(); + assert( dimTy && "object declaration bearing no type" ); + // must not hoist some: size_t + // must hoist all: pointers and references + // the analysis is conservative; BasicType is a simple approximation + if ( dynamic_cast< const ast::BasicType * >( dimTy ) || + dynamic_cast< const ast::SueInstType * >( dimTy ) ) { + if ( dimTy->is_const() ) { + // The dimension is certainly re-evaluable, giving the same answer each time. + // Our user might be hoping to write the array type in multiple places, having them unify. + // Leave the type alone. + + // We believe the new criterion leaves less alone than the old criterion. + // Thus, the old criterion should have left the current case alone. + // Catch cases that weren't thought through. + assert( !Tuples::maybeImpure( arrayType->dimension ) ); + + return arrayType; + } + }; + } + } + } + + // Leave alone: any sizeof expression (answer cannot vary during current lexical scope) + const ast::SizeofExpr * sz = dynamic_cast< const ast::SizeofExpr * >( arrayType->dimension.get() ); + if ( sz ) { + return arrayType; + } + + // General-case handling: change the array-type's dim expr (hoist the user-given content out of the type) + // - always safe + // - user-unnoticeable in common applications (benign noise in -CFA output) + // - may annoy a responsible user of advanced applications (but they can work around) + // - protects against misusing advanced features + // + // The hoist, by example, is: + // FROM USER: float a[ rand() ]; + // TO GCC: const size_t __len_of_a = rand(); float a[ __len_of_a ]; + + ast::ObjectDecl * arrayDimension = new ast::ObjectDecl( + arrayType->dimension->location, + dimensionName.newName(), + dimType, + new ast::SingleInit( + arrayType->dimension->location, + arrayType->dimension + ) + ); + + ast::ArrayType * mutType = ast::mutate( arrayType ); + mutType->dimension = new ast::VariableExpr( + arrayDimension->location, arrayDimension ); + outer->declsToAddBefore.push_back( arrayDimension ); + + return mutType; + } // postvisit( const ast::ArrayType * ) + }; // struct HoistDimsFromTypes ast::Storage::Classes storageClasses; + void previsit( + const ast::ObjectDecl * decl ) { + GuardValue( storageClasses ) = decl->storage; + } + + const ast::DeclWithType * postvisit( + const ast::ObjectDecl * objectDecl ) { + + if ( !isInFunction() || storageClasses.is_static ) { + return objectDecl; + } + + const ast::Type * mid = objectDecl->type; + + ast::Pass hoist{this}; + const ast::Type * result = mid->accept( hoist ); + + return mutate_field( objectDecl, &ast::ObjectDecl::type, result ); + } }; - void HoistArrayDimension_NoResolve_New::previsit( - const ast::ObjectDecl * decl ) { - GuardValue( storageClasses ) = decl->storage; - } - - const ast::DeclWithType * HoistArrayDimension_NoResolve_New::postvisit( - const ast::ObjectDecl * objectDecl ) { - return mutate_field( objectDecl, &ast::ObjectDecl::type, - hoist( objectDecl->type ) ); - } - - const ast::Type * HoistArrayDimension_NoResolve_New::hoist( - const ast::Type * type ) { - static UniqueName dimensionName( "_array_dim" ); - - if ( !isInFunction() || storageClasses.is_static ) { - return type; - } - - if ( auto arrayType = dynamic_cast< const ast::ArrayType * >( type ) ) { - if ( nullptr == arrayType->dimension ) { - return type; - } - - if ( !Tuples::maybeImpure( arrayType->dimension ) ) { - return type; - } - - ast::ptr dimType = transUnit().global.sizeType; - assert( dimType ); - add_qualifiers( dimType, ast::CV::Qualifiers( ast::CV::Const ) ); - - ast::ObjectDecl * arrayDimension = new ast::ObjectDecl( - arrayType->dimension->location, - dimensionName.newName(), - dimType, - new ast::SingleInit( - arrayType->dimension->location, - arrayType->dimension - ) - ); - - ast::ArrayType * mutType = ast::mutate( arrayType ); - mutType->dimension = new ast::VariableExpr( - arrayDimension->location, arrayDimension ); - declsToAddBefore.push_back( arrayDimension ); - - mutType->base = hoist( mutType->base ); - return mutType; - } - return type; - } + + struct ReturnFixer_New final : Index: src/ResolvExpr/ResolveTypeof.h =================================================================== --- src/ResolvExpr/ResolveTypeof.h (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ src/ResolvExpr/ResolveTypeof.h (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -30,4 +30,5 @@ Type *resolveTypeof( Type*, const SymTab::Indexer &indexer ); const ast::Type * resolveTypeof( const ast::Type *, const ResolveContext & ); + const ast::Type * fixArrayType( const ast::Type *, const ResolveContext & ); const ast::ObjectDecl * fixObjectType( const ast::ObjectDecl * decl , const ResolveContext & ); } // namespace ResolvExpr Index: src/ResolvExpr/Unify.cc =================================================================== --- src/ResolvExpr/Unify.cc (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ src/ResolvExpr/Unify.cc (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -32,4 +32,5 @@ #include "AST/Type.hpp" #include "AST/TypeEnvironment.hpp" +#include "Common/Eval.h" // for eval #include "Common/PassVisitor.h" // for PassVisitor #include "CommonType.hpp" // for commonType @@ -779,4 +780,125 @@ } + // Unification of Expressions + // + // Boolean outcome (obvious): Are they basically spelled the same? + // Side effect of binding variables (subtle): if `sizeof(int)` ===_expr `sizeof(T)` then `int` ===_ty `T` + // + // Context: if `float[VAREXPR1]` ===_ty `float[VAREXPR2]` then `VAREXPR1` ===_expr `VAREXPR2` + // where the VAREXPR are meant as notational metavariables representing the fact that unification always + // sees distinct ast::VariableExpr objects at these positions + + static bool unify( const ast::Expr * e1, const ast::Expr * e2, ast::TypeEnvironment & env, + ast::AssertionSet & need, ast::AssertionSet & have, const ast::OpenVarSet & open, + WidenMode widen ); + + class UnifyExpr final : public ast::WithShortCircuiting { + const ast::Expr * e2; + ast::TypeEnvironment & tenv; + ast::AssertionSet & need; + ast::AssertionSet & have; + const ast::OpenVarSet & open; + WidenMode widen; + public: + bool result; + + private: + + void tryMatchOnStaticValue( const ast::Expr * e1 ) { + Evaluation r1 = eval(e1); + Evaluation r2 = eval(e2); + + if ( ! r1.hasKnownValue ) return; + if ( ! r2.hasKnownValue ) return; + + if (r1.knownValue != r2.knownValue) return; + + visit_children = false; + result = true; + } + + public: + + void previsit( const ast::Node * ) { assert(false); } + + void previsit( const ast::Expr * e1 ) { + tryMatchOnStaticValue( e1 ); + visit_children = false; + } + + void previsit( const ast::CastExpr * e1 ) { + tryMatchOnStaticValue( e1 ); + + if (result) { + assert (visit_children == false); + } else { + assert (visit_children == true); + visit_children = false; + + auto e2c = dynamic_cast< const ast::CastExpr * >( e2 ); + if ( ! e2c ) return; + + // inspect casts' target types + if ( ! unifyExact( + e1->result, e2c->result, tenv, need, have, open, widen ) ) return; + + // inspect casts' inner expressions + result = unify( e1->arg, e2c->arg, tenv, need, have, open, widen ); + } + } + + void previsit( const ast::VariableExpr * e1 ) { + tryMatchOnStaticValue( e1 ); + + if (result) { + assert (visit_children == false); + } else { + assert (visit_children == true); + visit_children = false; + + auto e2v = dynamic_cast< const ast::VariableExpr * >( e2 ); + if ( ! e2v ) return; + + assert(e1->var); + assert(e2v->var); + + // conservative: variable exprs match if their declarations are represented by the same C++ AST object + result = (e1->var == e2v->var); + } + } + + void previsit( const ast::SizeofExpr * e1 ) { + tryMatchOnStaticValue( e1 ); + + if (result) { + assert (visit_children == false); + } else { + assert (visit_children == true); + visit_children = false; + + auto e2so = dynamic_cast< const ast::SizeofExpr * >( e2 ); + if ( ! e2so ) return; + + assert((e1->type != nullptr) ^ (e1->expr != nullptr)); + assert((e2so->type != nullptr) ^ (e2so->expr != nullptr)); + if ( ! (e1->type && e2so->type) ) return; + + // expression unification calls type unification (mutual recursion) + result = unifyExact( e1->type, e2so->type, tenv, need, have, open, widen ); + } + } + + UnifyExpr( const ast::Expr * e2, ast::TypeEnvironment & env, ast::AssertionSet & need, + ast::AssertionSet & have, const ast::OpenVarSet & open, WidenMode widen ) + : e2( e2 ), tenv(env), need(need), have(have), open(open), widen(widen), result(false) {} + }; + + static bool unify( const ast::Expr * e1, const ast::Expr * e2, ast::TypeEnvironment & env, + ast::AssertionSet & need, ast::AssertionSet & have, const ast::OpenVarSet & open, + WidenMode widen ) { + assert( e1 && e2 ); + return ast::Pass::read( e1, e2, env, need, have, open, widen ); + } + class Unify_new final : public ast::WithShortCircuiting { const ast::Type * type2; @@ -820,16 +942,12 @@ if ( ! array2 ) return; - // to unify, array types must both be VLA or both not VLA and both must have a - // dimension expression or not have a dimension if ( array->isVarLen != array2->isVarLen ) return; - if ( ! array->isVarLen && ! array2->isVarLen - && array->dimension && array2->dimension ) { - auto ce1 = array->dimension.as< ast::ConstantExpr >(); - auto ce2 = array2->dimension.as< ast::ConstantExpr >(); - - // see C11 Reference Manual 6.7.6.2.6 - // two array types with size specifiers that are integer constant expressions are - // compatible if both size specifiers have the same constant value - if ( ce1 && ce2 && ce1->intValue() != ce2->intValue() ) return; + if ( (array->dimension != nullptr) != (array2->dimension != nullptr) ) return; + + if ( array->dimension ) { + assert( array2->dimension ); + // type unification calls expression unification (mutual recursion) + if ( ! unify(array->dimension, array2->dimension, + tenv, need, have, open, widen) ) return; } Index: src/Validate/GenericParameter.cpp =================================================================== --- src/Validate/GenericParameter.cpp (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ src/Validate/GenericParameter.cpp (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -16,5 +16,4 @@ #include "GenericParameter.hpp" -#include "AST/Copy.hpp" #include "AST/Decl.hpp" #include "AST/Expr.hpp" @@ -165,5 +164,6 @@ struct TranslateDimensionCore : - public WithNoIdSymbolTable, public ast::WithGuards { + public WithNoIdSymbolTable, public ast::WithGuards, + public ast::WithVisitorRef { // SUIT: Struct- or Union- InstType @@ -190,4 +190,7 @@ const ast::TypeDecl * postvisit( const ast::TypeDecl * decl ); + const ast::Type * postvisit( const ast::FunctionType * type ); + const ast::Type * postvisit( const ast::TypeInstType * type ); + const ast::Expr * postvisit( const ast::DimensionExpr * expr ); const ast::Expr * postvisit( const ast::Expr * expr ); @@ -195,4 +198,5 @@ }; +// Declaration of type variable: forall( [N] ) -> forall( N & | sized( N ) ) const ast::TypeDecl * TranslateDimensionCore::postvisit( const ast::TypeDecl * decl ) { @@ -206,4 +210,24 @@ } return decl; +} + +// Makes postvisit( TypeInstType ) get called on the entries of the function declaration's type's forall list. +// Pass.impl.hpp's visit( FunctionType ) does not consider the forall entries to be child nodes. +// Workaround is: during the current TranslateDimension pass, manually visit down there. +const ast::Type * TranslateDimensionCore::postvisit( + const ast::FunctionType * type ) { + visitor->maybe_accept( type, &ast::FunctionType::forall ); + return type; +} + +// Use of type variable, assuming `forall( [N] )` in scope: void (*)( foo( /*dimension*/ N ) & ) -> void (*)( foo( /*dtype*/ N ) & ) +const ast::Type * TranslateDimensionCore::postvisit( + const ast::TypeInstType * type ) { + if ( type->kind == ast::TypeDecl::Dimension ) { + auto mutType = ast::mutate( type ); + mutType->kind = ast::TypeDecl::Dtype; + return mutType; + } + return type; } Index: tests/.expect/typedefRedef-ERR1.txt =================================================================== --- tests/.expect/typedefRedef-ERR1.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/.expect/typedefRedef-ERR1.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,3 +1,4 @@ typedefRedef.cfa:75:25: warning: Compiled typedefRedef.cfa:4:1 error: Cannot redefine typedef: Foo +typedefRedef.cfa:31:1 error: Cannot redefine typedef: ARR typedefRedef.cfa:65:1 error: Cannot redefine typedef: ARR Index: tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,2 +1,110 @@ +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: Name: f @@ -70,4 +178,34 @@ Address of: Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -89,4 +227,119 @@ array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim16: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim18: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim19: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim20: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim21: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim23: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: Variable Expression: cpr7: const signed int @@ -110,139 +363,419 @@ Address of: Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int -array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + Index: tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,2 +1,110 @@ +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: Name: f @@ -70,4 +178,34 @@ Address of: Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -89,4 +227,119 @@ array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim16: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim18: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim19: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim20: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim21: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim23: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: Variable Expression: cpr7: const signed int @@ -110,139 +363,419 @@ Address of: Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int -array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + Index: tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,2 +1,110 @@ +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped: Name: f @@ -70,4 +178,84 @@ Address of: Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Sizeof Expression on: instance of type dim7 (not function type) + ... with resolved type: + unsigned long int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -89,4 +277,94 @@ array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim16: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim18: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim19: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim20: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim21: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: _array_dim23: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: Variable Expression: cpr7: const signed int @@ -110,139 +388,419 @@ Address of: Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned int - ... with resolved type: - unsigned int -array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned int - ... with resolved type: - unsigned int -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned int + ... with resolved type: + unsigned int +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + Index: tests/array-container/.expect/dimexpr-match-c.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-c.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-c.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -13,13 +13,23 @@ skip STA NE UNS, L=enu7, R=mut42 done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE DYN, L=cpr7, R=cpr42 skip DYN NE STA, L=cpr7, R=42 skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 skip UNS NE STA, L=mut7, R=42 skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- PTRVAR_INIT: { float a[__R__]; float (*b)[__L__] = & a; } done STA EQ STA, L=7, R=7 @@ -36,13 +46,23 @@ skip STA NE UNS, L=enu7, R=mut42 done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE DYN, L=cpr7, R=cpr42 skip DYN NE STA, L=cpr7, R=42 skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 skip UNS NE STA, L=mut7, R=42 skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- PTRVAR_ASGN: { float a[__R__]; float (*b)[__L__] = 0p; b = & a; } done STA EQ STA, L=7, R=7 @@ -59,13 +79,23 @@ skip STA NE UNS, L=enu7, R=mut42 done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE DYN, L=cpr7, R=cpr42 skip DYN NE STA, L=cpr7, R=42 skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 skip UNS NE STA, L=mut7, R=42 skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- REFVAR_ASGN: { float a[__R__]; float (&b)[__L__] = *0p; & b = & a; } done STA EQ STA, L=7, R=7 @@ -82,11 +112,21 @@ skip STA NE UNS, L=enu7, R=mut42 done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE DYN, L=cpr7, R=cpr42 skip DYN NE STA, L=cpr7, R=42 skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 skip UNS NE STA, L=mut7, R=42 skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 Index: tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,2 +1,56 @@ +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: Name: f @@ -154,4 +208,36 @@ ... with parameters array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -201,4 +287,36 @@ Name: a InitAlternative: pointer to instance of struct arpk with body ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters instance of type dim7 (not function type) float @@ -247,4 +365,100 @@ ... with parameters variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim16: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim18: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim19: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim20: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim21: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim23: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: Variable Expression: cpr7: const signed int ... with resolved type: @@ -295,5 +509,348 @@ ... with parameters variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -306,10 +863,9 @@ float -array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -322,10 +878,9 @@ float -array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -338,208 +893,4 @@ float -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression Name: a InitAlternative: reference to instance of struct arpk with body @@ -576,19 +927,4 @@ ... with parameters array of char with dimension of Generated Cast of: - Constant Expression (7: signed int) - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - array of char with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -635,4 +971,34 @@ Name: a InitAlternative: reference to instance of struct arpk with body ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters instance of type dim7 (not function type) float @@ -676,4 +1042,94 @@ ... with parameters variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim52: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim54: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim55: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim56: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim57: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim59: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: Variable Expression: cpr7: const signed int ... with resolved type: @@ -721,281 +1177,392 @@ ... with parameters variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + Index: tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,2 +1,56 @@ +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: Name: f @@ -154,4 +208,36 @@ ... with parameters array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -201,4 +287,36 @@ Name: a InitAlternative: pointer to instance of struct arpk with body ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters instance of type dim7 (not function type) float @@ -247,4 +365,100 @@ ... with parameters variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim16: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim18: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim19: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim20: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim21: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim23: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: Variable Expression: cpr7: const signed int ... with resolved type: @@ -295,5 +509,348 @@ ... with parameters variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -306,10 +863,9 @@ float -array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -322,10 +878,9 @@ float -array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -338,208 +893,4 @@ float -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression Name: a InitAlternative: reference to instance of struct arpk with body @@ -576,19 +927,4 @@ ... with parameters array of char with dimension of Generated Cast of: - Constant Expression (7: signed int) - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - array of char with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -635,4 +971,34 @@ Name: a InitAlternative: reference to instance of struct arpk with body ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters instance of type dim7 (not function type) float @@ -676,4 +1042,94 @@ ... with parameters variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim52: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim54: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim55: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim56: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim57: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim59: const unsigned long int + ... with resolved type: + const unsigned long int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: Variable Expression: cpr7: const signed int ... with resolved type: @@ -721,281 +1177,392 @@ ... with parameters variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned long int - ... with resolved type: - unsigned long int - float - float - float - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned long int + ... with resolved type: + unsigned long int + float + float + float + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + Index: tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,2 +1,56 @@ +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Address of: + Name: a + array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: Name: f @@ -154,4 +208,36 @@ ... with parameters array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) + ... with resolved type: + signed int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -201,4 +287,36 @@ Name: a InitAlternative: pointer to instance of struct arpk with body ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters instance of type dim7 (not function type) float @@ -247,4 +365,100 @@ ... with parameters variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim16: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim18: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim19: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim20: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim21: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim23: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: Variable Expression: cpr7: const signed int ... with resolved type: @@ -295,5 +509,348 @@ ... with parameters variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Address of: + Name: a InitAlternative: pointer to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -306,10 +863,9 @@ float -array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -322,10 +878,9 @@ float -array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Address of: - Name: a InitAlternative: pointer to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Constant Expression (7: signed int) ... with resolved type: signed int @@ -338,208 +893,4 @@ float -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - -array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: f -...to: - Name: a - array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression Name: a InitAlternative: reference to instance of struct arpk with body @@ -576,19 +927,4 @@ ... with parameters array of char with dimension of Generated Cast of: - Constant Expression (7: signed int) - ... with resolved type: - signed int - ... to: - unsigned int - ... with resolved type: - unsigned int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - array of char with dimension of Generated Cast of: Variable Expression: enu7: const instance of enum __anonymous0 with body ... with resolved type: @@ -635,4 +971,34 @@ Name: a InitAlternative: reference to instance of struct arpk with body ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + array of char with dimension of Generated Cast of: + Variable Expression: enu7: const instance of enum __anonymous0 with body + ... with resolved type: + const instance of enum __anonymous0 with body + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters instance of type dim7 (not function type) float @@ -676,4 +1042,94 @@ ... with parameters variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim52: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim54: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim55: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim56: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim57: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: _array_dim59: const unsigned int + ... with resolved type: + const unsigned int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: Variable Expression: cpr7: const signed int ... with resolved type: @@ -721,281 +1177,392 @@ ... with parameters variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned int - ... with resolved type: - unsigned int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned int - ... with resolved type: - unsigned int - float - float - float - -array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression - Name: a InitAlternative: reference to instance of struct arpk with body - ... with parameters - variable length array of char with dimension of Generated Cast of: - Variable Expression: mut7: signed int - ... with resolved type: - signed int - ... to: - unsigned int - ... with resolved type: - unsigned int - float - float - float - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: ?=? -...to: - Address of: - Name: b - Address of: - Name: a - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - -array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: zip -...to: - Name: a - Name: b - + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression + Name: a InitAlternative: reference to instance of struct arpk with body + ... with parameters + variable length array of char with dimension of Generated Cast of: + Variable Expression: cpr7: const signed int + ... with resolved type: + const signed int + ... to: + unsigned int + ... with resolved type: + unsigned int + float + float + float + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: ?=? +...to: + Address of: + Name: b + Address of: + Name: a + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + +array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: zip +...to: + Name: a + Name: b + Index: tests/array-container/.expect/dimexpr-match-cfa.txt =================================================================== --- tests/array-container/.expect/dimexpr-match-cfa.txt (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/.expect/dimexpr-match-cfa.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -1,231 +1,231 @@ ---- PTRPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( & a ); } done STA EQ STA, L=7, R=7 -done STA NE STA, L=7, R=42 -done STA EQ STA, L=7, R=enu7 -done STA NE STA, L=7, R=enu42 -skip STA NE DYN, L=7, R=cpr42 -skip STA NE UNS, L=7, R=mut42 -done STA EQ STA, L=enu7, R=enu7 -done STA NE STA, L=enu7, R=enu42 -done STA EQ STA, L=enu7, R=7 -done STA NE STA, L=enu7, R=42 -skip STA NE DYN, L=enu7, R=cpr42 -skip STA NE UNS, L=enu7, R=mut42 -done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 -skip DYN NE STA, L=cpr7, R=42 -skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 -skip UNS NE STA, L=mut7, R=42 -skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 -skip STA NE XXX, L=7, R=dim42 -skip STA NE XXX, L=enu7, R=dim42 -skip DYN NE XXX, L=cpr7, R=dim42 -done XXX EQ XXX, L=dim7, R=dim7 -skip XXX NE XXX, L=dim7, R=dim42 -skip XXX NE STA, L=dim7, R=42 -skip XXX NE STA, L=dim7, R=enu42 -skip XXX NE DYN, L=dim7, R=cpr42 -skip XXX NE UNS, L=dim7, R=mut42 -skip UNS NE XXX, L=mut7, R=dim42 +skip STA NE STA, L=7, R=42 +done STA EQ STA, L=7, R=enu7 +skip STA NE STA, L=7, R=enu42 +skip STA NE DYN, L=7, R=cpr42 +skip STA NE UNS, L=7, R=mut42 +done STA EQ STA, L=enu7, R=enu7 +skip STA NE STA, L=enu7, R=enu42 +done STA EQ STA, L=enu7, R=7 +skip STA NE STA, L=enu7, R=42 +skip STA NE DYN, L=enu7, R=cpr42 +skip STA NE UNS, L=enu7, R=mut42 +done DYN EQ DYN, L=cpr7, R=cpr7 +skip DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE STA, L=cpr7, R=42 +skip DYN NE STA, L=cpr7, R=enu42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 +skip UNS NE STA, L=mut7, R=42 +skip UNS NE STA, L=mut7, R=enu42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- PTRVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = & a; } done STA EQ STA, L=7, R=7 -done STA NE STA, L=7, R=42 -done STA EQ STA, L=7, R=enu7 -done STA NE STA, L=7, R=enu42 -skip STA NE DYN, L=7, R=cpr42 -skip STA NE UNS, L=7, R=mut42 -done STA EQ STA, L=enu7, R=enu7 -done STA NE STA, L=enu7, R=enu42 -done STA EQ STA, L=enu7, R=7 -done STA NE STA, L=enu7, R=42 -skip STA NE DYN, L=enu7, R=cpr42 -skip STA NE UNS, L=enu7, R=mut42 -done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 -skip DYN NE STA, L=cpr7, R=42 -skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 -skip UNS NE STA, L=mut7, R=42 -skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 -skip STA NE XXX, L=7, R=dim42 -skip STA NE XXX, L=enu7, R=dim42 -skip DYN NE XXX, L=cpr7, R=dim42 -done XXX EQ XXX, L=dim7, R=dim7 -skip XXX NE XXX, L=dim7, R=dim42 -skip XXX NE STA, L=dim7, R=42 -skip XXX NE STA, L=dim7, R=enu42 -skip XXX NE DYN, L=dim7, R=cpr42 -skip XXX NE UNS, L=dim7, R=mut42 -skip UNS NE XXX, L=mut7, R=dim42 +skip STA NE STA, L=7, R=42 +done STA EQ STA, L=7, R=enu7 +skip STA NE STA, L=7, R=enu42 +skip STA NE DYN, L=7, R=cpr42 +skip STA NE UNS, L=7, R=mut42 +done STA EQ STA, L=enu7, R=enu7 +skip STA NE STA, L=enu7, R=enu42 +done STA EQ STA, L=enu7, R=7 +skip STA NE STA, L=enu7, R=42 +skip STA NE DYN, L=enu7, R=cpr42 +skip STA NE UNS, L=enu7, R=mut42 +done DYN EQ DYN, L=cpr7, R=cpr7 +skip DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE STA, L=cpr7, R=42 +skip DYN NE STA, L=cpr7, R=enu42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 +skip UNS NE STA, L=mut7, R=42 +skip UNS NE STA, L=mut7, R=enu42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- PTRVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = 0p; b = & a; } done STA EQ STA, L=7, R=7 -done STA NE STA, L=7, R=42 -done STA EQ STA, L=7, R=enu7 -done STA NE STA, L=7, R=enu42 -skip STA NE DYN, L=7, R=cpr42 -skip STA NE UNS, L=7, R=mut42 -done STA EQ STA, L=enu7, R=enu7 -done STA NE STA, L=enu7, R=enu42 -done STA EQ STA, L=enu7, R=7 -done STA NE STA, L=enu7, R=42 -skip STA NE DYN, L=enu7, R=cpr42 -skip STA NE UNS, L=enu7, R=mut42 -done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 -skip DYN NE STA, L=cpr7, R=42 -skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 -skip UNS NE STA, L=mut7, R=42 -skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 -skip STA NE XXX, L=7, R=dim42 -skip STA NE XXX, L=enu7, R=dim42 -skip DYN NE XXX, L=cpr7, R=dim42 -done XXX EQ XXX, L=dim7, R=dim7 -skip XXX NE XXX, L=dim7, R=dim42 -skip XXX NE STA, L=dim7, R=42 -skip XXX NE STA, L=dim7, R=enu42 -skip XXX NE DYN, L=dim7, R=cpr42 -skip XXX NE UNS, L=dim7, R=mut42 -skip UNS NE XXX, L=mut7, R=dim42 +skip STA NE STA, L=7, R=42 +done STA EQ STA, L=7, R=enu7 +skip STA NE STA, L=7, R=enu42 +skip STA NE DYN, L=7, R=cpr42 +skip STA NE UNS, L=7, R=mut42 +done STA EQ STA, L=enu7, R=enu7 +skip STA NE STA, L=enu7, R=enu42 +done STA EQ STA, L=enu7, R=7 +skip STA NE STA, L=enu7, R=42 +skip STA NE DYN, L=enu7, R=cpr42 +skip STA NE UNS, L=enu7, R=mut42 +done DYN EQ DYN, L=cpr7, R=cpr7 +skip DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE STA, L=cpr7, R=42 +skip DYN NE STA, L=cpr7, R=enu42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 +skip UNS NE STA, L=mut7, R=42 +skip UNS NE STA, L=mut7, R=enu42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- REFPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( a ); } done STA EQ STA, L=7, R=7 -done STA NE STA, L=7, R=42 -done STA EQ STA, L=7, R=enu7 -done STA NE STA, L=7, R=enu42 -skip STA NE DYN, L=7, R=cpr42 -skip STA NE UNS, L=7, R=mut42 -done STA EQ STA, L=enu7, R=enu7 -done STA NE STA, L=enu7, R=enu42 -done STA EQ STA, L=enu7, R=7 -done STA NE STA, L=enu7, R=42 -skip STA NE DYN, L=enu7, R=cpr42 -skip STA NE UNS, L=enu7, R=mut42 -done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 -skip DYN NE STA, L=cpr7, R=42 -skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 -skip UNS NE STA, L=mut7, R=42 -skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 -skip STA NE XXX, L=7, R=dim42 -skip STA NE XXX, L=enu7, R=dim42 -skip DYN NE XXX, L=cpr7, R=dim42 -done XXX EQ XXX, L=dim7, R=dim7 -skip XXX NE XXX, L=dim7, R=dim42 -skip XXX NE STA, L=dim7, R=42 -skip XXX NE STA, L=dim7, R=enu42 -skip XXX NE DYN, L=dim7, R=cpr42 -skip XXX NE UNS, L=dim7, R=mut42 -skip UNS NE XXX, L=mut7, R=dim42 +skip STA NE STA, L=7, R=42 +done STA EQ STA, L=7, R=enu7 +skip STA NE STA, L=7, R=enu42 +skip STA NE DYN, L=7, R=cpr42 +skip STA NE UNS, L=7, R=mut42 +done STA EQ STA, L=enu7, R=enu7 +skip STA NE STA, L=enu7, R=enu42 +done STA EQ STA, L=enu7, R=7 +skip STA NE STA, L=enu7, R=42 +skip STA NE DYN, L=enu7, R=cpr42 +skip STA NE UNS, L=enu7, R=mut42 +done DYN EQ DYN, L=cpr7, R=cpr7 +skip DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE STA, L=cpr7, R=42 +skip DYN NE STA, L=cpr7, R=enu42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 +skip UNS NE STA, L=mut7, R=42 +skip UNS NE STA, L=mut7, R=enu42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- REFVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = a; } done STA EQ STA, L=7, R=7 -done STA NE STA, L=7, R=42 -done STA EQ STA, L=7, R=enu7 -done STA NE STA, L=7, R=enu42 -skip STA NE DYN, L=7, R=cpr42 -skip STA NE UNS, L=7, R=mut42 -done STA EQ STA, L=enu7, R=enu7 -done STA NE STA, L=enu7, R=enu42 -done STA EQ STA, L=enu7, R=7 -done STA NE STA, L=enu7, R=42 -skip STA NE DYN, L=enu7, R=cpr42 -skip STA NE UNS, L=enu7, R=mut42 -done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 -skip DYN NE STA, L=cpr7, R=42 -skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 -skip UNS NE STA, L=mut7, R=42 -skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 -skip STA NE XXX, L=7, R=dim42 -skip STA NE XXX, L=enu7, R=dim42 -skip DYN NE XXX, L=cpr7, R=dim42 -done XXX EQ XXX, L=dim7, R=dim7 -skip XXX NE XXX, L=dim7, R=dim42 -skip XXX NE STA, L=dim7, R=42 -skip XXX NE STA, L=dim7, R=enu42 -skip XXX NE DYN, L=dim7, R=cpr42 -skip XXX NE UNS, L=dim7, R=mut42 -skip UNS NE XXX, L=mut7, R=dim42 +skip STA NE STA, L=7, R=42 +done STA EQ STA, L=7, R=enu7 +skip STA NE STA, L=7, R=enu42 +skip STA NE DYN, L=7, R=cpr42 +skip STA NE UNS, L=7, R=mut42 +done STA EQ STA, L=enu7, R=enu7 +skip STA NE STA, L=enu7, R=enu42 +done STA EQ STA, L=enu7, R=7 +skip STA NE STA, L=enu7, R=42 +skip STA NE DYN, L=enu7, R=cpr42 +skip STA NE UNS, L=enu7, R=mut42 +done DYN EQ DYN, L=cpr7, R=cpr7 +skip DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE STA, L=cpr7, R=42 +skip DYN NE STA, L=cpr7, R=enu42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 +skip UNS NE STA, L=mut7, R=42 +skip UNS NE STA, L=mut7, R=enu42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- REFVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = *0p; & b = & a; } done STA EQ STA, L=7, R=7 -done STA NE STA, L=7, R=42 -done STA EQ STA, L=7, R=enu7 -done STA NE STA, L=7, R=enu42 -skip STA NE DYN, L=7, R=cpr42 -skip STA NE UNS, L=7, R=mut42 -done STA EQ STA, L=enu7, R=enu7 -done STA NE STA, L=enu7, R=enu42 -done STA EQ STA, L=enu7, R=7 -done STA NE STA, L=enu7, R=42 -skip STA NE DYN, L=enu7, R=cpr42 -skip STA NE UNS, L=enu7, R=mut42 -done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 -skip DYN NE STA, L=cpr7, R=42 -skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 -skip UNS NE STA, L=mut7, R=42 -skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 -skip STA NE XXX, L=7, R=dim42 -skip STA NE XXX, L=enu7, R=dim42 -skip DYN NE XXX, L=cpr7, R=dim42 -done XXX EQ XXX, L=dim7, R=dim7 -skip XXX NE XXX, L=dim7, R=dim42 -skip XXX NE STA, L=dim7, R=42 -skip XXX NE STA, L=dim7, R=enu42 -skip XXX NE DYN, L=dim7, R=cpr42 -skip XXX NE UNS, L=dim7, R=mut42 -skip UNS NE XXX, L=mut7, R=dim42 +skip STA NE STA, L=7, R=42 +done STA EQ STA, L=7, R=enu7 +skip STA NE STA, L=7, R=enu42 +skip STA NE DYN, L=7, R=cpr42 +skip STA NE UNS, L=7, R=mut42 +done STA EQ STA, L=enu7, R=enu7 +skip STA NE STA, L=enu7, R=enu42 +done STA EQ STA, L=enu7, R=7 +skip STA NE STA, L=enu7, R=42 +skip STA NE DYN, L=enu7, R=cpr42 +skip STA NE UNS, L=enu7, R=mut42 +done DYN EQ DYN, L=cpr7, R=cpr7 +skip DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE STA, L=cpr7, R=42 +skip DYN NE STA, L=cpr7, R=enu42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 +skip UNS NE STA, L=mut7, R=42 +skip UNS NE STA, L=mut7, R=enu42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 ---- CALLZIP: { typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) b; zip( a, b ); } done STA EQ STA, L=7, R=7 -done STA NE STA, L=7, R=42 -done STA EQ STA, L=7, R=enu7 -done STA NE STA, L=7, R=enu42 -skip STA NE DYN, L=7, R=cpr42 -skip STA NE UNS, L=7, R=mut42 -done STA EQ STA, L=enu7, R=enu7 -done STA NE STA, L=enu7, R=enu42 -done STA EQ STA, L=enu7, R=7 -done STA NE STA, L=enu7, R=42 -skip STA NE DYN, L=enu7, R=cpr42 -skip STA NE UNS, L=enu7, R=mut42 -done DYN EQ DYN, L=cpr7, R=cpr7 -done DYN NE DYN, L=cpr7, R=cpr42 -skip DYN NE STA, L=cpr7, R=42 -skip DYN NE STA, L=cpr7, R=enu42 -done DYN NE UNS, L=cpr7, R=mut42 -done UNS EQ UNS, L=mut7, R=mut7 -done UNS NE UNS, L=mut7, R=mut42 -skip UNS NE STA, L=mut7, R=42 -skip UNS NE STA, L=mut7, R=enu42 -done UNS NE DYN, L=mut7, R=cpr42 -skip STA NE XXX, L=7, R=dim42 -skip STA NE XXX, L=enu7, R=dim42 -skip DYN NE XXX, L=cpr7, R=dim42 -done XXX EQ XXX, L=dim7, R=dim7 -skip XXX NE XXX, L=dim7, R=dim42 -skip XXX NE STA, L=dim7, R=42 -skip XXX NE STA, L=dim7, R=enu42 -skip XXX NE DYN, L=dim7, R=cpr42 -skip XXX NE UNS, L=dim7, R=mut42 -skip UNS NE XXX, L=mut7, R=dim42 +skip STA NE STA, L=7, R=42 +done STA EQ STA, L=7, R=enu7 +skip STA NE STA, L=7, R=enu42 +skip STA NE DYN, L=7, R=cpr42 +skip STA NE UNS, L=7, R=mut42 +done STA EQ STA, L=enu7, R=enu7 +skip STA NE STA, L=enu7, R=enu42 +done STA EQ STA, L=enu7, R=7 +skip STA NE STA, L=enu7, R=42 +skip STA NE DYN, L=enu7, R=cpr42 +skip STA NE UNS, L=enu7, R=mut42 +done DYN EQ DYN, L=cpr7, R=cpr7 +skip DYN NE DYN, L=cpr7, R=cpr42 +skip DYN NE STA, L=cpr7, R=42 +skip DYN NE STA, L=cpr7, R=enu42 +skip DYN NE UNS, L=cpr7, R=mut42 +skip UNS EQ UNS, L=mut7, R=mut7 +skip UNS NE UNS, L=mut7, R=mut42 +skip UNS NE STA, L=mut7, R=42 +skip UNS NE STA, L=mut7, R=enu42 +skip UNS NE DYN, L=mut7, R=cpr42 +skip STA NE DYN, L=7, R=dim42 +skip STA NE DYN, L=enu7, R=dim42 +skip DYN NE DYN, L=cpr7, R=dim42 +done DYN EQ DYN, L=dim7, R=dim7 +skip DYN NE DYN, L=dim7, R=dim42 +skip DYN NE STA, L=dim7, R=42 +skip DYN NE STA, L=dim7, R=enu42 +skip DYN NE DYN, L=dim7, R=cpr42 +skip DYN NE UNS, L=dim7, R=mut42 +skip UNS NE DYN, L=mut7, R=dim42 Index: tests/array-container/.expect/safety-summary.txt =================================================================== --- tests/array-container/.expect/safety-summary.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) +++ tests/array-container/.expect/safety-summary.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -0,0 +1,6 @@ +array-container/safety-summary.cfa:16:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: f +...to: + Name: a + Name: b + Index: tests/array-container/.expect/symtab-collision.txt =================================================================== --- tests/array-container/.expect/symtab-collision.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) +++ tests/array-container/.expect/symtab-collision.txt (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -0,0 +1,13 @@ +array-container/symtab-collision.cfa:25:1 error: conflicting overload of C function collide_me: C const unsigned long int with initializer (maybe constructed) + Simple Initializer: Generated Cast of: + Constant Expression (17: signed int) + ... with resolved type: + signed int + ... to: + const unsigned long int + ... with resolved type: + const unsigned long int + ... with environment: + Types: + + Index: tests/array-container/dimexpr-match.hfa =================================================================== --- tests/array-container/dimexpr-match.hfa (revision 3bf9d101e125e952f9abb0271db2208c769320f8) +++ tests/array-container/dimexpr-match.hfa (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -145,12 +145,4 @@ #define EXPAND_AND_QUOTE(str) QUOTE(str) #define TRY_COMPAT_E EXPAND_AND_QUOTE(TRY_COMPAT(__L__,__R__)) - -// Temporary: CFA is classic by default -#if defined CFA_IS_PREVIEW && defined CFA_IS_CLASSIC -#error Must not define both CFA_IS_CLASSIC, CFA_IS_PREVIEW -#endif -#if ! defined CFA_IS_PREVIEW && ! defined CFA_IS_CLASSIC -#define CFA_IS_CLASSIC -#endif #if ! defined __cforall Index: tests/array-container/safety-summary.cfa =================================================================== --- tests/array-container/safety-summary.cfa (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) +++ tests/array-container/safety-summary.cfa (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -0,0 +1,17 @@ +// A simple, isolated, example of what the dimexpr-match cases are all about. + +#include + +// context excerpted from doc/theses/mike_brooks_MMath/programs/hello-array.cfa +forall( [N] ) +array(bool, N) & f( array(float, N) & a, array(float, N) & b ) {} + +int main() { + // adapted from Peter's "why doesn't this one work" email + array(float, 10) a; + array(float, 20) b; + f( a, a ); // these calls ok (no error here; actual success is shown in dimexpr-match) + f( b, b ); + + f( a, b ); // reject with mismatch +} Index: tests/array-container/symtab-collision.cfa =================================================================== --- tests/array-container/symtab-collision.cfa (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) +++ tests/array-container/symtab-collision.cfa (revision 6065281f0d80efc8e6e1b435c3186184bfd4916c) @@ -0,0 +1,30 @@ +// A white-box case. + +// Array dimension hoisting (gen-init, just before resolver) is the earliest pass that uses a +// with-identifiers symbol table, so early that it's premature to have the symbol table report +// on name collisions/inconsistencies, and so the symbol table runs in a mode that ignores them. + +// This test exercises a dimention-hoisting symbol-table query that retrieves an inconsistently +// defined identifier. This fact can be verified manually in gdb by observing a call to +// SymbolTable.cpp's OnFindError (during an addId call with key `collide_me`) that returns +// without throwing an exception, followed by a lookupId call with key `collide_me`. + +// The (black-box obvious) expected outcome is that cfa-cc rejects the input program on account +// of the inconsistent identifier. + +// The (white-box) relevance of achieving this outcome is the demonstration that an early ignorred +// name collision leaves the compiler in a valid-enough state to reach the later collision +// detection, without implementation shotcuts like, "Which, if either, declaration gets +// ignorred?" becoming relevant. + +// This test is unrelated to _why_ the dimension-hoising pass needs to disable symbol-table +// validation; linking/manging/anon is such a case. + +extern "C" { + const long long unsigned collide_me = 42; + const long unsigned collide_me = 17; +} + +int main() { + float a[collide_me]; +}