Code

Renjisann/add tests#2

Code

Closed

RenjiSann wants to merge 29 commits intoZhuUx:masterZhuUx/rust:masterfrom RenjiSann:renjisann/add-testsRenjiSann/rust:renjisann/add-testsCopy head branch name to clipboard

+2,057-64

Commits

Commits on Apr 7, 2024

• coverage. Add mcdc coverage option

  ZhuUx

  committed
  b260126

• coverage. Generate mcdc coverage mappings

  ZhuUx

  committed
  c7071c2

• coverage. Add llvm wrapper to get mcdc intrinsic functions

  ZhuUx

  committed
  94f2998

• coverage. Generate mcdc instrument when lowering to ir

  ZhuUx

  committed
  248e1f6

• coverage. fix error on computing conditions num of decisions

  ZhuUx

  committed
  0410a96

• coverage. Add warning for decisions with too many conditions

  ZhuUx

  committed
  24344d3

• coverage. Add BlockMarker for decisions and inject mcdc statements

  ZhuUx

  committed
  305b94c

• coverage. Add comment for some functions

  ZhuUx

  committed
  75608af

• coverage. Do not check raw logical expressions temporarily

  ZhuUx

  committed
  d8f3dde

• coverage. Let coverage-dump support parsing mcdc info

  ZhuUx

  committed
  6cf7f5d

• coverage. Add mcdc test for if

  ZhuUx

  committed
  5bdc58a

• coverage. put mcdc warnings in alphabetical order

  ZhuUx

  committed
  da99de4

• coverage. MC/DC analysis ignores decisions with only one condition

  ZhuUx

  committed
  e34f966

• coverage. Fix mcdc analysis cannot work for nesting if

  ZhuUx

  committed
  55279aa

• coverage. Add mcdc test for nested if

  ZhuUx

  committed
  482d32e

• coverage. Change assign statements cl does not support on c++17

  

  Lambdaris

  authored and

  ZhuUx

  committed
  d72e711

• coverage. Add unimplemented mcdc functions for gcc codegen

  

  Lambdaris

  authored and

  ZhuUx

  committed
  eaa4f73

• coverage. Allow multi options passed to coverage-options

  

  Lambdaris

  authored and

  ZhuUx

  committed
  4713614

• coverage. Replace line numbers in mcdc reports with LL

  

  Lambdaris

  authored and

  ZhuUx

  committed
  9c357e6

• coverage. Improve code style

  

  Lambdaris

  authored and

  ZhuUx

  committed
  eeb9fd4

• coverage. Fix missing LL line number replacement

  

  Lambdaris

  authored and

  ZhuUx

  committed
  c8bf124

• coverage. Adopt a nicer dereference style for BcbMappingKind

  

  Lambdaris

  authored and

  ZhuUx

  committed
  29e0881

• coverage. Adopt nicer code style

  ZhuUx

  committed
  391ad51

• coverage. Flatten ffi for MCDCParameter

  ZhuUx

  committed
  3024f22

• coverage. Split structures for mcdc branches and normal branches

  ZhuUx

  committed
  2c054b0

Commits on Apr 8, 2024

• coverage. Allow to be compiled on llvm-17

  ZhuUx

  committed
  58f62e8

• coverage. Gate mcdc tests by @min-llvm-version

  ZhuUx

  committed
  2788afe

• coverage. Change doc comments of MCDCState::record_conditions to idiomatic because it only describes the implementation and has no doc test

  ZhuUx

  committed
  4723dd0

• coverage. Add test cases for while-loops instrumentation

  RenjiSann

  committed
  8b74525