[ 0:00] + cat
[ 0:00] + cat
[ 0:00] + dioscc -g -c f.c prog.c
[ 0:00] prog.c:6:12: warning: implicit declaration of function 'f' is invalid in C99
[ 0:00]     assert(f(i) != 7); /* ERROR */
[ 0:00]            ^
[ 0:00] 1 warning generated.
[ 0:00] + '[' -s f.o ']'
[ 0:00] + '[' -s prog.o ']'
[ 0:00] + ar cr f.a f.o
[ 0:00] + '[' -s f.a ']'
[ 0:00] + dioscc prog.o f.a
[ 0:00] + '[' -s linked.bc ']'
[ 0:00] + '[' -s a.out ']'
[ 0:00] + objdump -h a.out
[ 0:00] + grep .llvmbc
[ 0:00]  32 .llvmbc       000116bc  0000000000000000  0000000000000000  0000332e  2**0
[ 0:00] + echo expect --result error --location prog.c:6
[ 0:00] + echo verify a.out
[ 0:00] + divcheck script
[ 0:00] loading bitcode … DiOS … LART … RR … constants … done
[ 0:03] booting … done
[ 0:04] states per second: 51.2821
[ 0:04] state count: 2
[ 0:04] mips: 0.25
[ 0:04] 
[ 0:04] error found: yes
[ 0:04] error trace: |
[ 0:04]   FAULT: prog.c:6: int main(): assertion 'f(i) != 7' failed
[ 0:04]   [0] FATAL: assertion failure in userspace
[ 0:04] 
[ 0:04] active stack:
[ 0:04]   - symbol: void __dios::FaultBase::handler<__dios::Context>(_VM_Fault, _VM_Frame*, void (*)())
[ 0:04]     location: /dios/sys/fault.hpp:118
[ 0:04]   - symbol: __dios_fault
[ 0:04]     location: /dios/arch/divm/fault.c:12
[ 0:04]   - symbol: __assert_fail
[ 0:04]     location: /dios/libc/_PDCLIB/assert.c:24
[ 0:04]   - symbol: main
[ 0:04]     location: prog.c:6
[ 0:04]   - symbol: __dios_start
[ 0:04]     location: /dios/libc/sys/start.cpp:94
[ 0:04] + check debris
[ 0:04] + test -e warning