Skip to content

Remove Constant Aggregate nodes from SVFIR#1872

Merged
yuleisui merged 1 commit into
SVF-tools:masterfrom
mbarbar:no-const-agg
Jul 16, 2026
Merged

Remove Constant Aggregate nodes from SVFIR#1872
yuleisui merged 1 commit into
SVF-tools:masterfrom
mbarbar:no-const-agg

Conversation

@mbarbar

@mbarbar mbarbar commented Jul 15, 2026

Copy link
Copy Markdown
Collaborator

These do not appear to be used anywhere.

@mbarbar

mbarbar commented Jul 15, 2026

Copy link
Copy Markdown
Collaborator Author

I'm not really sure if we want to keep this for future or anything, but I incline to think if we don't need it now, we don't need to have it now.

@codecov

codecov Bot commented Jul 15, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 65.82%. Comparing base (b086369) to head (c88147d).

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1872      +/-   ##
==========================================
+ Coverage   65.78%   65.82%   +0.03%     
==========================================
  Files         251      251              
  Lines       24699    24665      -34     
  Branches     4661     4660       -1     
==========================================
- Hits        16249    16235      -14     
+ Misses       8450     8430      -20     
Files with missing lines Coverage Δ
svf-llvm/lib/SVFIRBuilder.cpp 89.12% <100.00%> (+0.21%) ⬆️
svf/include/SVFIR/SVFIR.h 92.77% <ø> (+1.37%) ⬆️
svf/include/SVFIR/SVFValue.h 88.88% <ø> (ø)
svf/include/SVFIR/SVFVariables.h 70.83% <ø> (+2.55%) ⬆️
svf/lib/SVFIR/SVFVariables.cpp 68.75% <ø> (+0.95%) ⬆️
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@mbarbar
mbarbar marked this pull request as ready for review July 15, 2026 05:23
@yuleisui
yuleisui merged commit d4cd055 into SVF-tools:master Jul 16, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants