"global label not connected anywhere" with conflicting global labels

Description

When a net has two different global labels on it (netA and netB), connectivity picks one for the net name (say netA).

If the other global label netB (the one not picked for the net name) is connected elsewhere in the schematic, ERC reports that netB is not connected anywhere else in the schematic. I think it needs to be in a different sheet to reproduce. See the attached project.

This is just an ERC bug, the connectivity is correct.

discussed on the forum here

Steps to reproduce

1. open attached project
2. run ERC

global_label_erc_bug.zip

KiCad Version

Application: KiCad Schematic Editor (64-bit)

Version: (6.0.0), release build

Libraries:
	wxWidgets 3.1.5
	libcurl/7.78.0-DEV Schannel zlib/1.2.11

Platform: Windows 10 (build 19042), 64-bit edition, 64 bit, Little endian, wxMSW

Build Info:
	Date: Dec 24 2021 19:17:02
	wxWidgets: 3.1.5 (wchar_t,wx containers)
	Boost: 1.76.0
	OCC: 7.5.0
	Curl: 7.78.0-DEV
	ngspice: 35
	Compiler: Visual C++ 1929 without C++ ABI

Build settings:
	KICAD_USE_OCC=ON
	KICAD_SPICE=ON