On 2012-01-09, at 4:33 AM, Karsten Weiss wrote: > I've compiled(^1) Lustre 2.1.0 on CentOS 6.2 with Clang's static analyzer > (LLVM 3.0). Here's the bug summary to give you an idea of the result: > > Bug Type Quantity > ======================================================== > All Bugs 594 > > Dead code > Idempotent operation 11 > > Dead store > Dead assignment 76 > Dead increment 3 > Dead initialization 3 > > Logic error > Assigned value is garbage or undefined 9 > Called function pointer is null (null dereference) 27 > Dereference of null pointer 456 > Dereference of undefined pointer value 1 > Division by zero 3 > Function call argument is an uninitialized value 4 > Garbage return value 1 > > You can download the full result (annotated source code) here: > > http://dl.dropbox.com/u/1868416/lustre-2.1.0-scan-build.tar.bz2 > (I will delete this file in a couple of days)
Karsten, can you please split this tarball into a couple of smaller parts and attach it to http://bugs.whamcloud.com/browse/LU-871, the bug that I previously opened to track defects found by Clang/LLVM. The attachment size limit is 10MB, but splitting into logical parts by the defect type would be ideal. > To view the result extract the archive and point your web browser at: > > lustre-2.1.0-scan-build/2012-01-09-1/index.html > > Cheers, > Karsten > > ^1: Here's what I used: > > touch META > sh autogen.sh > scan-build ./configure --disable-server \ > --with-linux=/usr/src/kernels/2.6.32-220.2.1.el6.x86_64 \ > --with-linux-obj=/lib/modules/2.6.32-220.2.1.el6.x86_64/build/ \ > --with-downstream-release=wc1 > mkdir ./lustre-2.1.0-scan-build > scan-build -o ./lustre-2.1.0-scan-build/ make -j 24 > > -- > ___________________________________________creating IT solutions > Dipl.-Inf. Karsten Weiss science + computing ag > phone: +49 7071 9457 452 Hagellocher Weg 73 > teamline: +49 7071 9457 681 72070 Tuebingen > email: k.we...@science-computing.de www.science-computing.de > -- > Vorstand/Board of Management: > Dr. Bernd Finkbeiner, Dr. Roland Niemeier, > Dr. Arno Steitz, Dr. Ingrid Zech > Vorsitzender des Aufsichtsrats/ > Chairman of the Supervisory Board: > Philippe Miltin > Sitz/Registered Office: Tuebingen > Registergericht/Registration Court: Stuttgart > Registernummer/Commercial Register No.: HRB 382196 > > Cheers, Andreas -- Andreas Dilger Whamcloud, Inc. Principal Engineer http://www.whamcloud.com/ _______________________________________________ Lustre-discuss mailing list Lustre-discuss@lists.lustre.org http://lists.lustre.org/mailman/listinfo/lustre-discuss
