id Summary Owner Status Priority Component Version 35 Function pointer casts are broken Rob Schluntz closed blocker cfa-cc 1.0 250 Incorrect address calculation of polymorphc object on clean-up Thierry Delisle closed blocker cfa-cc 1.0 39 Global const array initialization broke with references Rob Schluntz closed critical cfa-cc 1.0 43 Anonymous generics ctor Rob Schluntz closed critical cfa-cc 1.0 140 conditional expression bad code generation new critical cfa-cc 1.0 238 Function new incorrectly creates temporary objects new critical cfa-cc 1.0 292 Constant Reference Argument Binding Update closed critical cfa-cc 1.0 1 Self-referential generic types require forward declarations pabuhr closed major cfa-cc 1.0 8 No reasonable alternative closed major cfa-cc 1.0 9 Unconstrained dtype return values are closed in unification Rob Schluntz closed major cfa-cc 1.0 10 Cannot declare anonymous union around generic type mlbrooks assigned major cfa-cc 1.0 14 Parsing error with multiple generic forward declarations pabuhr closed major cfa-cc 1.0 16 Trac not sending emails Rob Schluntz closed major other 1.0 19 Functions taking array types and taking pointer types are conflicting overloads Rob Schluntz closed major cfa-cc 1.0 22 Basic types in forall/trait allowed pabuhr closed major cfa-cc 1.0 23 Function call syntax not working Rob Schluntz closed major cfa-cc 1.0 25 Problem with opaque type definition. closed major cfa-cc 1.0 26 Implicit conversion from zero_t do not work. closed major cfa-cc 1.0 27 Thunks are not generated for polymorphic-to-monomorphic function casts. Rob Schluntz closed major cfa-cc 1.0 29 sizeof(foo) does not work, where foo is a variable of polymorphic type. closed major cfa-cc 1.0 32 assert.h fails to compile in non __STRICT_ANSI__ mode Rob Schluntz closed major cfa-cc 1.0 40 Full coroutine Thierry Delisle closed major libcfa 1.0 41 Duplicate function on generic specialisation Rob Schluntz closed major cfa-cc 1.0 42 Generic index Rob Schluntz closed major cfa-cc 1.0 47 Constructors are not generated when struct has union or enum member Rob Schluntz closed major cfa-cc 1.0 48 ttype assertion resolution is too strict Rob Schluntz closed major cfa-cc 1.0 49 Tuple construction generates the wrong code for references Rob Schluntz closed major cfa-cc 1.0 50 Assertion failure with tuple constructor-expressions Rob Schluntz assigned major cfa-cc 1.0 51 Reference assignment allows pointer conversions Rob Schluntz closed major cfa-cc 1.0 54 return not detected Rob Schluntz closed major cfa-cc 1.0 55 intrusive stack crash Rob Schluntz closed major cfa-cc 1.0 56 Overloading for GCC atomic builtins is broken closed major cfa-cc 1.0 59 Unsized generics have incorrect pointer arithmetic Rob Schluntz closed major cfa-cc 1.0 64 LValue assignment incorrect error Rob Schluntz closed major cfa-cc 1.0 65 Member expression qualifiers are wrong Rob Schluntz closed major cfa-cc 1.0 66 Function and variable name collision for if new major cfa-cc 1.0 67 LValue assignment incorrect error : the return Rob Schluntz closed major cfa-cc 1.0 69 With statement and anonymous fields Rob Schluntz closed major cfa-cc 1.0 73 Infinite loop with generics and new Rob Schluntz closed major cfa-cc 1.0 74 Generic reference member generates incorrect code Rob Schluntz closed major cfa-cc 1.0 78 Generic array element dereference Rob Schluntz closed major cfa-cc 1.0 80 With statement and function parameters. Rob Schluntz closed major cfa-cc 1.0 81 Resolution Failure on Pass-by-value closed major cfa-cc 1.0 86 Parsing Error tuples access with spaces closed major cfa-cc 1.0 90 Crash on complex nesting Rob Schluntz closed major cfa-cc 1.0 92 Field with deleted copy constructors don't work closed major cfa-cc 1.0 95 Incorrect consideration of global and local variables in resolving waitfor mutex object. assigned major cfa-cc 1.0 99 Crash on made-up generic parameters Rob Schluntz closed major cfa-cc 1.0 100 Ternary operator lost of const or some other cost Rob Schluntz closed major cfa-cc 1.0 104 Tuple assertion generate bad C code new major cfa-cc 1.0 105 Compiler crash deleted expression Thierry Delisle closed major cfa-cc 1.0 118 Incorrect bit shift warning a3moss closed major cfa-cc 1.0 120 dtype problem new major cfa-cc 1.0 121 Comparison failure closed major cfa-cc 1.0 122 Reference assignment closed major cfa-cc 1.0 126 Pointer assignment with incorrect type not correctly rejected closed major cfa-cc 1.0 142 constant expression problem closed major cfa-cc 1.0 147 Can't initialize const member of struct new major cfa-cc 1.0 151 Input crashes CC1 pabuhr closed major cfa-cc 1.0 154 linking problem Thierry Delisle closed major cfa-cc 1.0 159 Static expression evaluation new major cfa-cc 1.0 161 Parsing doesn't handle attributes on new style declaration pabuhr closed major cfa-cc 1.0 162 Member access of reference broken in goto statement Thierry Delisle assigned major cfa-cc 1.0 163 Incorrect cast in polymorphique returns of builtins Thierry Delisle assigned major cfa-cc 1.0 165 Exceptions in the Exceptions File closed major cfa-cc 1.0 166 Cannot get reference to generic member of generic struct mlbrooks closed major cfa-cc 1.0 168 Plan-9 inheritance is not considered for satisfying a trait's assertion new major cfa-cc 1.0 169 Incorrect order of generic struct constructor params closed major cfa-cc 1.0 172 Anonymous struct can conflict across translation unit closed major cfa-cc 1.0 173 Catch Declaration not Seen by Condition (New AST only) closed major cfa-cc 1.0 174 Cannot Check Exception Trait new major cfa-cc 1.0 176 Assignment fails for union structure field new major cfa-cc 1.0 182 Static Const Global variable segfault in generated code Michael Brooks closed major cfa-cc 1.0 186 Cannot add extra assertion on a constructor new major cfa-cc 1.0 189 Reference and pointer types allow unsound initialization closed major cfa-cc 1.0 192 Can't catch exception raised by default resumption handler of another exception closed major cfa-cc 1.0 193 Monomorphization Failures outside of Functions new major cfa-cc 1.0 194 Ambiguous reference vs pointer return [from ticket #70] new major cfa-cc 1.0 195 Unnecessary dereference leads to segfault [from ticket #70] new major cfa-cc 1.0 196 Forward Declaring Generic Types Crash with Dtypes closed major cfa-cc 1.0 197 Generated constructor calls copy ctor twice on tuple elements new major cfa-cc 1.0 198 Forward Declaration Leads to Bad Function Pointer Types closed major cfa-cc 1.0 200 Polymorphic Function Pointers not handled by Constructor new major cfa-cc 1.0 201 GCC-7,8,9 Bug with -O2,3 new major prelude 1.0 202 Type manipulation in long chains of post-fix functions new major cfa-cc 1.0 203 Polymorphic Structure Initalization Errors new major cfa-cc 1.0 204 Conversion cost ignores type parameters closed major cfa-cc 1.0 205 Incorrect Lvalues On Expressions new major cfa-cc 1.0 212 Revert InferUnion change in new-ast closed major cfa-cc 1.0 214 Assertion with sized generic parameter breaks the declaring function's body closed major cfa-cc 1.0 215 Cannot declare object whose size takes multiple steps of dynamic calculation new major cfa-cc 1.0 217 Typedef Attributes Not Expanded In Functions closed major cfa-cc 1.0 218 Distributed Qualifiers Change Signature new major cfa-cc 1.0 220 Reference to Array of Generics does not work new major cfa-cc 1.0 221 Reference to Value Assertion Passes Value new major cfa-cc 1.0 222 Empty parameter list in nested forall clause generates unused parameter closed major cfa-cc 1.0 223 Cannot Convert Function Pointer to Bool closed major prelude 1.0 225 Wrong disambiguation for call overloaded on bare type-variable vs generic new major cfa-cc 1.0 226 Resolver is slow at finding constructors for 3+ dimensional arrays new major cfa-cc 1.0 227 Interpretation of assertions with struct declaration new major cfa-cc 1.0 229 Incorrect implementation of casting to monomorphic new major cfa-cc 1.0 232 Crash: address-of should not have intrinsic reference argument new major cfa-cc 1.0 235 Wrong disambiguation in the presence of extra type variables Michael Brooks closed major cfa-cc 1.0 236 SIG_IGN does not compile new major cfa-cc 1.0 239 Including kernel but not threads crashes vtable generation new major cfa-cc 1.0 241 Parser doesn't handle pragmas correctly pabuhr closed major cfa-cc 1.0 259 Compiler crash on large recursive assertion requests new major cfa-cc 1.0 260 comparing signal return value crashes new major cfa-cc 1.0 263 Missing Code Generation on Control Structure Initializers new major cfa-cc 1.0 265 Compilation failure passing zero_t through assertions new major cfa-cc 1.0 266 Increment hoisted outside the loop closed major cfa-cc 1.0 267 Expression candidate elimination with unsatisfiable assertion new major cfa-cc 1.0 268 Downcasting against type parameter failed new major cfa-cc 1.0 269 Wrong type for generics' implicit _sizeof params on 32-bit closed major cfa-cc 1.0 272 Compiler crash when referencing generic member of generic struct new major cfa-cc 1.0 274 Size of struct and alignment/offset of polymorphic fields inside a struct is incorrect on 32 bit new major cfa-cc 1.0 277 Constructors for nested types suffer from definition before use issues new major cfa-cc 1.0 278 Performance issue on ARM64 due to __aarch64_sync_cache_range calls new major cfa-cc 1.0 280 Compound Literal Hoisted Out of Function/typeof new major cfa-cc 1.0 282 Double Member Expressions Cannot Be Used as Lvalues new major cfa-cc 1.0 283 Shadowing Cause C Incompatability new major cfa-cc 1.0 286 typeof Decays Array Types closed major cfa-cc 1.0 287 Incorrect Typeof on Array Index closed major cfa-cc 1.0 290 Two-Argument Conditional Revaluates Condition new major cfa-cc 1.0 291 Cannot Lift Reference Initialization new major cfa-cc 1.0 299 Unusable overload allowed, between array and pointer new major cfa-cc 1.0 301 Incorrect & When Building Reference To Pointer new major cfa-cc 1.0 303 Static Functions Used Inside Inline Functions (socket2.h) new major cfa-cc 1.0 305 Rvalue-to-reference promotion circumvents RAII new major cfa-cc 1.0 306 Waituntil relies on RAII-unsound rvalue-to-reference conversion lseo closed major libcfa 1.0 307 Rvalue-reference promotion missed temporaries new major cfa-cc 1.0 309 Resolver selects arbitrary candidate from ambiguity when return types are reused new major cfa-cc 1.0 313 Test ticket for email behavior new major cfa-cc 1.0 2 Variable Trait Requirements Cannot be Solved with Globals closed minor cfa-cc 1.0 3 No constructors in prelude from zero_t, one_t a3moss closed minor cfa-cc 1.0 4 User-generated constructors for basic types overload non-matching prelude constructors Rob Schluntz closed minor cfa-cc 1.0 5 Undeclared variable with MRV/tuple function composition assigned minor cfa-cc 1.0 6 Vector as Field of Generic Type Fails to Compile closed minor cfa-cc 1.0 7 CFA Assertion Error: CodeGenerator visits TypeExpr in trait/genaric type new minor cfa-cc 1.0 11 Compiler uses all Resources when Copying from Generic Function Result new minor cfa-cc 1.0 12 Excess elements in struct initializer Rob Schluntz closed minor cfa-cc 1.0 15 Error Generating result Condition (!=zero_t) Rob Schluntz closed minor cfa-cc 1.0 17 Can't assign 0 to function pointer Rob Schluntz closed minor cfa-cc 1.0 20 zero_t doesn't work well with default arguments new minor cfa-cc 1.0 21 Destructors do not run on Stack Unwinding closed minor cfa-cc 1.0 34 Incorrect Support for Two Argument ?: Operator new minor cfa-cc 1.0 36 constructor call, assertion failure Rob closed minor cfa-cc 1.0 37 Missing generated code Rob Schluntz closed minor cfa-cc 1.0 38 Resolver error with strdup from string.h closed minor cfa-cc 1.0 44 zero_t causes warnings because it always codgens as long int closed minor cfa-cc 1.0 45 Const ref error in tuple closed minor cfa-cc 1.0 46 Enum constants are lvalues Rob Schluntz closed minor cfa-cc 1.0 52 Resolution fails for initialization Rob Schluntz closed minor cfa-cc 1.0 53 Tuple costs are incorrect Rob Schluntz closed minor cfa-cc 1.0 57 UniqueExprs with same ID are resolved independently Rob Schluntz assigned minor cfa-cc 1.0 58 typo in generic type instantiation crashes the compiler Rob Schluntz closed minor cfa-cc 1.0 60 typo in generic type constraint crashes the compiler Rob Schluntz closed minor cfa-cc 1.0 61 Polymorphic type disallowed in structure definition Rob closed minor cfa-cc 1.0 62 Generic Type Undeclared Within Nested Type closed minor cfa-cc 1.0 63 "Generic Struct Inside Declaration Results in ""Too few type arguments""" closed minor cfa-cc 1.0 68 Generic thread Rob closed minor cfa-cc 1.0 70 resolver problesm Rob closed minor cfa-cc 1.0 71 CFA segment fault Thierry closed minor cfa-cc 1.0 75 Assertion failure in initialization of array with non-constant dimension Rob Schluntz closed minor cfa-cc 1.0 76 VLA array and operator ? closed minor cfa-cc 1.0 79 Statement expression as a sub-expression fails resolution Rob Schluntz closed minor cfa-cc 1.0 82 Wrong Overload Chosen a3moss assigned minor cfa-cc 1.0 83 Missing semantic checks closed minor cfa-cc 1.0 84 tuple pointer assignment Rob Schluntz closed minor cfa-cc 1.0 85 character types new minor cfa-cc 1.0 87 Inconsistent Assertion Ordering new minor cfa-cc 1.0 88 Arrays of references new minor cfa-cc 1.0 89 forall distribution order is wrong closed minor cfa-cc 1.0 91 Assignment to bool, not a boolean context new minor cfa-cc 1.0 93 New builtin types _FloatN and _FloatNx new minor cfa-cc 1.0 96 cfa-cpp does not catch all exceptions when using g++-4.9 closed minor cfa-cc 1.0 97 Missing polymorphic type has no line number Rob Schluntz closed minor cfa-cc 1.0 98 Duplicate function has no line number Rob Schluntz closed minor cfa-cc 1.0 102 typeof confuses constructor generation Rob Schluntz closed minor cfa-cc 1.0 103 typeof allows duplicate variables Rob Schluntz closed minor cfa-cc 1.0 106 waitfor problem Thierry closed minor cfa-cc 1.0 107 tuple depth problem closed minor cfa-cc 1.0 108 tuple overloading problem new minor cfa-cc 1.0 110 Borken benchmarks don't fail the build Thierry Delisle closed minor jenkins 1.0 113 void & type new minor cfa-cc 1.0 115 No zero_t constructor for int closed minor cfa-cc 1.0 119 Automatic ticket closing Thierry Delisle closed minor other 1.0 123 Reference failure Peter A. Buhr closed minor cfa-cc 1.0 124 Configure doesn't seem to catch CFAFLAGS properly Thierry Delisle closed minor other 1.0 129 Infinite Recursion in TypeSubstitution::Substituter::postmutate closed minor cfa-cc 1.0 130 Flexible array member of struct crashes CFA compiler when element type is generic new minor cfa-cc 1.0 131 The -n option wants an argument. Peter closed minor cfa-cc 1.0 138 "Reference parameter in constructor with ""new"" initialization" new minor cfa-cc 1.0 141 conditional expression warning new minor cfa-cc 1.0 144 break target on try fails closed minor cfa-cc 1.0 145 Subscript in tuple fails new minor cfa-cc 1.0 146 Tuple member access new minor cfa-cc 1.0 148 "Incorrect ""Initializer is too deep"" error" new minor cfa-cc 1.0 149 Incorrectly resolving asm statement operand names closed minor cfa-cc 1.0 150 Incorrect Scoping when using continue Thierry Delisle closed minor cfa-cc 1.0 152 Incorrect Lvalue conversion when using inline assembly Thierry Delisle closed minor cfa-cc 1.0 153 Compiler error when referencing a polymorphic type from within a polymorphic method which uses a trait whose methods operate on that same polymorphic type new minor cfa-cc 1.0 155 Missing error message new minor cfa-cc 1.0 156 "Warning for ""returning address of local variable"" does not catch polymorphic functions" new minor cfa-cc 1.0 157 Initializing functions new minor cfa-cc 1.0 158 Missing constructor reference parameter Thierry Delisle closed minor cfa-cc 1.0 160 Constant 0p (NULL) does not work at the global declaration level closed minor cfa-cc 1.0 164 Resumption Re-Throw Error After Another Throw closed minor cfa-cc 1.0 167 Generic-of-generic struct declaration cannot reuse typename closed minor cfa-cc 1.0 171 0p not working at global scope closed minor cfa-cc 1.0 175 Instantiated generic struct layout is reused across different instantiating array sizes closed minor cfa-cc 1.0 177 typeof not being handled correctly by resolver new minor cfa-cc 1.0 178 mutex in thread main new minor libcfa 1.0 179 Bad Error Message if Missing sized in struct forall. new minor cfa-cc 1.0 180 Assertion Failure Due to Missing sized new minor cfa-cc 1.0 183 Polymorphic Variable Name Reuse Causes Crash new minor cfa-cc 1.0 184 Struct in forall cannot have member named same as an assertion new minor cfa-cc 1.0 185 Cannot declare generic struct with zero type parameters new minor cfa-cc 1.0 187 Exiting from catch Leaks Exception Memory new minor cfa-cc 1.0 190 Re-throw-resume incorrectly depends on enclosing function return type closed minor cfa-cc 1.0 208 Zero-pointer literal does not work as an argument for a const parameter new minor cfa-cc 1.0 209 Mutable reference to constant is not forbidden new minor cfa-cc 1.0 213 Cannot assign static-length array to VLA new minor cfa-cc 1.0 216 Update Virtual Table Copy (Waiting on Copy Type Fix) new minor cfa-cc 1.0 224 Cannot initialize static local constant Michael Brooks closed minor cfa-cc 1.0 230 Deleted declaration (=void) is available via assertion closed minor cfa-cc 1.0 231 Cannot print tuple literal containing 0 or 1 new minor cfa-cc 1.0 233 Colliding Exceptions Not Detected new minor cfa-cc 1.0 237 Various container includes cannot be in the same compile unit Michael Brooks closed minor libcfa 1.0 240 nested anonymous enum fails closed minor cfa-cc 1.0 244 Cannot construct a struct with a volatile array member new minor cfa-cc 1.0 245 Reference-to-reference misses required implicit dereference new minor cfa-cc 1.0 247 Wrong result type for sizeof(-) closed minor cfa-cc 1.0 251 C Array within tuple crashes the compiler new minor cfa-cc 1.0 252 Designator problem with arrays new minor cfa-cc 1.0 253 Plan-9 with dynamic layout gives wrong field offsets Michael Brooks closed minor cfa-cc 1.0 257 Pointer arithmetic silently adds narrowing conversions new minor cfa-cc 1.0 258 Unclear intended type for char literal new minor cfa-cc 1.0 261 Assignment for flexible array member Thierry Delisle closed minor cfa-cc 1.0 262 Extra declaration of deleted autogen routines new minor cfa-cc 1.0 264 Can't compile direct call of a function pointer that's a member of a struct returned by reference new minor cfa-cc 1.0 270 No NoCtor new minor cfa-cc 1.0 271 Compiler crash on valid typename--identifier pun new minor cfa-cc 1.0 273 Comma expression wrecks typechecking for address of array element new minor cfa-cc 1.0 275 Array length accepts implicit conversion from non-int new minor cfa-cc 1.0 279 Compound Literal Construction Runs with Incorrect Timing new minor cfa-cc 1.0 281 createBitwiseAssignment has an Internal Root new minor cfa-cc 1.0 284 Cannot have multiple forward declarations of a polymorphic type new minor cfa-cc 1.0 285 Parameter given as typeof( ({-}) ) gets unpredictable compiler error new minor cfa-cc 1.0 288 Struct managed member declared with typeof does not support multiple levels of wrapping new minor cfa-cc 1.0 289 Invariant Failure in Static Assertion closed minor cfa-cc 1.0 293 String Initialization Cases new minor cfa-cc 1.0 296 Forgetting an exception vtable gives runtime crash new minor cfa-cc 1.0 297 Parameter name does not shadow in-scope type name new minor cfa-cc 1.0 298 Return cast does not work with variables closed minor cfa-cc 1.0 300 sizeof/typeof as a variable's usage may leave this variable unused new minor cfa-cc 1.0 304 Polymorphic self reference does not work closed minor cfa-cc 1.0 315 Peculiar trait syntax neither rejected nor supported new minor cfa-cc 1.0 72 starting main Thierry Delisle closed trivial cfa-cc 1.0 77 Assertion failure in initialization of enum Rob Schluntz closed trivial cfa-cc 1.0 94 waitfor error message inconsistent Thierry closed trivial cfa-cc 1.0 116 Expected Files not matched exactly for tests closed trivial cfa-cc 1.0 117 Rational constructor from 0 is declared but undefined pabuhr closed trivial libcfa 1.0 234 Resolver allows assignment to declared function new trivial cfa-cc 1.0 242 blocking_lock waiter count is wrong caparsons closed trivial libcfa 1.0 276 Cannot give outermost array-param's length from earlier param new trivial cfa-cc 1.0 302 Built-in functions may have wrong types on 32-bit new trivial cfa-cc 1.0 311 Meta: Test of trac on new PLG2 new trivial cfa-cc 1.0 312 Temp ticket to test email sending assigned trivial cfa-cc 1.0