-
Bug
-
Resolution: Fixed
-
Medium
-
Code Generation Tools
-
CODEGEN-10591
-
ARMCLANG_2.1.0.LTS
-
ARMCLANG_2.1.3.LTS*
-
default
The tiarmclang code generator will sometimes flip the sense of a negated condition used by a branch to elide an instruction. When this happens, MC/DC incorrectly instruments the wrong sense of the condition yielding incorrect tracking data. This results in a post-processing failure where tiarmcov is not able to match an executed test vector to its list of known test vectors.