開發平台(Platform): (Ex: Win10, Linux, ...)
Windows 10 or 7
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
Visual Studio Professional 2017 15.5.7
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
無，但是有啟動建置時啟用程式碼分析。
問題(Question)：
已經寫了 null 指標檢查還是無法通過程式碼分析，
後來亂試試到一個騙過編譯器的方法如方法二，但是還是覺得這樣騙很不直覺。
想請問關於這個案例如何正確的解決C6011的改法。
餵入的資料(Input)：
無。
預期的正確結果(Expected Output)：
編譯成功，無警告。
錯誤結果(Wrong Output)：
warning C6011: 正在取值 NULL 指標 'Ptr'。
程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔)
#include <iostream>
static inline void *DummyPointerConvert (void *Ptr)
{
return Ptr;
}
#define WA_C6011(type,pointer) ((type *)(DummyPointerConvert (pointer)))
void Func()
{
for (uint8_t *Ptr = (uint8_t *) ( (long) 0xFE000);
Ptr < (uint8_t *) ( (long) 0x100000);
Ptr += 0x10) {
if ( (Ptr != NULL) && ( (* (uint32_t *) Ptr) == 0)) { // warning C6011
break;
}
if (*WA_C6011(uint32_t, Ptr) == 0) { // OK
break;
}
}
}
int main()
{
return 0;
}
補充說明(Supplement)：
無。