https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111475
--- Comment #2 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- David, can you provide some help or suggestions here? I'm completely lost in the analyzer code. Thanks.
