Code

Simplify the return path analysis#6541

Code

Merged

tritao merged 19 commits intomasterFuelLabs/sway:masterfrom jjcnn/return_path_analysis_exit_fixFuelLabs/sway:jjcnn/return_path_analysis_exit_fixCopy head branch name to clipboardOct 24, 2024

+110-72

Commits

Commits on Sep 12, 2024

• don't follow CFG edges to MethodDeclaration nodes during return path analysis

  jjcnn

  committed
  8dfddf0

  Copy full SHA for 8dfddf0

• Optimizations

  jjcnn

  committed
  e944f6a

  Copy full SHA for e944f6a

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  jjcnn

  authored
  6674fe2

  Copy full SHA for 6674fe2

Commits on Sep 13, 2024

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  jjcnn

  authored
  8a777e9

  Copy full SHA for 8a777e9

Commits on Oct 7, 2024

• Merge branch 'master' of github.com:FuelLabs/sway into jjcnn/return_path_analysis_exit_fix

  jjcnn

  committed
  a9e30a4

  Copy full SHA for a9e30a4

Commits on Oct 9, 2024

• Remove RPA graph edges into local impls and functions

  jjcnn

  committed
  0c3b6dc

  Copy full SHA for 0c3b6dc

• Merge branch 'jjcnn/return_path_analysis_exit_fix' of github.com:FuelLabs/sway into jjcnn/return_path_analysis_exit_fix

  jjcnn

  committed
  fe44323

  Copy full SHA for fe44323

• Remove unnecessary function argument

  jjcnn

  committed
  6c40932

  Copy full SHA for 6c40932

• Simplify leaf datastructure now that at most one leaf is available

  jjcnn

  committed
  afba614

  Copy full SHA for afba614

• Simplify RPA to make it clear we're only traversing the spine of the function

  jjcnn

  committed
  8f28e71

  Copy full SHA for 8f28e71

• clippy, fmt

  jjcnn

  committed
  689e8e4

  Copy full SHA for 689e8e4

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  jjcnn

  authored
  0c47f7d

  Copy full SHA for 0c47f7d

• Added test case for local functions

  jjcnn

  committed
  67cbb2b

  Copy full SHA for 67cbb2b

• Merge branch 'jjcnn/return_path_analysis_exit_fix' of github.com:FuelLabs/sway into jjcnn/return_path_analysis_exit_fix

  jjcnn

  committed
  d0ffba6

  Copy full SHA for d0ffba6

Commits on Oct 17, 2024

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  IGI-111

  authored
  445839d

  Copy full SHA for 445839d

Commits on Oct 24, 2024

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  JoshuaBatty

  authored
  45336a6

  Copy full SHA for 45336a6

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  jjcnn

  authored
  75bf0a0

  Copy full SHA for 75bf0a0

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  jjcnn

  authored
  35340d3

  Copy full SHA for 35340d3

• Merge branch 'master' into jjcnn/return_path_analysis_exit_fix

  tritao

  authored
  2285dcf

  Copy full SHA for 2285dcf