On Thu, Feb 13, 2014 at 9:48 AM, Mike Stump <mikest...@comcast.net> wrote: > On Feb 13, 2014, at 8:41 AM, Teresa Johnson <tejohn...@google.com> wrote: >> On Wed, Feb 12, 2014 at 2:03 PM, Xinliang David Li <davi...@google.com> >> wrote: > > [ extra lines deleted ] > >>> Should non comdat function be skipped? >> >> We warn in drop_profile if this is not a COMDAT, as we should only >> have this case and reach the call in that case. (See the check in >> drop_profile and the comments at the top of handle_missing_profile for >> more info) > > [ more extra lines deleted ] > > Can we edit out the extra lines when they get this large? Not doing that is > actually worse than top-posting.
Right -- gmail users probably won't notice the problem as extra lines are hidden for you. David
