kaadam added a comment. Martin, thanks for the review. Yes, I need. May I ask you to commit this change? I use "Adam Kallai <kadam at inf.u-szeged.hu> in the git author line. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D69434/new/ https://reviews.llvm.org/D69434