CiYan OuYang
Results
1
issues of
CiYan OuYang
``` /home/ciyan/phd_proj/cheri-riscv/output/sdk/bin/clang -target riscv64-unknown-freebsd13 --sysroot=/home/ciyan/phd_proj/cheri-riscv/output/rootfs-riscv64-purecap -B/home/ciyan/phd_proj/cheri-riscv/output/sdk/bin -march=rv64imafdcxcheri -mabi=l64pc128d -mno-relax -Wall -Wextra -std=gnu11 -D_GNU_SOURCE=1 -MT picosat.o -MD -MP -MF picosat.Tpo -o picosat.o -c -O2 -pipe -Wno-error=unused-command-line-argument -Werror=implicit-function-declaration -Werror=implicit-function-declaration -Werror=format -Werror=incompatible-pointer-types -Werror=cheri-capability-misuse...