Platformio sanity check?

When working with Marlin firmware, is platformio supposed to perform the same sanity checks as Arduino IDE does? I am asking because I have been trying to get platformio to upload Marlin firmware to my 3d printer. It looks like it succeeds, but it does not.
So I downloaded the same Marlin V2 code from github, loaded it into Arduino IDE, configured it line by line the same as with platformio, and did a verify. Arduino IDE found two errors that were not reported by platformio’s Build.
Is this a bug that should be reported, or are we on our own or things like this?