Since these bugs were filed against the DTS 10.0 version of GDB, I'm setting the rhdts-10.0.0? flag.
Michal, what's the difference between this bug and https://bugzilla.redhat.com/show_bug.cgi?id=1884577 ?
David, sorry, it's a mistake. It should not be reported twice. *** This bug has been marked as a duplicate of bug 1884577 ***