I have not seen any issues with the new testcase for testing the two
libtool issues or the changes made to fix these issues. I have merged
the changes into master:
  
https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=0e1b33332429cd578367bd0ad420c065d5caf0ac

For now, I am going to close this bug. Thank you again, Sergey, for
fixing and documenting these issues!

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354