VSCode C++ tools think uint32_t is not defined properly

[rossng]

I am trying to set up the VSCode C/C++ extension to work correctly with the code for my RP2040. I have got most aspects working now but, similar to this StackOverflow post, I can't figure out how to make the tooling acknowledge the definition of uint32_t.

My configuration looks something like this after trying to replicate the defines from the platform.txt, but it still doesn't work for uint32_t:

{
    "configurations": [
        {
            "name": "Mac",
            "includePath": [
                "~//Library/Arduino15/packages/rp2040/tools/**",
                "~/Library/Arduino15/packages/rp2040/hardware/rp2040/2.3.3/**",
                "${workspaceFolder}/**",
                "~/Documents/Arduino/libraries/**"
            ],
            "defines": [
                "ARDUINO_ARCH_RP2040",
                "ARDUINO_RASPBERRY_PI_PICO",
                "__CC_ARM",
                "ICO_CYW43_ARCH_THREADSAFE_BACKGROUND=1",
                "CYW43_LWIP=0",
                "LWIP_IGMP=1",
                "LWIP_CHECKSUM_CTRL_PER_NETIF=1",
                "CFG_TUSB_MCU=OPT_MCU_RP2040",
                "ARM_MATH_CM0_FAMILY",
                "ARM_MATH_CM0_PLUS",
                "LWIP_IPV6=0",
                "LWIP_IPV4=1"

            ],
            "compilerPath": "~/Library/Arduino15/packages/rp2040/tools/pqt-gcc/1.4.0-c-0196c06/bin/arm-none-eabi-g++",
            "cStandard": "gnu17",
            "cppStandard": "gnu++17",
            "intelliSenseMode": "macos-gcc-arm",
            "macFrameworkPath": [
                "${workspaceFolder}/**"
            ]
        }
    ],
    "version": 4
}

Any pointers in the right direction would be much appreciated!

[rossng]

I think I may have solved this by prioritising the rp2_common folder for includes:

"includePath": [
    "~//Library/Arduino15/packages/rp2040/tools/**",
    "~/Library/Arduino15/packages/rp2040/hardware/rp2040/2.3.3/pico-sdk/src/rp2_common/**",
    "~/Library/Arduino15/packages/rp2040/hardware/rp2040/2.3.3/**",
    "${workspaceFolder}/**",
    "~/Documents/Arduino/libraries/**"
],

Perhaps there is a less hacky method - but hopefully this helps someone figure it out in future.