It is true that we dont recognise this compiler specific.
We worked recently on improving our analyzer to handle better compiler intrinsics that aren’t understood by the analyzer.
This work is going to be realeased as part of SonarQube 10.2 in two weeks. I suggest marking the inaccuracy as a false-positive and going back to this thread if you still face inaccuracy in the results after upgrading to 10.2.
Meanwhile, i will look on my side if we can support __flash and keep you updated.
I had a deeper look at our code, and it seems that we already support __flash with some specific compilers. Maybe we don’t with yours. To investigate further can you send me the analysis full debug logs and the build-wrapper or compilation database content?
I will send you a PM where you can upload the logs.
I can also confirm that the false-positive will definitely be fixed with 10.2, you can already experiment with the new version on Godbolt and see how we don’t raise error on __fast and we can understand the code.