From b444fd25bbcde92949d88b5f912393bfa0c821a5 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Sat, 7 Mar 2020 13:58:33 +0100 Subject: [PATCH] ArchSpec: fix semantics of satisfies when not concrete and strict is true (#15319) --- lib/spack/spack/spec.py | 4 ++++ lib/spack/spack/test/architecture.py | 13 +++++++++++++ 2 files changed, 17 insertions(+) diff --git a/lib/spack/spack/spec.py b/lib/spack/spack/spec.py index 1493f0c973..718b5ef14d 100644 --- a/lib/spack/spack/spec.py +++ b/lib/spack/spack/spec.py @@ -369,6 +369,10 @@ def _satisfies_target(self, other_target, strict): if not need_to_check: return True + # self is not concrete, but other_target is there and strict=True + if self.target is None: + return False + for target_range in str(other_target).split(','): t_min, sep, t_max = target_range.partition(':') diff --git a/lib/spack/spack/test/architecture.py b/lib/spack/spack/test/architecture.py index 1f5ff28900..552bc324bf 100644 --- a/lib/spack/spack/test/architecture.py +++ b/lib/spack/spack/test/architecture.py @@ -214,3 +214,16 @@ def test_optimization_flags_with_custom_versions( ) opt_flags = target.optimization_flags(compiler) assert opt_flags == expected_flags + + +@pytest.mark.regression('15306') +@pytest.mark.parametrize('architecture_tuple,constraint_tuple', [ + (('linux', 'ubuntu18.04', None), ('linux', None, 'x86_64')), + (('linux', 'ubuntu18.04', None), ('linux', None, 'x86_64:')), +]) +def test_satisfy_strict_constraint_when_not_concrete( + architecture_tuple, constraint_tuple +): + architecture = spack.spec.ArchSpec(architecture_tuple) + constraint = spack.spec.ArchSpec(constraint_tuple) + assert not architecture.satisfies(constraint, strict=True)