On 11/11/21 1:23 PM, Chris Peterson wrote:
On 2021-11-10 2:54 AM, Emilio Cobos Álvarez wrote:
 * I think the real issue here is the implicit narrowing conversions and integer promotions of C++, which we do have static analysis to prevent (even if static analysis isn't always perfect, neither are the diagnostics that compilers produce when you use signed types).

For a sense of scale, here are the number of mozilla-central warnings for some clang diagnostics (disabled by default) related to integer signedness and narrowing:

Is this something where it could be useful for searchfox to be able to help display these conversions/promotions as an optional display layer?  For example, inserting little emoji on implicit conversions?  This would be along the lines of the bug I filed to try and make NRVO (in)eligibility surfaced in searchfox as tracked at https://bugzilla.mozilla.org/show_bug.cgi?id=1709710.

The use-case would be that if you're looking at code in searchfox where you're already suspicious of the code / trying to manually figure out what the compiler would think of something, it could be nice to be able to turn this on when desired.  The information could also be made accessible in the navigation sidebar which will soon optionally start behaving perhaps a bit more like an inspector.

Andrew

--
You received this message because you are subscribed to the Google Groups 
"[email protected]" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/a/mozilla.org/d/msgid/dev-platform/bc3ad12d-fc76-0f4e-984a-5e233c2b13ec%40asutherland.org.

Reply via email to