[問題] 如何正確修正 warning C6011 ?

[chrisdar ()]

開發平台(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)：
無。

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 106.1.10.98
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1532873922.A.345.html
推 eye5002003: #pragma warning(disable:6011)要是你相信自己的邏輯
→ eye5002003: 對指標轉型挺危險的,要注意big/little-endian問題
→ eye5002003: 以及memory alignment問題
推 Sidney0503: 要寫C++就不要用C的東西
→ Sidney0503: 該用nullptr不要用NULL,  指標轉型reinterpret_cast
→ Sidney0503: 最後回答你的問題本身  因為你的寫法有讀取空標的風險
→ Sidney0503: 所以會跳warning那行if要拆成巢狀兩層if
→ Sidney0503: if(Ptr != nullptr){
→ Sidney0503:     if((*(uint32_t *)Ptr) == 0){
→ Sidney0503: 指標沒指著東西本來就不該讀取  只是NULL幫你做了一層
→ Sidney0503: 保險   不代表這個操作是正確的

1. 因為我寫iostream 害各位認為我在寫C++ 我在此更正為C, 是程式碼移植的失誤 抱歉
2. 我已經拆成巢狀 VS的程式碼分析還是報 C6011 在該位置

#include <stdint.h>

void Func()
{
  for (uint8_t *Ptr = (uint8_t *) ( (long) 0xFE000);
       Ptr < (uint8_t *) ( (long) 0x100000);
       Ptr += 0x10) {
    if (Ptr != nullptr) {
      if ( (* (uint32_t *) Ptr) == 0) { // warning C6011
        break;
      }
    }
  }
}

int main()
{
  return 0;
}
※ 編輯: chrisdar (106.1.10.98), 07/30/2018 05:48:04
→ Sidney0503: https://msdn.microsoft.com/en-us/library/2ayc37ac
→ Sidney0503: 連MSDN都這樣寫......
→ Sidney0503: 你確定warning是那一行?
→ Sidney0503: 你照MSDN的code打會出現warning嗎?
→ Sidney0503: 不會是因為編譯時期決定的關係吧  因為你的程式不用
→ Sidney0503: run-time就可以知道結果  所以編譯時期就看到了
→ sharkbay: 跟 MSDN 寫的不同吧 這個有夾迴圈耶
→ chrisdar: 是註解那一行沒錯, 測了幾種不同的迴圈都有一樣的C6011
→ sarafciel: 你這個warning真正在警告的東西是那兩個直接塞的位置
→ sarafciel: 0xFE000跟0x100000，如果真的要這樣寫而且你也確定這
→ sarafciel: 兩個位置在你的機器上有效 那你就無視C6011吧
→ sarafciel: 如果函數參數可以動 你把那兩個address在外面硬轉傳進
→ sarafciel: 去Func 應該可以消這個warning 不過本質上也是騙就是XD
證實網友的看法:

#include <stdint.h>

void Func()
{
  for (uint8_t *Ptr = (uint8_t *) ( (long) 0xFE000);
#if 1
       true;
#else
       Ptr < (uint8_t *) ( (long) 0x100000);
#endif
       Ptr += 0x10) {
    if ( (Ptr != nullptr) && (*Ptr == 0)) { // ok, 如果#if 0  C6011又出來
      break;
    }
  }
}

int main()
{
  return 0;
}
※ 編輯: chrisdar (106.1.10.98), 07/30/2018 20:15:44

另外一種騙法 給各位參考

#include <stdint.h>

static inline void *DummyPointerConvert (void *Ptr)
{
  return Ptr;
}
#define WA_C6011(type,pointer)      \
                ((type *)(DummyPointerConvert ((void *)(pointer))))

void Func()
{
  for (uint8_t *Ptr = (uint8_t *) ( (long) 0xFE000);
       Ptr < WA_C6011 (uint8_t, 0x100000);
       Ptr += 0x10) {
    if ( (Ptr != nullptr) && (*Ptr == 0)) { // OK
      break;
    }
  }
}

int main()
{
  return 0;
}
※ 編輯: chrisdar (106.1.10.98), 07/30/2018 20:21:24
※ 編輯: chrisdar (106.1.10.98), 07/30/2018 20:24:17
推 sarafciel: 喔喔 原來只要終止條件有騙到就好XD