+ if (warning.pointer_arith) {
+ if (is_type_atomic(points_to, ATOMIC_TYPE_VOID)) {
+ warningf(source_position,
+ "pointer of type '%T' used in arithmetic",
+ orig_pointer_type);
+ } else if (is_type_function(points_to)) {
+ warningf(source_position,
+ "pointer to a function '%T' used in arithmetic",
+ orig_pointer_type);
+ }
+ }