Code

Fix several svace defects#13320

Code

Merged

chunseoklee merged 17 commits intoSamsung:masterSamsung/ONE:masterfrom chunseoklee:fix_onertm_svacechunseoklee/ONE:fix_onertm_svaceCopy head branch name to clipboardJul 3, 2024

+42-38

Commits

Commits on Jun 28, 2024

• [onert-micro] fix NO_EFFECT(142733,142734)

  Show description for e212134
  

  chunseoklee

  authored and

  chunseoklee

  committed
  e212134

  Copy full SHA for e212134

• [onert-micro] Fix UNINIT.CTOR (wid 142747)

  Show description for ff65cb4
  chunseoklee

  committed
  ff65cb4

  Copy full SHA for ff65cb4

• [onert-micro] fix INTEGER_OVERFLOW (cov 1780901)

  Show description for 9921d77
  chunseoklee

  committed
  9921d77

  Copy full SHA for 9921d77

• [onert-micro] fix UNREACHABLE_CODE(wid 143590)

  Show description for c3995b7
  chunseoklee

  committed
  c3995b7

  Copy full SHA for c3995b7

• [onert-micro] fix UNREACHABLE_CODE.RET(wid:142758)

  Show description for 903b6d0
  chunseoklee

  committed
  903b6d0

  Copy full SHA for 903b6d0

• [onert-micro] fix UNREACHABLE_CODE.RET(142752)

  Show description for ca1f785
  

  chunseoklee

  authored and

  chunseoklee

  committed
  ca1f785

  Copy full SHA for ca1f785

• [onert-micro] fix UNREACHABLE_CODE.RET(142753)

  Show description for def1f97
  

  chunseoklee

  authored and

  chunseoklee

  committed
  def1f97

  Copy full SHA for def1f97

• [onert-micro] fix UNREACHABLE_CODE.RET(142755)

  Show description for dd136a9
  

  chunseoklee

  authored and

  chunseoklee

  committed
  dd136a9

  Copy full SHA for dd136a9

• [onert-micro] fix NO_RETURN_VALUE(142738, 142736)

  Show description for f2b992d
  chunseoklee

  committed
  f2b992d

  Copy full SHA for f2b992d

• [onert-micro] fix UNREACHABLE_CODE.RET(142756)

  Show description for fb0d985
  

  chunseoklee

  authored and

  chunseoklee

  committed
  fb0d985

  Copy full SHA for fb0d985

• [onert-micro] fix FALL_THROUGH(143586)

  Show description for 6c6d8a8
  chunseoklee

  committed
  6c6d8a8

  Copy full SHA for 6c6d8a8

• [onert-micro] fix COMPARE_RESULT_OF_NEW(142728)

  Show description for 800a5b7
  chunseoklee

  committed
  800a5b7

  Copy full SHA for 800a5b7

• [onert-micro] fix UNREACHABLE_CODE.RET(142754)

  Show description for 28350a7
  chunseoklee

  committed
  28350a7

  Copy full SHA for 28350a7

• [onert-micro] fix 3 SIGN_EXTENSION defects

  Show description for d0cf164
  chunseoklee

  committed
  d0cf164

  Copy full SHA for d0cf164

• [onert-micro] fix 6 SIGNED_TO_BIGGER_UNSIGNED

  Show description for ae20892
  

  chunseoklee

  authored and

  chunseoklee

  committed
  ae20892

  Copy full SHA for ae20892

• [onert-micro] fix UNREACHABLE_CODE.RET(142757)

  Show description for eb1f4ed
  

  chunseoklee

  authored and

  chunseoklee

  committed
  eb1f4ed

  Copy full SHA for eb1f4ed

• [onert-micro] fix DIVISION_BY_ZERO(142730)

  Show description for f2a5f44
  chunseoklee

  committed
  f2a5f44

  Copy full SHA for f2a5f44