On Tue, 10 Jul 2012, I wrote:
> Yes. It seems that the .* optimization must be disabled if the .* is
> inside an atomic group, or if *PRUNE or *SKIP is present in the pattern.
> I will look at the code to see how best to do this.
I have committed a patch (r994) that I believe fixes this related set of
bugs. The ".* at start" optimizations are disabled if .* is inside an
atomic group or if *PRUNE or *SKIP is present in the pattern.