作者BBSealion (海獅)
看板EE_DSnP
標題[問題] SAT Make錯誤訊息
時間Fri Jan 14 10:28:28 2011
Proof.cpp: In member function ‘char* TempFiles::open(File&)’:
Proof.cpp:44: warning: deprecated conversion from string constant to ‘char*’
---
把sat相關檔案更新進去之後按make出現的錯誤訊息
1.更新makefile
2.include裡面放入sat.h
3.放入sat directory
---
應該是 char* name = "/tmp/fileXXXXXX"; 的問題（？）
warning可以不理他嗎？
---
題外話：
看到code裡面寫了個for(;;)
第一次看到這樣寫XD
這跟while（1）有差嗎？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.226.168
※ 編輯: BBSealion 來自: 218.168.226.168 (01/14 10:33)
1F：→ ckmarkoh:我的sat也會有這樣的錯誤耶... 01/14 15:02
2F：→ BBSealion:目前為止不理他還沒發生問題... 只是很礙眼XD 01/14 15:21
3F：推 timrau:最好改成const char* name = "....", 不然一旦嘗試寫它 01/14 22:11
4F：→ timrau:會出事；for(;;)經過optimize後應該會和while(1)一樣 01/14 22:11
5F：→ BBSealion:改 const 會出其他error耶 （不太敢亂動那邊的code...） 01/14 22:33
6F：→ ric2k1:那行的確加上 const 會好，但是因為後來把 name 傳給 01/14 23:07
7F：→ ric2k1:non-const argument 的 function, 所以 compile 會 error 01/14 23:07
8F：→ ric2k1:you can either live with it, or fix all the way for 01/14 23:07
9F：→ ric2k1:const... 01/14 23:07