Error: "__digitalRead(): IO 19 is not set as GPIO.", even with example code

[PKeidel]

Hi, I am trying to use a C1101 to receive values from my water meters.

While testing with the most simple example "c1101_New_Receive_method_minimal" and the default pins, I got the following esp32 error:

[ 13][E][esp32-hal-gpio.c:190] __digitalRead(): IO 19 is not set as GPIO.

Is this problem already known?

I added some logging to "SmartRC-CC1101-Driver-Lib/ELECHOUSE_CC1101_SRC_DRV.cpp" and the pinMode() calls in ELECHOUSE_CC1101::SpiStart do look correct.

  Serial.printf("SpiStart() outputs= %d, %d, %d; inputs:%d\n", SCK_PIN, MOSI_PIN, SS_PIN, MISO_PIN);

Prints: SpiStart() outputs= 18, 23, 5; inputs:19

FQBN: esp32:esp32:esp32doit-devkit-v1:DebugLevel=info,EraseFlash=all
Using board 'esp32doit-devkit-v1' from platform in folder: ...
Using core 'esp32' from platform in folder: ...

Using library SmartRC-CC1101-Driver-Lib at version 2.5.7 in folder: /home/.../Arduino/libraries/SmartRC-CC1101-Driver-Lib 
Using library SPI at version 3.0.4 in folder: /home/.../.arduino15/packages/esp32/hardware/esp32/3.0.4/libraries/SPI 


esptool.py v4.6
Chip is ESP32-D0WDQ6 (revision v0.0)