Here is an old link
If the pairs are overlapped, they could be merged
It seems that the alingers do NOT care about the overlap and align them anyway. For tophat, it even allows negative insert input. It might not be relevant too much with RNAseq, where the read will be counted once toward the quantification. But, it will matter if one wants to detect peaks esp. display peaks on the broswer.