[問題] SAT Make錯誤訊息

[BBSealion (海獅)]

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)
→ ckmarkoh:我的sat也會有這樣的錯誤耶...
→ BBSealion:目前為止不理他還沒發生問題... 只是很礙眼XD
推 timrau:最好改成const char* name = "....", 不然一旦嘗試寫它
→ timrau:會出事；for(;;)經過optimize後應該會和while(1)一樣
→ BBSealion:改 const 會出其他error耶 （不太敢亂動那邊的code...）
→ ric2k1:那行的確加上 const 會好，但是因為後來把 name 傳給
→ ric2k1:non-const argument 的 function, 所以 compile 會 error
→ ric2k1:you can either live with it, or fix all the way for
→ ric2k1:const...