| 55bffe1b | 13-Aug-2024 |
Pierre Jolivet <pierre@joliv.et> |
Fix UBSan and -Wtype-limits
src/dm/impls/plex/plexdistribute.c:953:22: warning: comparison is always false due to limited range of data type [-Wtype-limits] 953 | if ((PetscInt)ct < 0) {
Fix UBSan and -Wtype-limits
src/dm/impls/plex/plexdistribute.c:953:22: warning: comparison is always false due to limited range of data type [-Wtype-limits] 953 | if ((PetscInt)ct < 0) { | ^ src/dm/impls/plex/plex.c:9258:29: warning: comparison is always true due to limited range of data type [-Wtype-limits] 9258 | PetscCheck((PetscInt)ct >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Cell %" PetscInt_FMT " has no cell type", c); | ^~
show more ...
|