I cannot reproduce this using SDCC built from current trunk on my Debian GNU/Linux testing system. I guess it was fixed with the recent sdcpp rebasing.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I cannot reproduce this using SDCC built from current trunk on my Debian GNU/Linux testing system. I guess it was fixed with the recent sdcpp rebasing.