On 13 April 2015 at 01:20, Barry Smith <[email protected]> wrote: > > Lisandro, > > More code analysis is always good. We'll figure something out for this > particular beast. Note that petscsys.h already uses #if > defined(__has_attribute) so maybe we can use > > #if defined(__has_attribute) > # if __has_attribute(analyzer_noreturn) > > instead of the #ifdef __clang_analyzer__? > > Barry > > Of course I couldn't resist playing with the code analyzer on PETSc as soon > as I got your email :-) >
https://bitbucket.org/petsc/petsc/branch/dalcinl/clang-analyzer -- Lisandro Dalcin ============ Research Scientist Computer, Electrical and Mathematical Sciences & Engineering (CEMSE) Numerical Porous Media Center (NumPor) King Abdullah University of Science and Technology (KAUST) http://numpor.kaust.edu.sa/ 4700 King Abdullah University of Science and Technology al-Khawarizmi Bldg (Bldg 1), Office # 4332 Thuwal 23955-6900, Kingdom of Saudi Arabia http://www.kaust.edu.sa Office Phone: +966 12 808-0459
