Just to make sure you used version 4.0.0 from Small Device C Compiler (SDCC) - Browse /sdcc-win64/4.0.0 at SourceForge.net? Previous version is 3.8.4.
With that new compiler version, does the arduino-fade-all-pins example compile on Windows too, without code modifications?