add one more testcase from Natanael Copa
add one more testcase from Natanael Copa

hwoarang/uClibc,hjl-tools/uClibc,m-labs/uclibc-lm32,groundwater/uClibc,ysat0/uClibc,atgreen/uClibc-moxie,ndmsystems/uClibc,czankel/xtensa-uclibc,brgl/uclibc-ng,wbx-github/uclibc-ng,kraj/uclibc-ng,kraj/uclibc-ng,foss-xtensa/uClibc,ndmsystems/uClibc,gittup/uClibc,m-labs/uclibc-lm32,majek/uclibc-vx32,brgl/uclibc-ng,czankel/xtensa-uclibc,ddcc/klee-uclibc-0.9.33.2,ffainelli/uClibc,foss-for-synopsys-dwc-arc-processors/uClibc,ffainelli/uClibc,groundwater/uClibc,groundwater/uClibc,hjl-tools/uClibc,majek/uclibc-vx32,waweber/uclibc-clang,waweber/uclibc-clang,foss-for-synopsys-dwc-arc-processors/uClibc,ddcc/klee-uclibc-0.9.33.2,brgl/uclibc-ng,hjl-tools/uClibc,atgreen/uClibc-moxie,skristiansson/uClibc-or1k,mephi42/uClibc,kraj/uClibc,gittup/uClibc,kraj/uclibc-ng,m-labs/uclibc-lm32,brgl/uclibc-ng,skristiansson/uClibc-or1k,groundwater/uClibc,kraj/uClibc,waweber/uclibc-clang,ysat0/uClibc,hjl-tools/uClibc,majek/uclibc-vx32,ffainelli/uClibc,gittup/uClibc,ysat0/uClibc,OpenInkpot-archive/iplinux-uclibc,ddcc/klee-uclibc-0.9.33.2,atgreen/uClibc-moxie,mephi42/uClibc,hwoarang/uClibc,majek/uclibc-vx32,ffainelli/uClibc,ndmsystems/uClibc,czankel/xtensa-uclibc,m-labs/uclibc-lm32,czankel/xtensa-uclibc,ysat0/uClibc,foss-xtensa/uClibc,OpenInkpot-archive/iplinux-uclibc,atgreen/uClibc-moxie,wbx-github/uclibc-ng,kraj/uclibc-ng,hwoarang/uClibc,wbx-github/uclibc-ng,kraj/uClibc,skristiansson/uClibc-or1k,foss-for-synopsys-dwc-arc-processors/uClibc,mephi42/uClibc,skristiansson/uClibc-or1k,kraj/uClibc,foss-xtensa/uClibc,hjl-tools/uClibc,foss-for-synopsys-dwc-arc-processors/uClibc,OpenInkpot-archive/iplinux-uclibc,wbx-github/uclibc-ng,ddcc/klee-uclibc-0.9.33.2,OpenInkpot-archive/iplinux-uclibc,ndmsystems/uClibc,ffainelli/uClibc,foss-xtensa/uClibc,mephi42/uClibc,waweber/uclibc-clang,hwoarang/uClibc,gittup/uClibc,groundwater/uClibc