ilya-biryukov wrote:

> Yes, I was considering both options. It might be useful to see the full 
> number in case you want to diff between logs, and the diff would be 
> relatively small (people might care about zero diff vs. tiny diff), so I 
> decided to make this change not lose any information.

Makes sense, and given that it's a relatively infrequently surfaced feature, I 
think it's fine to change our mind on that later.


https://github.com/llvm/llvm-project/pull/114999
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to