ceedling 1.2.1 → 1.2.2

data/spec/support/integration/configurator_integration_helper.rb

@@ -24,11 +24,11 @@ require 'ceedling/constants'
 require 'ceedling/defaults'
 require 'ceedling/system_utils'
 require 'ceedling/system_wrapper'
-require 'ceedling/file_wrapper'
+require 'ceedling/filesystem/file_wrapper'
 require 'ceedling/yaml_wrapper'
 require 'ceedling/reportinator'
 require 'ceedling/ruby_expandinator'
-require 'ceedling/file_path_collection_utils'
+require 'ceedling/filesystem/file_path_collection_utils'
 require 'ceedling/tool_validator'
 require 'ceedling/tool_executor'
 require 'ceedling/tool_executor_helper'
@@ -39,6 +39,7 @@ require 'ceedling/config/configurator_setup'
 require 'ceedling/config/configurator_builder'
 require 'ceedling/config/configurator_plugins'
 require 'ceedling/config/configurator_validator'
+require 'ceedling/config/configurator_paths_validator'
 
 module ConfiguratorIntegrationHelpers
 
@@ -58,11 +59,10 @@ module ConfiguratorIntegrationHelpers
 
     o[:configurator_plugins]   = ConfiguratorPlugins.new( o.slice( :file_wrapper, :system_wrapper ) )
     o[:configurator_builder]   = ConfiguratorBuilder.new( o.slice( :file_path_collection_utils, :loginator, :file_wrapper, :system_wrapper ) )
-    o[:configurator_validator] = ConfiguratorValidator.new(
-      o.slice( :config_walkinator, :file_wrapper, :loginator, :reportinator, :tool_validator )
-    )
+    o[:configurator_validator] = ConfiguratorValidator.new( o.slice( :config_walkinator, :loginator, :reportinator, :tool_validator ) )
+    o[:configurator_paths_validator] = ConfiguratorPathsValidator.new( o.slice( :config_walkinator, :file_wrapper, :loginator, :reportinator ) )
     o[:configurator_setup] = ConfiguratorSetup.new(
-      o.slice( :configurator_builder, :configurator_validator, :loginator, :reportinator,
+      o.slice( :configurator_builder, :configurator_validator, :configurator_paths_validator, :loginator, :reportinator,
                :file_wrapper, :system_wrapper, :tool_executor )
     )
     o[:configurator] = Configurator.new(

data/spec/support/integration/dependency_tracker_integration_helper.rb

@@ -18,7 +18,7 @@
 
 require 'fileutils'
 require 'tmpdir'
-require 'ceedling/file_wrapper'
+require 'ceedling/filesystem/file_wrapper'
 require 'ceedling/system_wrapper'
 require 'ceedling/yaml_wrapper'
 require 'ceedling/dependencies/dependency_hasher'

data/spec/support/integration/partials_generation_integration_helper.rb

@@ -56,8 +56,8 @@ require 'ceedling/preprocess/preprocessinator_comment_stripper'
 require 'ceedling/preprocess/c_comment_scanner'
 require 'ceedling/preprocess/preprocessinator_file_assembler'
 require 'ceedling/parsing_parcels'
-require 'ceedling/file_path_utils'
-require 'ceedling/file_wrapper'
+require 'ceedling/filesystem/file_path_utils'
+require 'ceedling/filesystem/file_wrapper'
 require 'ceedling/includes/includes'
 
 

data/spec/support/integration/path_scenario_harness.rb

@@ -0,0 +1,173 @@
+# =========================================================================
+#   Ceedling - Test-Centered Build System for C
+#   ThrowTheSwitch.org
+#   Copyright (c) 2010-26 Mike Karlesky, Mark VanderVoord, & Greg Williams
+#   SPDX-License-Identifier: MIT
+# =========================================================================
+
+# Runs a project layout through configuration, collection, build-path mapping, and the
+# lookups that invert that mapping, without compiling anything.
+#
+# A scenario is a workspace: the project in `app/`, with siblings beside it (`shared/`,
+# `vendor/`) for paths that reach outside the project, and a separate directory elsewhere
+# for paths far outside it, as a vendor SDK installed at a drive's root is. YAML may name
+# absolute paths with `%{ws}`, `%{app}` and `%{far}`. The workspace is resolved through File.realpath first, so a
+# system temp directory behind a symlink (macOS's /tmp) doesn't add a second spelling.
+#
+# Test preprocessing is off, so no preprocessor is probed, and nothing is built.
+
+require 'tmpdir'
+require 'fileutils'
+require 'configurator_integration_helper'
+require 'ceedling/filesystem/file_path_utils'
+require 'ceedling/filesystem/file_finder'
+require 'ceedling/filesystem/file_finder_helper'
+require 'ceedling/test_invoker/test_build_setup'
+require 'ceedling/test_invoker/test_invoker_types'
+
+module PathScenarioHarness
+  include ConfiguratorIntegrationHelpers
+
+  # Runs each test of a batch in turn, in place of the thread pool
+  class SerialBatchinator
+    def exec(things:, **_options)
+      things.each { |thing| yield thing }
+    end
+  end
+
+  # A root spelled each way a project file might, for one place in the workspace
+  ROOT_SPELLINGS = {
+    plain:     ->(root, **) { root },
+    dot_slash: ->(root, **) { "./#{root}" },
+    absolute:  ->(root, app:, **) { File.join( app, root ) },
+    backslash: ->(root, **) { root.tr( '/', '\\' ) },
+    symlink:   ->(root, ws:, **) { File.join( ws, 'link', root ) }
+  }.freeze
+
+  # Runs the block in a workspace holding `files` (paths relative to the workspace), from
+  # `cwd` within it, with `far` files in a directory outside the workspace. A `link`
+  # symlink to `app/` is made when `symlink` is set.
+  def in_workspace(files, cwd: 'app', symlink: false, far: {})
+    Dir.mktmpdir do |dir|
+      Dir.mktmpdir do |far_dir|
+        ws = File.realpath( dir )
+        @far = File.join( File.realpath( far_dir ), 'deep', 'sdk' )
+        write_files( ws, files )
+        write_files( @far, far )
+        FileUtils.mkdir_p( File.join( ws, 'app' ) )
+        File.symlink( File.join( ws, 'app' ), File.join( ws, 'link' ) ) if symlink
+
+        Dir.chdir( File.join( ws, cwd ) ) { yield ws, File.join( ws, 'app' ) }
+      end
+    end
+  end
+
+  def write_files(root, files)
+    files.each do |path, content|
+      FileUtils.mkdir_p( File.join( root, File.dirname( path ) ) )
+      File.write( File.join( root, path ), content )
+    end
+  end
+
+  # A project file for a scenario. `paths` and `files` are the :paths and :files sections.
+  def scenario_yaml(ws:, app:, paths:, files: {}, project: {})
+    config = {
+      project: { build_root: 'build', use_test_preprocessor: :none, use_mocks: true, release_build: true }.merge( project ),
+      paths:   paths,
+      files:   files
+    }
+    # Psych writes Symbol keys and values in the `:key:` form a project file uses
+    return YAML.dump( placed( config, ws: ws, app: app ) )
+  end
+
+  # Fills `%{ws}`, `%{app}` and `%{far}` in every string with the workspace's absolute paths
+  def placed(value, ws:, app:)
+    case value
+    when Hash   then value.transform_values { |item| placed( item, ws: ws, app: app ) }
+    when Array  then value.map { |item| placed( item, ws: ws, app: app ) }
+    when String then value.gsub( '%{ws}', ws ).gsub( '%{app}', app ).gsub( '%{far}', @far.to_s )
+    else value
+    end
+  end
+
+  # Configures the project, and prepares every test's build paths, as stage 1 of a build does
+  def scenario(yaml)
+    configurator = configure( yaml )[:configurator]
+
+    file_wrapper    = FileWrapper.new( loginator: double( 'loginator', log: nil ), verbosinator: double( 'verbosinator', should_output?: false ) )
+    file_path_utils = FilePathUtils.new( configurator: configurator, file_wrapper: file_wrapper )
+
+    collaborators = TestBuildSetup.constructor_keys.to_h { |key| [key, double( key.to_s )] }
+    setup = TestBuildSetup.new( collaborators.merge(
+      configurator: configurator, file_wrapper: file_wrapper, file_path_utils: file_path_utils, batchinator: SerialBatchinator.new
+    ) )
+    state = TestInvokerTypes::PipelineState.new( tests: configurator.collection_all_tests, testables: {}, context: :test, options: [], lock: Mutex.new )
+    setup.stage_prepare_build_paths( state )
+
+    finder = FileFinder.new(
+      configurator: configurator, file_finder_helper: FileFinderHelper.new( loginator: double( 'loginator', log: nil ) ),
+      file_path_utils: file_path_utils, file_wrapper: file_wrapper, yaml_wrapper: nil
+    )
+
+    return { configurator: configurator, state: state, paths: file_path_utils, finder: finder }
+  end
+
+  # Every build file a scenario's sources and headers map to, by kind
+  def placements(scene)
+    configurator, state, paths = scene.values_at( :configurator, :state, :paths )
+    testable = state.testables.values.first
+    sources  = configurator.collection_all_source
+
+    return {
+      test_objects:    paths.form_test_build_objects_filelist( testable.paths[:build], sources ),
+      release_objects: paths.form_release_build_objects_filelist( sources ),
+      preprocessed:    configurator.collection_all_headers.map { |header| paths.form_preprocessed_file_filepath( header, testable.name ) },
+      mocks:           configurator.collection_all_headers.map { |header| mock_output_path( scene, testable, header ) }
+    }
+  end
+
+  # Where a mock of `header` is generated, through the lookup a build's mock stage makes
+  def mock_output_path(scene, testable, header)
+    mock = "#{scene[:configurator].cmock_mock_prefix}#{File.basename( header )}"
+    _source, subdir = scene[:finder].resolve_mock( mock, complain: :ignore )
+    return nil if subdir.nil?
+
+    return scene[:paths].form_mock_output_path( testable.paths[:mocks], subdir )
+  end
+
+  # Every path lies within the build root, by real containment
+  def expect_inside_build(paths, build: File.expand_path( 'build' ))
+    paths.compact.each do |path|
+      expanded = File.expand_path( path )
+      expect(expanded).to start_with( build + '/' ), "#{path} lies outside #{build}/"
+      expect(path.split( %r{[\\/]} )).to_not include( '..' ), "#{path} holds `..`"
+    end
+  end
+
+  # Distinct inputs map to distinct build files
+  def expect_distinct(paths, label)
+    duplicates = paths.compact.group_by { |path| File.expand_path( path ) }.select { |_, group| group.size > 1 }.keys
+    expect(duplicates).to be_empty, "#{label} collide: #{duplicates.join( ', ' )}"
+  end
+
+  # No collection holds a file under the build root
+  def expect_collections_outside_build(configurator, build: File.expand_path( 'build' ))
+    entries = configurator.collection_all_source + configurator.collection_all_headers + configurator.collection_all_tests
+    inside  = entries.select { |entry| File.expand_path( entry ).start_with?( build + '/' ) }
+    expect(inside).to be_empty, "collected from the build root: #{inside.join( ', ' )}"
+  end
+
+  # No file is collected twice, under two spellings
+  def expect_one_spelling_each(configurator)
+    entries = configurator.collection_all_source + configurator.collection_all_headers
+    twice = entries.group_by { |entry| File.realpath( entry ) rescue File.expand_path( entry ) }.select { |_, group| group.size > 1 }
+    expect(twice).to be_empty, "collected twice: #{twice.values.map { |group| group.join( ' and ' ) }.join( '; ' )}"
+  end
+
+  # Build placements relative to the build root, comparable across spellings
+  def relative_placements(scene, build: File.expand_path( 'build' ))
+    return placements( scene ).transform_values do |paths|
+      paths.compact.map { |path| File.expand_path( path ).delete_prefix( build + '/' ) }.sort
+    end
+  end
+end

data/spec/support/integration/spec_integration_helper.rb

@@ -25,7 +25,7 @@ require 'fileutils'
 
 require 'ceedling/constants'
 require 'ceedling/defaults'
-require 'ceedling/file_wrapper'
+require 'ceedling/filesystem/file_wrapper'
 require 'ceedling/yaml_wrapper'
 require 'ceedling/parsing_parcels'
 require 'ceedling/includes/includes'

data/spec/support/integration/test_includes_harness.rb

@@ -21,8 +21,8 @@
 
 require 'spec_integration_helper'
 require 'ceedling/filename_extension'
-require 'ceedling/file_finder'
-require 'ceedling/file_finder_helper'
+require 'ceedling/filesystem/file_finder'
+require 'ceedling/filesystem/file_finder_helper'
 require 'ceedling/test_context_extractor'
 require 'ceedling/test_invoker/test_invoker_types'
 require 'ceedling/test_invoker/test_search_paths'
@@ -52,6 +52,10 @@ module IntegrationSpecHelpers
     def get_cmock_config
       {}
     end
+
+    def cmock_mock_name_include_folder
+      true
+    end
     def project_use_mocks
       true
     end
@@ -86,6 +90,13 @@ module IntegrationSpecHelpers
     def paths_include
       ['src']
     end
+    # The canonical roots configuration computes from the three above
+    def collection_mirror_roots_headers
+      ['test', 'src']
+    end
+    def collection_mirror_roots_include
+      ['src']
+    end
     def collection_paths_support
       []
     end

data/spec/support/spec_helper.rb

@@ -59,3 +59,5 @@ $: << File.join(here, '../../bin')
 $: << File.join(here, '../../lib')
 $: << File.join(here, '../../vendor/cmock/lib')
 $: << File.join(here, '../../vendor/unity/auto')
+
+require 'working_dir_tracking'

data/spec/support/system/spec_system_helper.rb

@@ -5,6 +5,7 @@
 #   SPDX-License-Identifier: MIT
 # =========================================================================
 
+require 'digest'
 require 'fileutils'
 require 'tmpdir'
 require 'open3'
@@ -142,6 +143,7 @@ RSpec.configure do |config|
       $stderr.puts "\n" + ("=" * 72)
       $stderr.puts "FAILED: #{format_description.call(example)}"
       $stderr.puts "Temp dir: #{@c.dir}"
+      $stderr.puts "Project:  #{@proj_name}" if defined?(@proj_name) && @proj_name
       $stderr.puts "Log file: #{log_path}"
       if @c.respond_to?(:console_summary) && !@c.console_summary.nil?
         $stderr.puts "-" * 72
@@ -259,13 +261,12 @@ def html_docs_bundle_available?
   Dir.exist?(File.join(File.dirname(__FILE__), '..', '..', '..', 'site-local'))
 end
 
+# A project directory name unique to the current example, kept short because Windows
+# paths stop at 260 characters and a project's deepest build file sits well over 100
+# below it. The full description, nested groups and all, tells apart same-named examples
+# sharing one spec file's temp dir. Failure reports print the name beside the example.
 def unique_proj_name(prefix)
-  safe = RSpec.current_example.description
-    .downcase
-    .gsub(/[^a-z0-9]+/, '_')
-    .gsub(/\A_+|_+\z/, '')
-    .slice(0, 60)
-  "#{prefix}_#{safe}"
+  "#{prefix}_#{Digest::SHA256.hexdigest( RSpec.current_example.full_description )[0, 8]}"
 end
 
 def convert_slashes(path)

data/spec/support/system/system_context.rb

@@ -6,9 +6,11 @@
 # =========================================================================
 
 require 'fileutils'
+require 'securerandom'
+require 'tmpdir'
 require 'bundler'
 require 'ceedling/encodinator'
-require 'ceedling/file_wrapper'
+require 'ceedling/filesystem/file_wrapper'
 require 'ceedling/verbosinator'
 require 'ceedling/yaml_wrapper'
 require_relative 'gem_dir_layout'
@@ -145,13 +147,29 @@ class SystemContext
       # or fail/) is determined by done!.
       base = File.join(Dir.pwd, ARTIFACTS_DIR, 'proj')
       FileUtils.mkdir_p(base)
-      @dir = Dir.mktmpdir(nil, base)
+      @dir = self.class.brief_tmpdir(base)
     else
-      @dir = Dir.mktmpdir
+      @dir = self.class.brief_tmpdir(Dir.tmpdir)
     end
     @gem = GemDirLayout.new(@dir)
   end
 
+  # A new directory below `base` with a 7-character name, where Dir.mktmpdir's runs to
+  # 22. Windows paths stop at 260 characters, and a project's deepest build file sits
+  # well over 100 below this directory. Dir.mkdir is atomic, so concurrent runs never
+  # share one.
+  def self.brief_tmpdir(base)
+    loop do
+      dir = File.join(base, "s#{SecureRandom.hex(3)}")
+      begin
+        Dir.mkdir(dir)
+        return dir
+      rescue Errno::EEXIST
+        next
+      end
+    end
+  end
+
   def done!
     if keep_all? || (keep_failures_only? && @failed)
       # 'all' mode: preserve pass and fail artifacts for post-run inspection.

data/spec/support/working_dir_tracking.rb

@@ -0,0 +1,49 @@
+# =========================================================================
+#   Ceedling - Test-Centered Build System for C
+#   ThrowTheSwitch.org
+#   Copyright (c) 2010-26 Mike Karlesky, Mark VanderVoord, & Greg Williams
+#   SPDX-License-Identifier: MIT
+# =========================================================================
+
+require 'ceedling/filesystem/working_dir'
+
+# WorkingDir reads the working directory once, and Ceedling changes directory only through
+# WorkingDir.chdir. Specs change directory in-process with Dir.chdir all the time, so here
+# every Dir.chdir forgets the working directory too, and each spec's paths resolve against
+# the directory it is in. `untracked` suspends that, so a spec can show what Ceedling
+# itself does.
+module WorkingDirTracking
+
+  @paused = false
+
+  def self.untracked
+    previous = @paused
+    @paused  = true
+    yield
+  ensure
+    @paused = previous
+  end
+
+  def self.forget
+    WorkingDir.forget unless @paused
+  end
+
+  module DirChdir
+    def chdir(*args)
+      WorkingDirTracking.forget
+      return super unless block_given?
+
+      super( *args ) do |*yielded|
+        WorkingDirTracking.forget
+        yield( *yielded )
+      ensure
+        WorkingDirTracking.forget
+      end
+    ensure
+      WorkingDirTracking.forget
+    end
+  end
+
+end
+
+Dir.singleton_class.prepend( WorkingDirTracking::DirChdir )

data/spec/system/build_output_mirroring_spec.rb

@@ -62,8 +62,8 @@ ceedling_system_tests do
           expect(output).to_not match(/Ambiguous/)
           expect(output).to match(/^Linking /)
 
-          expect(File.exist?('build/release/out/foo/bar.o')).to be true
-          expect(File.exist?('build/release/out/baz/bar.o')).to be true
+          expect(File.exist?('build/release/out/src/foo/bar.o')).to be true
+          expect(File.exist?('build/release/out/src/baz/bar.o')).to be true
 
           binary = Dir.glob('build/artifacts/release/*.out').first
           run_output = `#{binary}`

data/spec/system/conditional_mock_includes_spec.rb

@@ -128,7 +128,7 @@ ceedling_system_tests do
 
       # The runner initializes and verifies the newly enabled module's mock
       in_project do
-        expect(File.read( 'build/test/runners/test_Case_02_runner.c' )).to include( 'mock_MyModulePart2' )
+        expect(File.read( 'build/test/runners/test/test_Case_02_runner.c' )).to include( 'mock_MyModulePart2' )
       end
     end
 

data/spec/system/delta_builds_spec.rb

@@ -123,9 +123,9 @@ ceedling_system_tests do
           # so none of this test's mocks are considered stale purely from that
           # unrelated cache miss. Only a change to the header a mock actually
           # mocks, or to the mock's own config meta, can make it regenerate.
-          expect(rebuild).to_not match(/Generating mock for TestAdcModel::TaskScheduler\.h/)
-          expect(rebuild).to_not match(/Generating mock for TestAdcModel::TemperatureCalculator\.h/)
-          expect(rebuild).to_not match(/Generating mock for TestAdcModel::TemperatureFilter\.h/)
+          expect(rebuild).to_not match(/Generating mock for test\/adc\/TestAdcModel::TaskScheduler\.h/)
+          expect(rebuild).to_not match(/Generating mock for test\/adc\/TestAdcModel::TemperatureCalculator\.h/)
+          expect(rebuild).to_not match(/Generating mock for test\/adc\/TestAdcModel::TemperatureFilter\.h/)
 
           expect(rebuild).to match(/^Compiling TestAdcModel\.c/)
           expect(rebuild).to match(/^Linking TestAdcModel\.out/)
@@ -147,7 +147,7 @@ ceedling_system_tests do
           expect(rebuild).to_not match(/^Compiling .*TimerModel/)
           expect(rebuild).to_not match(/^Linking .*Usart/)
           expect(rebuild).to_not match(/^Linking .*Timer/)
-          expect(rebuild).to_not match(/Generating mock for TestUsartConductor/)
+          expect(rebuild).to_not match(/Generating mock for test\/TestUsartConductor/)
         end
       end
     end
@@ -220,6 +220,24 @@ ceedling_system_tests do
       end
     end
 
+    # Every remaining object is unchanged, so only the list of objects shows the change. A
+    # stale executable would still hold the source's code and report its cached pass.
+    it "relinks a test whose source leaves the build, failing at link without it" do
+      @c.with_context do
+        Dir.chdir "temp_sensor" do
+          @c.ceedling_build_exec("test:all")
+
+          @c.merge_project_yml_for_test({ :files => { :source => ['-:src/TemperatureFilter.c'] } })
+          rebuild = @c.ceedling_build_exec("test:TestTemperatureFilter.c")
+
+          expect(@c.last_exit_status).to_not eq(0)
+          expect(rebuild).to_not match(/^Compiling /)
+          expect(rebuild).to match(/^Linking TestTemperatureFilter\.out/)
+          expect(rebuild).to match(/undefined reference|Undefined symbols/)
+        end
+      end
+    end
+
     it "clobber removes the dependency cache and forces a full rebuild afterward" do
       @c.with_context do
         Dir.chdir "temp_sensor" do
@@ -429,6 +447,95 @@ ceedling_system_tests do
     end
   end
 
+  # GH #1368: a link tracked its libraries only by their -l and -L arguments, so a library
+  # rebuilt under the same name relinked nothing. A test kept its cached result against the
+  # old library, and a release kept the old library's code. `m` is on no library path the
+  # project configures, so it is never tracked, and never relinks an unchanged build.
+  describe "Delta builds: linked libraries" do
+    before { @proj_name = unique_proj_name("delta_libs") }
+
+    def build_library!(value)
+      FileUtils.mkdir_p( ['vendor/lib', 'vendor/obj'] )
+      File.write( 'vendor/obj/x.c', "int lib_value(void) { return #{value}; }\n" )
+      FileUtils.rm_f( 'vendor/lib/libx.a' )
+      system( 'gcc', '-c', 'vendor/obj/x.c', '-o', 'vendor/obj/x.o' ) or raise 'Could not compile the library'
+      system( 'ar', 'rcs', 'vendor/lib/libx.a', 'vendor/obj/x.o' ) or raise 'Could not archive the library'
+    end
+
+    def deploy_library_project!
+      @c.ceedling_appcmd_exec("new #{@proj_name}")
+
+      Dir.chdir @proj_name do
+        build_library!( 1 )
+        File.write( 'src/x.h', "int lib_value(void);\n" )
+        File.write( 'src/main.c', "#include \"x.h\"\nint main(void) { return lib_value(); }\n" )
+        File.write( 'test/test_lib.c', <<~C )
+          #include "unity.h"
+          #include "x.h"
+          void setUp(void) {}
+          void tearDown(void) {}
+          void test_value(void) { TEST_ASSERT_EQUAL_INT(1, lib_value()); }
+        C
+        @c.merge_project_yml_for_test( {
+          :project   => { :release_build => true },
+          :paths     => { :libraries => ['vendor/lib'] },
+          :libraries => { :test => ['x', 'm'], :release => ['x', 'm'] }
+        } )
+      end
+    end
+
+    it "relinks a test when a library it links is rebuilt under the same name" do
+      @c.with_context do
+        deploy_library_project!
+
+        Dir.chdir @proj_name do
+          baseline = @c.ceedling_build_exec("test:all")
+          expect(baseline).to match(/PASSED:\s+1/)
+
+          build_library!( 2 )
+          rebuild = @c.ceedling_build_exec("test:all")
+
+          expect(rebuild).to_not match(/^Compiling /)
+          expect(rebuild).to match(/^Linking test_lib\.out/)
+          expect(rebuild).to match(/FAILED:\s+1/)
+        end
+      end
+    end
+
+    it "relinks a release when a library it links is rebuilt under the same name" do
+      @c.with_context do
+        deploy_library_project!
+
+        Dir.chdir @proj_name do
+          @c.ceedling_build_exec("release")
+
+          build_library!( 2 )
+          rebuild = @c.ceedling_build_exec("release")
+
+          expect(rebuild).to_not match(/^Compiling /)
+          expect(rebuild).to match(/^Linking /)
+        end
+      end
+    end
+
+    it "relinks nothing when no library changed, whatever libraries it can't find" do
+      @c.with_context do
+        deploy_library_project!
+
+        Dir.chdir @proj_name do
+          @c.ceedling_build_exec("test:all")
+          @c.ceedling_build_exec("release")
+
+          tests = @c.ceedling_build_exec("test:all")
+          release = @c.ceedling_build_exec("release")
+
+          expect(tests).to_not match(/^Linking /)
+          expect(release).to_not match(/^Linking /)
+        end
+      end
+    end
+  end
+
   # :unity ↳ :shuffle_tests decides test-case execution order at runtime, inside
   # the compiled executable's own main() -- not at compile or link time. So an
   # executable delta builds correctly judge unchanged (same source, same flags,
@@ -528,7 +635,7 @@ ceedling_system_tests do
 
           rebuild = @c.ceedling_build_exec("test:all")
 
-          expect(rebuild).to match(/^Compiling TestSoilMoisture::SoilMoisture\.c/)
+          expect(rebuild).to match(/^Compiling test\/TestSoilMoisture::SoilMoisture\.c/)
           expect(rebuild).to match(/^Linking TestSoilMoisture\.out/)
           expect(rebuild).to match(/^Running TestSoilMoisture\.out/)
 
@@ -563,7 +670,7 @@ ceedling_system_tests do
 
           rebuild = @c.ceedling_build_exec("test:all")
 
-          expect(rebuild).to match(/^Compiling TestForestMonitor::ForestMonitor\.c/)
+          expect(rebuild).to match(/^Compiling test\/TestForestMonitor::ForestMonitor\.c/)
 
           expect(rebuild).to_not match(/^Compiling.*SoilMoisture/)
           expect(rebuild).to_not match(/^Compiling.*TemperatureSensor/)
@@ -631,11 +738,11 @@ ceedling_system_tests do
 
           rebuild = @c.ceedling_build_exec("test:all")
 
-          expect(rebuild).to match(/Preprocessing partial (header|source) for TestSoilMoisture/)
-          expect(rebuild).to match(/Preprocessing partial (header|source) for TestForestMonitor/)
-          expect(rebuild).to match(/Generating Partial implementation for TestSoilMoisture/)
-          expect(rebuild).to match(/Generating Partial implementation for TestForestMonitor/)
-          expect(rebuild).to match(/Generating Partial mockable interface for TestForestMonitor/)
+          expect(rebuild).to match(/Preprocessing partial (header|source) for test\/TestSoilMoisture/)
+          expect(rebuild).to match(/Preprocessing partial (header|source) for test\/TestForestMonitor/)
+          expect(rebuild).to match(/Generating Partial implementation for test\/TestSoilMoisture/)
+          expect(rebuild).to match(/Generating Partial implementation for test\/TestForestMonitor/)
+          expect(rebuild).to match(/Generating Partial mockable interface for test\/TestForestMonitor/)
 
           expect(rebuild).to match(/TESTED:\s+71/)
           expect(rebuild).to match(/PASSED:\s+71/)
@@ -704,6 +811,25 @@ ceedling_system_tests do
       end
     end
 
+    # main.c is unchanged, so only the list of objects shows the change. A stale artifact
+    # would still hold the analyzer's code.
+    it "relinks when a source leaves the build, failing at link without it" do
+      @c.with_context do
+        Dir.chdir "cipher_quest" do
+          enable_release_features!
+          @c.ceedling_build_exec("release")
+
+          @c.merge_project_yml_for_test({ :files => { :source => ['-:src/analyzer.c'] } })
+          rebuild = @c.ceedling_build_exec("release")
+
+          expect(@c.last_exit_status).to_not eq(0)
+          expect(rebuild).to_not match(/^Compiling main\.c/)
+          expect(rebuild).to match(/^Linking /)
+          expect(rebuild).to match(/undefined reference|Undefined symbols/)
+        end
+      end
+    end
+
     it "recompiles every object whose source #includes a changed header, via .d-file-derived transitive tracking, leaving unrelated objects untouched" do
       @c.with_context do
         Dir.chdir "cipher_quest" do

data/spec/system/gcov_deployment_spec.rb

@@ -53,6 +53,7 @@ ceedling_system_tests do
       test_case :project_with_gcov_untested_sources_compile_failure
       test_case :project_with_gcov_untested_sources_standalone_task
       test_case :project_with_gcov_untested_sources_compiled_with_matched_defines
+      test_case :project_with_gcov_untested_sources_sharing_a_name
       test_case :help_tasks_include_gcov
       test_case :create_html_report
       test_case :create_html_report_with_gcovr_custom_args