ESP32 pin checking macro contraints error

[S5NC]

ESP32 pins_arduino.h definition, tested on ESP32-S3 Dev Module on Arduino IDE

The macro here checks if the pin are less than a number.

#define analogInputToDigitalPin(p)  (((p)<NUM_ANALOG_INPUTS)?(analogChannelToDigitalPin(p)):-1)
#define digitalPinToInterrupt(p)    ((((uint8_t)digitalPinToGPIONumber(p))<NUM_DIGITAL_PINS)?digitalPinToGPIONumber(p):NOT_AN_INTERRUPT)
#define digitalPinHasPWM(p)         (((uint8_t)digitalPinToGPIONumber(p))<NUM_DIGITAL_PINS)

If I pass 20, which is an ADC pin, into analogInputToDigitalPin(p) it would return -1 due to the first check as 20 is not less than NUM_ANALOG_INPUTS which is 20.
If I pass 19, which is an ADC pin, into analogInputToDigitalPin(p) it would return 20.

This is unlike digitalPinToInterrupt, which returns the same pin number.

There is also no check that the value is greater or equal to 0

These functions assume that all pins with the same type of functions are all sequentially located.

I don't see GPIO 20 referred to as pin 19 in this table

[S5NC]

The check for a valid GPIO pin for the ESP32-S3, which means any GPIO pin, should be

#define digitalPinCheck(p) ((0 <= p <= 21 || 26 <= p <= 48) ? (p) : -1)