Closed Defects in Release

ID Summary State Reported In Release Target Release Workaround Release Notes
CODEGEN-5040 --c64p_dma_l1d_workaround is missing from 8.x compilers Fixed C6000_8.1.8
CODEGEN-4869 C6000 performance degradations between 8.2.2 and 8.2.3 Fixed C6000_8.1.6 C6000_8.1.8 No practical workaround; upgrade to a fixed version A bug fix in C6000 compiler versions 8.1.6 and 8.2.3 inadvertently negatively impacted the performance of many software-pipelined loops.
CODEGEN-4791 Structure field reference directly from function call causes INTERNAL ERROR Fixed C6000_8.1.0B1 C6000_8.1.8 Compile with any value of --opt_level except "off". Or, given the expression f().x, change it to "t=f(); t.x"; in other word, capture the struct returned from the function call in a variable, and make the field reference from that variable instead of directly from the function call. Compiling an expression like f().x -- a function call immediately used to make a structure field reference -- can cause the compiler to abort with INTERNAL ERROR. Any use of the optimiser, or a simple code rearrangement, avoids the problem.
CODEGEN-4678 Incorrect error due to typedef of very large object Fixed C6000_8.1.6 C6000_8.1.8 As a workaround, remove the typedef. Where the typedef was used, instead use the type the typedef refers to. The TI compiler infrastructure is incapable of handling user-declared objects above a certain size, because it mistakenly truncates the size of very large objects. Formerly, this resulted in quiet corruption, which was defect CODEGEN-449. Now that CODEGEN-449 is fixed, the compiler will emit an error if the user attempts to create a type larger than the tool can handle. However, this error check is not quite right for typedefs. A typedef for a very large object that is still within the compiler's limit may cause the parser to mistakenly emit an error that the object is greater than the maximum supported size.
CODEGEN-4668 Macro with temp label causes assembler to crash Fixed C6000_8.1.0B1 C6000_8.1.8 The problem will not occur without macro labels. If labels are required, no workaround is known. The assembler may crash or report a memory misuse when using an assembly macro containing a label, if the label appears in an instruction in a position that requires extra lookahead to parse. The original example is a register name followed by a comma and a label use; for that assembler, the thing following the comma might be a shift specifier, so it requires expanding the macro label. That extra step frees some memory that it shouldn't, causing the problem.
CODEGEN-4638 When shift counts are higher than 32, compiler sometimes optimizes to an incorrect shift count Fixed C6000_8.1.0B1 C6000_8.1.7 Turn off optimization by using optimization level off. Otherwise, avoid a left-shift by a constant as an operand of the listed operations. However, compiler optimizations could interfere with this. Try keeping the shift count in a global variable instead of as a literal, or computing the shift separately into a variable (a global or volatile local) and doing the |, +, etc, on the variable. Left shifts by 32 or more, as an operand of +, -, &, |, or ^, (eg, ((X<<56) | (Y<<48))) may produce incorrect results.
CODEGEN-4634 Use of stdarg.h va_start macro causes a write to the wrong local variable Fixed C6000_8.1.0B1 C6000_8.1.8 The test case for codegen-4634 has both a va_list declaration and a use of va_start. If the two are placed together, by moving the va_list declaration into the scope with the va_start, the problem does not occur. The general workaround is to ensure an expression appears before the first nested scope. Exactly how to do that will depend on the situation. A function with a nested scope that declares local variables and appears before any expressions in the function, and also declares top-level locals after that, may mishandle the local variables in a way that acts as though some share a location though they're supposed to be distinct. I.e., int test(int arg, ...) { { int a = 0; } int b; may mishandle a, b, arg, or any extra arguments. Known cases all involve the ellipsis (...) parameter, but it is not known if that is also a necessary prerequisite.
CODEGEN-4605 Incompatible redeclaration error with -o4 when using anonymous unions Fixed C6000_8.1.0B1 C6000_8.1.7 Do not use anonymous structs or unions; give all struct members a name, even if it is never used. Anonymous structs and unions are a GCC extension. They are members of a parent structure and have no names. You access the elements inside them as if they were direct members of the parent class. If you have an anonymous struct or union inside a union and you use -O4 optimization, you may get the mistaken error "symbol so-and-so redeclared with incompatible type" at link time. This bug can only happen in COFF mode. Essentially the same bug was previously fixed for EABI and was known as CODEGEN-1191.
CODEGEN-4600 Warning when using pragma RETAIN with attribute((noinit)) Fixed C6000_8.1.8 When using pragma RETAIN with attribute((noinit)) on the same symbol for an EABI target, a .clink directive is erroneously emitted in the assembly file, leading to a warning that the .CLINK directive is being ignored because the symbol already has .RETAIN specified.
CODEGEN-4525 Unreachable code in linear assembly may lead to crash Fixed C6000_8.1.0B1 C6000_8.1.8 Remove the unreachable code before compiling, or compile with -o1, -o0, or -ooff, or use --symdebug:none which happens to avoid the problem. The compiler may crash if given a linear assembly file containing some code that has a label but is not reachable. It's theoretically possible to create the same problem with C/C++ code, but we haven't been able to do it and the risk is quite small.
CODEGEN-4419 Compiler erroneously speculates indexed load from the stack Fixed C6000_8.1.0B1 C6000_8.1.7 Modify the source code of the offending function to make local variables "volatile." There's no obvious way to pre-determine that a function will suffer from this bug; you just have to wait for the bug to happen, look at the line number of the offending instruction (which will always be a load with indexed addressing with base register SP), and go to the function at that line number. Make every local variable in that function "volatile." If it's a C++ function, you may need to make the function "volatile." The compiler moves instructions from one block to another to increase parallelism. Usually this is done by predicating (adding a condition to) every instruction that is moved above a branch. However, in some cases, the compiler will "speculate" the instruction, which means removing the condition entirely. This is done when the instruction's side-effects are judged to be safe, such as load of a local variable. In the case that the instruction's condition would have been false, this load will be useless, but at least it will be safe, because the stack pointer (SP) is at a legal location, and there won't be a memory fault. However, when a local variable's value is read with an indexed expression, the index register is not necessarily speculated exactly when the load is, so the index register may have a garbage value. In this test case, the load was speculated, but the index register definition wasn't, so in the false branch, the computed address was garbage, and we would read a random memory address, causing a memory fault. (Even though SP was perfectly valid, the index register was garbage, so SP+index might point anywhere in memory.)
CODEGEN-4407 Not using const causes unexpected build error when calling std::sort Fixed C6000_8.1.0B1 C6000_8.1.7 Remove unnecessary const from helper in s__algo.c
CODEGEN-4182 Should ignore option --pending_instantiations when compiling C files Fixed C6000_8.1.0B1 C6000_8.1.7 If the user wishes to use the option --pending_instantiations, they must add this option individually to each C++ file. The compiler option --pending_instantiations only makes any sense when used with C++ code. It cannot have any effect on C code. Indeed, when passed as an option to a compilation of C code, the compiler will stop and emit an error, "pending instantiations option can be used only when compiling C++" This is troublesome when trying to compile a mixture of C and C++ files in CCS. If the user wishes to use the option --pending_instantiations, they cannot just add this option to the global compiler options list; they must add this option individually to each C++ file.
CODEGEN-3931 Compiler crashes while handling 0 length array in zero sized struct Fixed C6000_8.1.0B1 C6000_8.1.7 None The compiler crashes while parsing a struct or class with zero-sized members in C++ mode.
CODEGEN-3923 DWARF CFI information lost due to microoptimizations Fixed C6000_8.1.0B1 C6000_8.1.8 No practical workaround. Some optimizations in the compiler would change instructions but fail to retain debugging directives attached to those instructions. This could impact the accuracy of the DWARF debugging information in various ways.
CODEGEN-3918 Writing multiple input sections in one line unexpectedly changes how input sections are combined into output sections Fixed C6000_8.1.0B1 C6000_8.1.6 Stick with separate lines, if there are subsection cases like this one that should be comprehended. In a linker command file, using a line like "hello.obj (.const, .far)" may link differently than two lines with one section each. The problem is that the single line is interpreted as the OR of the two sections, and the linker does not understand that the OR also encompasses any of their subsections. Two separate lines are analysed separately and completely.
CODEGEN-3858 OFD gets DIE attribute offset wrong when using --dwarf_display=none,dinfo Fixed C6000_8.1.0B1 C6000_8.1.6 If you use --dwarf_display=none,dinfo, use --dwarf_display=none,dinfo,types instead You can use OFD to display the DWARF debugging information in your object files by using the option '--dwarf' (or -g). You can narrow the categories of DWARF information displayed by using the '--dwarf_display' option. If you use the option --dwarf_display=none,dinfo you will see the DWARF DIE objects in the .dwarf_info section, but you will not see any DW_AT_type attributes unless you also use the "types" flag. This is not a bug. However, when OFD skips a DW_AT_type attribute, it displays the offset of the skipped DW_AT_type for the next attribute instead of the next attribute's correct offset.
CODEGEN-3794 False warning for MISRA 10.1/10.2 when commutative binary operands swapped Fixed C6000_8.1.0B1 C6000_8.1.6 In certain cases, the compiler could emit an unwarranted MISRA diagnostic about type conversion. This would occur when using a commutative binary arithmetic operator with mixed operand types. The compiler mistakenly compared one operand's type to the other type. It should have compared each type to the promoted type of the operation.
CODEGEN-3719 Software pipelined loop doesn't match on Windows and Linux Fixed C6000_8.1.0B1 C6000_8.1.6 Use --disable:cca In some cases, a software-pipelined loop might get a slightly different schedule or recurrence bound on Windows than when compiling on Linux. Due to the complicated nature of software pipelining, this error could compound until the performance of the software-pipelined loop is significantly different. This problem can only happen when using C6000 version 7.4.x or lower, or when using C6000 version 8.x or higher and the --legacy command-line option.
CODEGEN-3650 Linker crashes when printing module list to map file Fixed C6000_8.1.0B1 C6000_8.1.5 Add linker option --mapfile_contents=all,nomodules When creating a linker map file, and a summary of modules is written to the linker map file, and the entry point is undefined, the linker may crash.
CODEGEN-3619 pragma triggers false MISRA-C:2004 19.1/A warning Fixed C6000_8.1.0B1 C6000_8.1.6 N/A Certain pragmas appearing prior to #include statements, such as #pragma RESET_MISRA, would cause MISRA warning 19.1/A to be issued: MISRA-C:2004 19.1/A: #include statements in a file should only be preceded by other preprocessor directives or comments
CODEGEN-3617 gmtime incorrect when invoked in timezones east of GMT Fixed C6000_8.1.0B1 C6000_8.1.5 Set the timezone to 0 (UTC) until the fix is in place
CODEGEN-3613 Some vector types computations are not carried out Fixed C6000_8.1.0B1 C6000_8.1.5 It's possible that compiling with --opt_level=1 or greater will avoid the problem. It does in our test cases, but there are reports of cases for which that doesn't help. The problem occurs with "*pv++ = ..." where pv is a pointer to a vector. Using "pv[i] = ..." or "*pv = ...; ++pv;" seem to effectively avoid it.
CODEGEN-3597 ELF header field e_phoff should be 0 when no program header is present Fixed C6000_8.1.0B1 C6000_8.1.5 ELF header field e_phoff should be 0 when no program header is present, and ELF header field e_shoff should be 0 when no section headers are present.
CODEGEN-3571 Temp filename collisions on Windows in linear assembler Fixed C6000_8.1.0B1 C6000_8.1.5 Disable parallel builds of linear assembly source files. When compiling multiple linear assembly jobs in parallel, it is possible to get the error message: Unable to open temp macro library : %TEMP%\tempTI<number> - Aborting
CODEGEN-2401 Compiler crashes during software pipelining Fixed C6000_8.1.0B1 C6000_8.1.5 Use option --disable_software_pipeline, or do not use option --interrupt_threshold For a given loop for which we attempt software pipelining, if every attempt to pipeline the loop fails, there is a chance the compiler could perform and out-of-bounds array read, leading to unpredictable results, up to and including the compiler crashing with an internal error of some sort. The bug can only happen at --opt_level=2 or higher. This can only happen if every software pipelining attempt fails; this likelyhood tends to be aggravated by using the option --interrupt_threshold When encountering this bug, this program is more likely to crash on Windows than on Linux.
CODEGEN-2373 Internal linker error triggered by function alias Fixed C6000_8.1.0B1 C6000_8.1.6 Linker sometimes generates "Assertion failed" message and aborts.
CODEGEN-2346 Compiler produces incorrect code at -o2 optimization Fixed C6000_8.1.0B1 C6000_8.1.5 None known. Compiler may produce incorrect code at -o2 or greater optimization when given irregular loops.
CODEGEN-2286 palign(8) of .init_array messes up __TI_INITARRAY_Limit address Fixed C6000_8.1.0B1 C6000_8.1.5 In the linker command file, replace .init_array > FLASH, palign(8), fill = 0xffffffff with the following GROUP statement: GROUP { .init_array } > FLASH, palign(8) The palign(8) on GROUP will ensure that any required padding is added after .init_array. However, both the size of .init_array and the value of __TI_INITARRAY_Limit remain unchanged. Applying palign(8) to .init_array caused __TI_INIT_ARRAY_Limit to be set to the end of .init_array including the padding. This broke RTS startup code responsible for calling constructors because the table of constructors now includes invalid data. This bug has been fixed and __TI_INIT_ARRAY_Limit is no longer affected by padding.
CODEGEN-2238 Compiler incorrectly emits MISRA 10.1 for function argument Fixed C6000_8.1.0B1 C6000_8.1.5
CODEGEN-2214 Compiler optimizes away function which calls assert Fixed C6000_8.1.0B1 C6000_8.1.4 Make sure there is some other visible effect in the function -- a call, a use of a volatile variable, something like that. A function whose only visible effect is to call assert() may be optimised away at --opt_level=0 or higher.
CODEGEN-2113 Hex utility mishandles space in directory name of output file Fixed C6000_8.1.0B1 C6000_8.1.5 Use directory names without spaces for output files. The hex utility did not correctly handle spaces in output directory and file names.
CODEGEN-2098 Temp filename collisions on Windows with many parallel invocations Fixed C6000_8.1.0B1 C6000_8.1.4 In some cases with a large number of compilations in parallel on Windows, the compiler could create temporary files with colliding names, resulting in strange compilation failures.
CODEGEN-2053 Compiler incorrectly reorders struct assign for small, volatile structs with bit-fields Fixed C6000_8.1.0B1 C6000_8.1.4 Use optimization level 0 or off (option --opt_level) For a very specific optimization, the optimizer may drop a volatile qualifier from a struct assignment. In some cases, the compiler may later perform an incorrect optimization, most commonly incorrectly reordering volatile assignments. This bug can only happen in a function compiled with optimization level 1 or higher which contains both of the following: 1) A struct assign where the destination is volatile, and the source is a known constant, and the struct contains a bit-field, and the struct is of size "int" or smaller. 2) Any bit-field access (read or write) other than as part of a struct assign or initialization expression. That is, the name of the bit-field is present in the access expression. Note that the optimizer can create this situation by inlining functions, so 1 and 2 might be in different functions in the source code. Consider a tree x = y where x and y are of type struct S. If the value of y is known at compile time (e.g. a const value), the optimizer will try to turn the struct constant into an integer constant (possibly combining bit-fields) and rewrite the tree to look like this: "(unsigned *)x = 32;" However, if y is volatile, that should be "*(volatile unsigned *)x = 32;" Because the access is not volatile, instruction scheduling could cause this instruction to drift past nearby volatile accesses.
CODEGEN-2025 Linker crash message incorrectly suggests submitting a preprocessed file Fixed C6000_8.1.0B1 C6000_8.1.4
CODEGEN-1979 Statements before declarations with no white space (aggravated by macros) may cause incorrect parser error Fixed C6000_8.1.0B1 C6000_8.1.5 Do not start any statement in the left-most column Rearrange your code so that there are no statements before declarations. C99 and C++ allow statements before declarations in functions. This is not allowed by the C89 language, but as an extension, the TI compiler allows such statements in relaxed mode. However, in certain circumstances, the compiler may emit the 'error: expected "}"' for otherwise legal code which has statements before declarations. This problem can only occur in relaxed C89 mode (which is the default mode), and 1) you have a function with statements that start in the left-most column, or 2) you use macros where the macro body contains C code with statements before declarations.
CODEGEN-1976 Value of __cplusplus is wrong Fixed C6000_8.1.0B1 C6000_8.1.3 If possible, use the -ps or --strict_ansi options. This mode will use the strict definition of __cplusplus, which is 199711L. Our parser mimicked G++ behavior for the value of this macro in relaxed ANSI mode. This reproduced a bug in G++ versions v.4.7 and v.4.3 that has since been fixed.
CODEGEN-1703 Designated initializer plus struct hack hangs compiler Fixed C6000_8.1.0B1 C6000_8.1.3 Avoiding using string constants to initialize objects with flexible array members. Instead, use a brace-initialized array. For example: struct { int a; char b[]; } mystruct = {0, {'h', 'e', 'l', 'l', 'o'} }; Fixed a compiler hang caused by initializing flexible array members with string constants. struct {int a; char b[]; } mystruct = {0, "hello"} /* Would cause the compiler to hang and/or crash */
CODEGEN-1658 SPLOOP Missed Stall Exception with Debugger Fixed C6000_8.1.1 C6000_8.1.3 None. A hardware bug on C6000 prevents the debugger from working correctly within certain instruction sequences in an SPLOOP.
CODEGEN-1649 Warning "INLINE recursion limit exceeded" during RTS build Fixed C6000_8.1.0B1 C6000_8.1.2 None, for the automatic library builds. Elsewhere, one can use the hidden --inline_recursion_limit option to increase the limit above the default 10. The compiler may emit the warning "INLINE recursion limit exceeded," but there is no way to suppress the warning, and it really isn't useful for the typical compiler user. These changes remove the warning.
CODEGEN-1640 MISRA 19.1 misreported: #include statements should only be preceded by other preprocessor directives Fixed C6000_8.1.0B1 C6000_8.1.3 No practical workaround
CODEGEN-1639 MISRA-C:2004 17.6/R false positive when assigning local struct member to static struct member Fixed C6000_8.1.0B1 C6000_8.1.5
CODEGEN-1634 MISRA 7.1 misreported: octal tokens in token paste Fixed C6000_8.1.0B1 C6000_8.1.3 No practical workaround
CODEGEN-1632 MISRA 15.2 misreported: switch clause unconditional break Fixed C6000_8.1.0B1 C6000_8.1.3 Put an explicit break at the end of the compound statement
CODEGEN-1441 Compiler generates software pipelined loop that has multiple assignment code, and is not interrupt safe Fixed C6000_8.1.1 C6000_8.1.2 If the specific code sequence causing the issue can be located in the assembly source, then a user may insert a DINT instruction in front of the multi-cycle instruction and a RINT instruction after the last delay slot of the multi-cycle instruction. The compiler will mistakenly define and use a register that is defined by a preceeding multi-cycle instruction while the definition of the value created by the multi-cycle instruction is still in the process of being written to that register. If an interrupt occurs between the delay slot definition of that register and the delay slot use of that register, then an incorrect value will arrive in the register for the delay slot use of the register. For example, MPYLI .M1X A4,B6,A5:A4 MVK .S1 2380,A3 || ADD .L1X A3,B8,A5 ADD .L1 A3,A5,A9 LDHU .D1T1 *A9,A5 NOP 1 ... In the above code, if an interrupt occurs in the delay slots of the MPYLI instruction, between the definition of A5 and the subsequent use of A5, then the value in A5 used by the second ADD instruction will be the value that was written to A5 by the MPYLI instruction instead of the first ADD instruction.
CODEGEN-1429 Software pipelined loop generates different results than loop not pipelined Fixed C6000_8.1.0B1 C6000_8.1.2 Avoid unsigned expressions in subscripts or in computing subscripts, or compile with -o1 or -o0.
CODEGEN-1333 Structure assignment causes compiler to fail with INTERNAL ERROR: Decomposition error Fixed C6000_8.1.0 C6000_8.1.2 Replace struct assignments involving packed structures with a memcpy() call to copy the contents of the RHS of the struct assign to the LHS.
SDSCM00052734 Internal error in trampoline generation when user defines data symbol named "signal" Fixed C6000_8.1.0B1 C6000_8.1.2 It is a user error to have two different objects in the system with the same name. Rename one of the objects.
CODEGEN-1272 Compiling with optimization level o2 and higher triggers an exception Fixed C6000_8.1.0 C6000_8.1.3 Compile affected C/C++ source file with "--disable:pc" compiler option In some cases where the compiler generates a non-SPLOOP software pipelined loop which has a large iteration interval, the compiler may determine that it is OK to speculatively execute a load instruction when it shouldn't. This can lead to the compiler generating code which, when executed, will try to access an illegal data address with a load instruction whose address operand is pointing to an illegal address. The result at run time is a hardware exception.
SDSCM00052864 struct field in register is not sign-extended to 32 bits before 32-bit compare Fixed C6000_8.1.0 C6000_8.1.2 Declare the local struct as volatile The compiler can place small structs in registers for fast access. In this case, the compiler fails to sign-extend a 16-bit struct member to 32-bits before a 32-bit comparison. This can happen for structs 32 bits or less, with any integer field 16 bits or less.
SDSCM00052889 uint16_t value not truncated as it ought to be in if test using -O2 Fixed C6000_8.1.0B1 C6000_8.1.1
SDSCM00052887 Compiler produces incorrect code for C674x at -O2 Fixed C6000_8.1.0B1 C6000_8.1.1 Place #pragma UNROLL(1) immediately before the loop
SDSCM00052833 Linker INTERNAL ERROR with object files with DWARF information compiled by IAR compiler Fixed C6000_8.1.0B1 C6000_8.1.1 Add option --compress_dwarf=off
SDSCM00052805 Decomposition error on while(*ptr++) where ptr points to volatile Fixed C6000_8.1.0B1 C6000_8.1.1 No workaround.
SDSCM00052721 lnk6x automatic RTS selection does not work when thread-safe version of RTS is needed Fixed C6000_8.1.0 C6000_8.1.1 Explicitly specify the thread-safe version of the RTS library that is to be included in the link instead of using libc.a on the link command line or in the linker command file.
SDSCM00052699 Compiler discards write to a volatile local struct member Fixed C6000_8.1.0B1 C6000_8.1.1 No workaround.
SDSCM00052529 Optimizer assumes enum variable can only have value of enumeration constants Fixed C6000_8.1.0B1 C6000_8.1.1 Don't make enumerated types with constants only for 0 and 1 if other values may be used. Either add a third value, or use values different than 0 and 1, or avoid using values that aren't the enumeration constants.
SDSCM00052339 demangler --output option does not work at all Fixed C6000_8.1.0 C6000_8.1.0 armdem file.asm > file.dis
SDSCM00052301 Linker crashes when --ecc:ecc_error is used Fixed C6000_8.1.0 C6000_8.1.0 None.
SDSCM00052292 Certain cases of array-typed struct member followed by non-array member cause incorrect code Fixed C6000_8.1.0 C6000_8.1.0 Put all array-typed members of the struct at the end. The problem is with array members that appear immediately before non-array members.
SDSCM00052265 Flexible array with initializer not handle correctly Fixed C6000_8.1.0 C6000_8.1.0 None.
SDSCM00051485 Incorrect reordering of nested op= with ++ Fixed C6000_8.1.0B1 C6000_8.1.2 Don't embed "X op= Y++" under another assignment operator. An expression like "a += b += c++" will produce the wrong answer. The problem is specific to sub-expressions of the form "X op= Y++" that occur under another assignment operator.
SDSCM00050005 Compiler mistakenly issues MISRA diagnostic 12.9 for a float point type Fixed C6000_8.1.0B1 C6000_8.1.2
SDSCM00043877 Emit error message when objects of size 512MB or larger truncated Fixed C6000_8.1.0B1 C6000_8.1.6 N/A Due to an internal limitation, the code generation tools cannot presently allocate objects of size 512 MB or larger. When such objects are declared in the code, they were silently truncated and compilation continued without any diagnostics.
SDSCM00008465 INTERNAL ERROR for user code with void pointer dereference Fixed C6000_8.1.5 Don't dereference pointers to type void In relaxed mode, it is possible to write an expression that dereferences a void *. This doesn't mean anything, but if the user's code dereferences a volatile void *, the compiler could crash with an internal error.

Generated on Mon Sep 10 16:34:03 2018