See also #130742 (comment).

Do not set inbounds flag on GEPs for the following pattern:

((sizeof(long int) < sizeof(void *) ? (base) : (char *)0) +
   (((pointer) - (sizeof(long int) < sizeof(void *) ? (base) : (char *)0) +
     (align_mask)) &
    ~(align_mask)));

1. Handle the pointer addition case (char *0) + idx
2. Handle expr ((sizeof(long int) < sizeof(void *) ? (base) : (char *)0) in isUnderlyingBasePointerConstantNull.