Skip to content

Distinguish between with-sanitizer and without-sanitizer dependencies#458

Merged
giordano merged 4 commits into
masterfrom
eschnett/sanitizer-dependencies
Dec 10, 2025
Merged

Distinguish between with-sanitizer and without-sanitizer dependencies#458
giordano merged 4 commits into
masterfrom
eschnett/sanitizer-dependencies

Conversation

@eschnett
Copy link
Copy Markdown
Contributor

@eschnett eschnett commented Dec 8, 2025

No description provided.

@eschnett eschnett force-pushed the eschnett/sanitizer-dependencies branch from aef1908 to fb85c8f Compare December 8, 2025 15:39
Comment thread test/dependencies.jl
Comment on lines +123 to +135
plat_nosan = Platform("x86_64", "linux")
plat_msan = Platform("x86_64", "linux"; sanitize="memory")
plat_asan = Platform("x86_64", "linux"; sanitize="address")
dep_nosan = Dependency(name; platforms=[plat_nosan])
dep_msan = Dependency(name; platforms=[plat_msan])
dep_asan = Dependency(name; platforms=[plat_asan])
dep_allsans = Dependency(name; platforms=[plat_nosan, plat_msan, plat_asan])
@testset "Filter dependencies by platform" begin
@test filter_platforms([dep, dep_buildver, dep_compat], Platform("x86_64", "linux"; cxxstring_abi="cxx03")) == [dep_compat]
@test filter_platforms([dep, dep_buildver, dep_compat], Platform("x86_64", "macos")) == [dep, dep_compat]
@test filter_platforms([dep_nosan, dep_msan, dep_asan, dep_allsans], plat_nosan) == [dep_nosan, dep_allsans]
@test filter_platforms([dep_nosan, dep_msan, dep_asan, dep_allsans], plat_msan) == [dep_msan, dep_allsans]
@test filter_platforms([dep_nosan, dep_msan, dep_asan, dep_allsans], plat_asan) == [dep_asan, dep_allsans]
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@giordano giordano merged commit 3db7ccc into master Dec 10, 2025
9 checks passed
@giordano giordano deleted the eschnett/sanitizer-dependencies branch December 10, 2025 15:53
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