Static Analysis at Mozilla, @must_override

2010-07-12 Thread bearophile
A video, Large-Scale Static Analysis of C++ code at Mozilla, video, July 9th, 2010: http://vimeo.com/12614626 From the video I have seen that Mozilla developers have felt the need to add this new attribute in C++ (implemented in JavaScript through their hydra plug-ins and used with a define

Re: Static Analysis at Mozilla, @must_override

2010-07-12 Thread Andrei Alexandrescu
On 07/12/2010 07:15 AM, bearophile wrote: A video, Large-Scale Static Analysis of C++ code at Mozilla, video, July 9th, 2010: http://vimeo.com/12614626 From the video I have seen that Mozilla developers have felt the need to add this new attribute in C++ (implemented in JavaScript through

Re: Static Analysis at Mozilla, @must_override

2010-07-12 Thread Michel Fortin
On 2010-07-12 10:36:05 -0400, Andrei Alexandrescu seewebsiteforem...@erdani.org said: On 07/12/2010 07:15 AM, bearophile wrote: A video, Large-Scale Static Analysis of C++ code at Mozilla, video, July 9th, 2010: http://vimeo.com/12614626 From the video I have seen that Mozilla developers