Merge pull request #11541 from Pokechu22/dsptool-no-redefine-label DSPTool: Fix missing error when redefining labels