[petsc-dev] clang --analyze messages on PETSc

[Lisandro Dalcin]

On 15 April 2015 at 20:51, Jed Brown <jed at jedbrown.org> wrote:
>> we can use an obvious approach like in Python sources:
>> https://hg.python.org/cpython/file/582e8e71f635/Objects/obmalloc.c#l53
>
> Yuck.  This can hide real off-by-one errors from Valgrind.

Indeed. I'm not asking to do this for all systems, only for those we
know malloc(0) returns NULL, and only if strictly required.


-- 
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