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

[Barry Smith]

When I run clang --analyze on PETSc on getting warnings of the type below, any idea how to deal with them? Clearly these things are usually not null pointers or PETSc would crash everywhere.

   Thanks

  Barry


12 warnings generated.
          CC arch-debug/obj/src/mat/impls/aij/seq/bas/basfactor.o
          CC arch-debug/obj/src/mat/impls/aij/seq/bas/spbas.o
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/bas/basfactor.c:33:11: warning: Array access (from variable 'ui') results in a null pointer dereference
    ui[0] = 0;
    ~~    ^
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/bas/basfactor.c:43:39: warning: Dereference of null pointer
      for (j=0; j<ncols; j++) *cols++ = *aj++;
                              ~~~~~~~~^~~~~~~
2 warnings generated.
          CC arch-debug/obj/src/mat/impls/aij/seq/csrperm/csrperm.o
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/csrperm/csrperm.c:190:23: warning: Array access (from variable 'rows_in_bucket') results in a null pointer dereference
    rows_in_bucket[i] = 0;
    ~~~~~~~~~~~~~~    ^
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/csrperm/csrperm.c:194:5: warning: Array access (from variable 'rows_in_bucket') results in a null pointer dereference
    rows_in_bucket[nz]++;
    ^~~~~~~~~~~~~~~~~~~~
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/csrperm/csrperm.c:221:27: warning: Array access (via field 'xgroup') results in a null pointer dereference
  aijperm->xgroup[ngroup] = istart;
           ~~~~~~         ^
3 warnings generated.
          CC arch-debug/obj/src/mat/impls/aij/seq/ftn-auto/aijf.o
          CC arch-debug/obj/src/mat/impls/aij/seq/crl/crl.o
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/crl/crl.c:62:20: warning: Array access (from variable 'acols') results in a null pointer dereference
      acols[j*m+i] = *aa++;
      ~~~~~        ^
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/crl/crl.c:63:20: warning: Array access (from variable 'icols') results in a null pointer dereference
      icols[j*m+i] = *aj++;
      ~~~~~        ^
/Users/barrysmith/Src/PETSc/src/mat/impls/aij/seq/crl/crl.c:66:20: warning: Array access (from variable 'acols') results in a null pointer dereference
      acols[j*m+i] = 0.0;