* src/SDCCval.h: fixed bug #1739860 - sdcc does not work correctly on some