1. Open a new folder (without a c_cpp_properties.json) and then do "Edit Configuration". I'm not sure what the timing is exactly, but I've hit this at least 2 times under "normal usage" of the extension.

Bug: Depending on your timing you may hit a command not found (#3160) or you get a blank config: