Assertion failure in getDef

[tluio]

When I used SVF to process Zephyr kernel codes, I found something wrong.
First, I ran cmake and got some files named build.make. Then I replaced 'clang' with 'wllvm' in these files and ran make.
Some warnings like

1. objcopy: CMakeFiles/lib__libc__minimal.dir/source/stdout/stZ4lxPb: Failed to find link section for section 36
2. /usr/bin/ld: warning: orphan section ’.llvm_bc' from ‘kernel/libkernel.a(idle.c.obj)' being placed in section ’.llvm_bc'.
   occurred. But I still got zephyr.elf. Then I ran extract-bc zephyr.elf and got zephyr.elf.bc.
   Finally, when I ran dvf -cxt -query=all -maxcxt=3 -flowbg=10000 -cxtbg=10000 zephyr.elf.bc, something wrong occurred.
   dvf: SVF-master/include/Util/VFG.h:311: NodeID VFG::getDef(const PAGNode*) const: Assertion `it!=PAGNodeToDefMap.end() && "PAG node does not have a definition??"' failed.

zephyr.elf.bc is avaliable at https://github.com/tluio/Zephyr_tmp.