作者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