#140 |
conditional expression bad code generation
|
|
defect
|
critical
|
cfa-cc
|
1.0
|
#238 |
Function new incorrectly creates temporary objects
|
|
defect
|
critical
|
cfa-cc
|
1.0
|
#292 |
Constant Reference Argument Binding Update
|
|
defect
|
critical
|
cfa-cc
|
1.0
|
#28 |
Look at automatically generating ?==?, ?!=? for all structs
|
|
enhancement
|
major
|
cfa-cc
|
1.0
|
#30 |
Generating builtin C routines is awkward
|
|
enhancement
|
major
|
prelude
|
1.0
|
#66 |
Function and variable name collision for if
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#101 |
Multi operators on tuples
|
|
enhancement
|
major
|
cfa-cc
|
1.0
|
#104 |
Tuple assertion generate bad C code
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#120 |
dtype problem
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#132 |
Remove reference cost from resolution
|
|
task
|
major
|
cfa-cc
|
1.0
|
#133 |
Better signature for copy constructors.
|
|
enhancement
|
major
|
cfa-cc
|
1.0
|
#134 |
Unification is not the right logic for assertion resolution
|
|
enhancement
|
major
|
cfa-cc
|
1.0
|
#136 |
PtrsAssignable Rework
|
|
enhancement
|
major
|
cfa-cc
|
1.0
|
#143 |
Extended Designator Syntax for Arrays
|
|
enhancement
|
major
|
cfa-cc
|
1.0
|
#159 |
Static expression evaluation
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#168 |
Plan-9 inheritance is not considered for satisfying a trait's assertion
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#172 |
Anonymous struct can conflict across translation unit
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#174 |
Cannot Check Exception Trait
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#176 |
Assignment fails for union structure field
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#186 |
Cannot add extra assertion on a constructor
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#193 |
Monomorphization Failures outside of Functions
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#194 |
Ambiguous reference vs pointer return [from ticket #70]
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#195 |
Unnecessary dereference leads to segfault [from ticket #70]
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#197 |
Generated constructor calls copy ctor twice on tuple elements
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#200 |
Polymorphic Function Pointers not handled by Constructor
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#201 |
GCC-7,8,9 Bug with -O2,3
|
|
defect
|
major
|
prelude
|
1.0
|
#202 |
Type manipulation in long chains of post-fix functions
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#203 |
Polymorphic Structure Initalization Errors
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#205 |
Incorrect Lvalues On Expressions
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#206 |
Replace Lvalues With References
|
|
enhancement
|
major
|
cfa-cc
|
1.0
|
#215 |
Cannot declare object whose size takes multiple steps of dynamic calculation
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#218 |
Distributed Qualifiers Change Signature
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#220 |
Reference to Array of Generics does not work
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#221 |
Reference to Value Assertion Passes Value
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#222 |
Empty parameter list in nested forall clause generates unused parameter
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#225 |
Wrong disambiguation for call overloaded on bare type-variable vs generic
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#226 |
Resolver is slow at finding constructors for 3+ dimensional arrays
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#227 |
Interpretation of assertions with struct declaration
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#229 |
Incorrect implementation of casting to monomorphic
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#232 |
Crash: address-of should not have intrinsic reference argument
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#236 |
SIG_IGN does not compile
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#239 |
Including kernel but not threads crashes vtable generation
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#248 |
Lazily generate prelude functions on demande.
|
|
enhancement
|
major
|
prelude
|
1.0
|
#249 |
extern "Builtins"
|
|
enhancement
|
major
|
prelude
|
1.0
|
#254 |
Constructors and destructors for TLS
|
|
task
|
major
|
cfa-cc
|
1.0
|
#259 |
Compiler crash on large recursive assertion requests
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#260 |
comparing signal return value crashes
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#263 |
Missing Code Generation on Control Structure Initializers
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#265 |
Compilation failure passing zero_t through assertions
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#267 |
Expression candidate elimination with unsatisfiable assertion
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#268 |
Downcasting against type parameter failed
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#269 |
Wrong type for generics' implicit _sizeof params on 32-bit
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#272 |
Compiler crash when referencing generic member of generic struct
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#274 |
Size of struct and alignment/offset of polymorphic fields inside a struct is incorrect on 32 bit
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#277 |
Constructors for nested types suffer from definition before use issues
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#278 |
Performance issue on ARM64 due to __aarch64_sync_cache_range calls
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#280 |
Compound Literal Hoisted Out of Function/typeof
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#282 |
Double Member Expressions Cannot Be Used as Lvalues
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#283 |
Shadowing Cause C Incompatability
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#287 |
Incorrect Typeof on Array Index
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#290 |
Two-Argument Conditional Revaluates Condition
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#291 |
Cannot Lift Reference Initialization
|
|
defect
|
major
|
cfa-cc
|
1.0
|
#7 |
CFA Assertion Error: CodeGenerator visits TypeExpr in trait/genaric type
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#11 |
Compiler uses all Resources when Copying from Generic Function Result
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#20 |
zero_t doesn't work well with default arguments
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#33 |
Updating Exception Built-ins to CFA Code (Requires Virtual)
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#34 |
Incorrect Support for Two Argument ?: Operator
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#85 |
character types
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#87 |
Inconsistent Assertion Ordering
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#88 |
Arrays of references
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#91 |
Assignment to bool, not a boolean context
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#93 |
New builtin types _FloatN and _FloatNx
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#108 |
tuple overloading problem
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#111 |
Option to disable threading
|
|
task
|
minor
|
other
|
1.0
|
#113 |
void & type
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#125 |
Warning for uninitialised fields
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#130 |
Flexible array member of struct crashes CFA compiler when element type is generic
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#135 |
Modify SizeofExpr argument
|
|
task
|
minor
|
cfa-cc
|
1.0
|
#138 |
Reference parameter in constructor with "new" initialization
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#139 |
Unification with less cloning
|
|
task
|
minor
|
cfa-cc
|
1.0
|
#141 |
conditional expression warning
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#145 |
Subscript in tuple fails
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#146 |
Tuple member access
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#147 |
Can't initialize const member of struct
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#148 |
Incorrect "Initializer is too deep" error
|
|
defect
|
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
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#155 |
Missing error message
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#156 |
Warning for "returning address of local variable" does not catch polymorphic functions
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#157 |
Initializing functions
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#177 |
typeof not being handled correctly by resolver
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#178 |
mutex in thread main
|
|
defect
|
minor
|
libcfa
|
1.0
|
#179 |
Bad Error Message if Missing sized in struct forall.
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#180 |
Assertion Failure Due to Missing sized
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#181 |
Add Support for Opaque Polymorphic Types
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#183 |
Polymorphic Variable Name Reuse Causes Crash
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#184 |
Struct in forall cannot have member named same as an assertion
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#185 |
Cannot declare generic struct with zero type parameters
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#187 |
Exiting from catch Leaks Exception Memory
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#188 |
Aliasing C names with Cforall Names
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#191 |
Resolve For Assertions/Traits
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#207 |
Safe const variations are not considered for assertion satisfaction
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#208 |
Zero-pointer literal does not work as an argument for a const parameter
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#209 |
Mutable reference to constant is not forbidden
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#210 |
Should string literals be const, like in C++?
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#211 |
Mutable Initializers are not Detected
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#213 |
Cannot assign static-length array to VLA
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#216 |
Update Virtual Table Copy (Waiting on Copy Type Fix)
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#219 |
Forall Typedef
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#231 |
Cannot print tuple literal containing 0 or 1
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#233 |
Colliding Exceptions Not Detected
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#240 |
nested anonymous enum fails
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#243 |
Add warning for thread casts in constructors
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#244 |
Cannot construct a struct with a volatile array member
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#245 |
Reference-to-reference misses required implicit dereference
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#246 |
Increase Control of AutoGenerated Routines
|
|
enhancement
|
minor
|
cfa-cc
|
1.0
|
#247 |
Wrong result type for sizeof(-)
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#251 |
C Array within tuple crashes the compiler
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#252 |
Designator problem with arrays
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#257 |
Pointer arithmetic silently adds narrowing conversions
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#258 |
Unclear intended type for char literal
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#262 |
Extra declaration of deleted autogen routines
|
|
defect
|
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
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#270 |
No NoCtor
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#271 |
Compiler crash on valid typename--identifier pun
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#273 |
Comma expression wrecks typechecking for address of array element
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#275 |
Array length accepts implicit conversion from non-int
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#279 |
Compound Literal Construction Runs with Incorrect Timing
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#281 |
createBitwiseAssignment has an Internal Root
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#284 |
Cannot have multiple forward declarations of a polymorphic type
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#285 |
Parameter given as typeof( ({-}) ) gets unpredictable compiler error
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#288 |
Struct managed member declared with typeof does not support multiple levels of wrapping
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#289 |
Invariant Failure in Static Assertion
|
|
defect
|
minor
|
cfa-cc
|
1.0
|
#199 |
Only Forward Declare Concrete Instantiations When Needed
|
|
enhancement
|
trivial
|
cfa-cc
|
1.0
|
#234 |
Resolver allows assignment to declared function
|
|
defect
|
trivial
|
cfa-cc
|
1.0
|
#276 |
Cannot give outermost array-param's length from earlier param
|
|
defect
|
trivial
|
cfa-cc
|
1.0
|