昨天把开发环境升级到CentOS 6.3，居然搞定了很多问题，虽然不明白原因，而且近期也不太想搞清楚原因（主要是水平不够，搞不懂）。反正连splint也能用了，好兴奋啊。