编译（llvm-gcc --emit-llvm -c -g get_sign.c）出现下面的警告:
the Potential incompatible plugin version. GCC: **. Expected: **
需要注意的是：klee只支持LLVM 2.9，版本要统一。
1.察看当前版本
llvm-gcc -v
要求gcc version 4.2.1 (Based on Apple Inc. build 5658)(LLVM build 2.9)
2.察看已安装版本
（ls /usr/bin/llvm-gcc* -ll）
~$ ls /usr/bin/gcc* -ll
lrwxrwxrwx 1 root root 7 3月 16 2015 /usr/bin/gcc -> gcc-4.6
-rwxr-xr-x 1 root root 306200 4月 16 2015 /usr/bin/gcc-4.6
3.安装好后修改软连接
我之前安装过4.6版本的llvm-gcc，按klee的安装方法，是需要4.2版本，我需要降低版本。
（sudo rm /usr/bin/gcc
sudo ln -s /usr/bin/gcc-3.4 /usr/bin/gcc）
~$ sudo ln -s /home/gfj/work/llvm-gcc-4.2-2.9-i686-linux/bin/llvm-gcc /usr/bin/llvm-gcc
~$ sudo ln -s /home/gfj/work/llvm-gcc-4.2-2.9-i686-linux/bin/llvm-g++ /usr/bin/llvm-g++
修改软链接不会卸载安装的任何版本，只是创建了一个快捷键。
修改完以后终于成功编译。