Comment 0 for bug 1827214

I suspect that EEschema's DRC has some bugs in the verification of Global Labels in particular those that do not have corresponding labels in other sheets.
Unfortunately I discovered that in the pcb that I made is missing a trace that connects two pins located in different sheets.
Looking at the attached images you can immediately notice that the READER1_LED label is incorrect (it should be LED_READER1 following the same logic as LED_READER2).
As you can see in another sheet are the corresponding LED_READER1 and LED_READER2.
Ok my mistake, the label is wrong, but something is not right anyway since the verification of individual labels is active among the DRC options.
I would at least expect a Warning that the label is unpaired but also that R23 has one of the pins disconnected ....

The project was done with the version of eschema a few months ago but the verification fails even with this nightly ..

Application: kicad
Version: 5.1.0-unknown-r15501-42d20cbd, debug build
Libraries:
    wxWidgets 3.0.4
    libcurl/7.61.1 OpenSSL/1.1.1b zlib/1.2.11 brotli/1.0.5 libidn2/2.1.1 libpsl/0.20.2 (+libidn2/2.0.5) libssh/0.8.7/openssl/zlib nghttp2/1.34.0
Platform: Linux 5.0.9-200.fc29.x86_64 x86_64, 64 bit, Little endian, wxGTK
Build Info:
    wxWidgets: 3.0.4 (wchar_t,wx containers,compatible with 2.8) GTK+ 3.24
    Boost: 1.66.0
    OpenCASCADE Community Edition: 6.9.1
    Curl: 7.61.1
    Compiler: GCC 8.3.1 with C++ ABI 1013

Build settings:
    USE_WX_GRAPHICS_CONTEXT=OFF
    USE_WX_OVERLAY=ON
    KICAD_SCRIPTING=ON
    KICAD_SCRIPTING_MODULES=ON
    KICAD_SCRIPTING_PYTHON3=ON
    KICAD_SCRIPTING_WXPYTHON=ON
    KICAD_SCRIPTING_WXPYTHON_PHOENIX=ON
    KICAD_SCRIPTING_ACTION_MENU=ON
    BUILD_GITHUB_PLUGIN=ON
    KICAD_USE_OCE=ON
    KICAD_USE_OCC=OFF
    KICAD_SPICE=ON