On Sun, Jun 1, 2014 at 1:04 PM, Tommi <[email protected]> wrote:
> On 2014-06-01, at 13:48, Gábor Lehel <[email protected]> wrote: > > It would be possible in theory to teach the compiler about e.g. the > comparison operators on built-in integral types, which don't involve any > user code. It would only be appropriate as a warning rather than an error > due to the inherent incompleteness of the analysis and the arbitrariness of > what things to include in it. No opinion about whether it would be worth > doing. > > > Perhaps this kind of thing would be better suited for a separate tool that > could (contrary to a compiler) run this and other kinds of heuristics > without having to worry about blowing up compilation times. > > This is typically the domain of either static analysis or runtime instrumentation (branch coverage tools) in the arbitrary case, indeed. -- Matthieu > > _______________________________________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/listinfo/rust-dev > >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
