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

看板C_and_CPP作者時間7年前 (2018/07/29 22:18), 7年前編輯推噓3(3推 0噓 22→)
留言25則, 5人參與, 7年前最新討論串1/1
開發平台(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
推
07/29 22:56, 7年前 , 1F
#pragma warning(disable:6011)要是你相信自己的邏輯
07/29 22:56, 1F
→
07/29 22:59, 7年前 , 2F
對指標轉型挺危險的,要注意big/little-endian問題
07/29 22:59, 2F
→
07/29 23:01, 7年前 , 3F
以及memory alignment問題
07/29 23:01, 3F
推
07/30 05:19, 7年前 , 4F
要寫C++就不要用C的東西
07/30 05:19, 4F
→
07/30 05:25, 7年前 , 5F
該用nullptr不要用NULL, 指標轉型reinterpret_cast
07/30 05:25, 5F
→
07/30 05:25, 7年前 , 6F
最後回答你的問題本身 因為你的寫法有讀取空標的風險
07/30 05:25, 6F
→
07/30 05:26, 7年前 , 7F
所以會跳warning那行if要拆成巢狀兩層if
07/30 05:26, 7F
→
07/30 05:32, 7年前 , 8F
if(Ptr != nullptr){
07/30 05:32, 8F
→
07/30 05:32, 7年前 , 9F
if((*(uint32_t *)Ptr) == 0){
07/30 05:32, 9F
→
07/30 05:34, 7年前 , 10F
指標沒指著東西本來就不該讀取 只是NULL幫你做了一層
07/30 05:34, 10F
→
07/30 05:35, 7年前 , 11F
保險 不代表這個操作是正確的
07/30 05:35, 11F
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
→
07/30 06:10, 7年前 , 12F
07/30 06:10, 12F
→
07/30 06:10, 7年前 , 13F
連MSDN都這樣寫......
07/30 06:10, 13F
→
07/30 06:12, 7年前 , 14F
你確定warning是那一行?
07/30 06:12, 14F
→
07/30 06:13, 7年前 , 15F
你照MSDN的code打會出現warning嗎?
07/30 06:13, 15F
→
07/30 06:15, 7年前 , 16F
不會是因為編譯時期決定的關係吧 因為你的程式不用
07/30 06:15, 16F
→
07/30 06:15, 7年前 , 17F
run-time就可以知道結果 所以編譯時期就看到了
07/30 06:15, 17F
→
07/30 06:33, 7年前 , 18F
跟 MSDN 寫的不同吧 這個有夾迴圈耶
07/30 06:33, 18F
→
07/30 08:36, 7年前 , 19F
是註解那一行沒錯, 測了幾種不同的迴圈都有一樣的C6011
07/30 08:36, 19F
→
07/30 10:09, 7年前 , 20F
你這個warning真正在警告的東西是那兩個直接塞的位置
07/30 10:09, 20F
→
07/30 10:11, 7年前 , 21F
0xFE000跟0x100000，如果真的要這樣寫而且你也確定這
07/30 10:11, 21F
→
07/30 10:13, 7年前 , 22F
兩個位置在你的機器上有效 那你就無視C6011吧
07/30 10:13, 22F
→
07/30 10:20, 7年前 , 23F
如果函數參數可以動 你把那兩個address在外面硬轉傳進
07/30 10:20, 23F
→
07/30 10:21, 7年前 , 24F
去Func 應該可以消這個warning 不過本質上也是騙就是XD
07/30 10:21, 24F
證實網友的看法: #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
推
07/30 22:40, 7年前 , 25F
喔喔 原來只要終止條件有騙到就好XD
07/30 22:40, 25F
‣ 更多 chrisdar 的文章
文章代碼(AID): #1RNSp2D5 (C_and_CPP)