I compile the attached source file (which is a fragment of a USB stack) with this command:
$ sdcc --std-sdcc99 -mpic16 -p18f4550 --fomit-frame-pointer --obanksel=1 --optimize-cmp --optimize-df --use-non-free -c test.c
I get the message "ignoring blacklisted flow" twice. I don't know what this means, and the generated assembly file appears to be correct, but the message is rather worrying.
The example source code