Indexer cannot resolve uin8_t from sys/_stdint.h, but it can resolve int32_t from the same header
I am getting the error:
Description Resource Path Location Type Type 'uint8_t' could not be resolved aws_dev_mode_key_provisioning.c /aws_demos/application_code/common_demos/source line 221 Semantic Error
In that file, the types uint8_t and int32_t are. If I try and Open Declaration on the first one, I get Could not find symbol 'uint8_t' in index. The latter is the defined in the following file:
/usr/lib/sw4stm32/plugins/fr.ac6.mcu.externaltools.arm-none.linux64_1.16.0.201807130628/tools/st-gnu-arm-gcc-7-2017-q4-major_gdb-5_4-2016q3/arm-none-eabi/include/sys/_stdint.h
_stdint.h itself is included in:
/usr/lib/sw4stm32/plugins/fr.ac6.mcu.externaltools.arm-none.linux64_1.16.0.201807130628/tools/st-gnu-arm-gcc-7-2017-q4-major_gdb-5_4-2016q3/arm-none-eabi/include/stdint.h
It turns out that _stdint.h also contains the definitions of both uint8_t and -+int32_t''. This latter is properly detected and throws no errors, but the former one breaks.
I have already tried to rebuild the index.
Is this only a problem with the indexer?