Merge pull request #11 from soburi/copilot/sub-pr-4-please-work

Fix ADC array gating mismatch between adc_pin_gpios and io_channels

Author: soburi

cores/arduino/zephyrCommon.cpp

@@ -329,6 +329,14 @@ struct adc_channel_cfg channel_cfg[ARRAY_SIZE(arduino_analog_pins)] = {
 #endif
 };
 
+#if DT_NODE_HAS_PROP(DT_PATH(zephyr_user), io_channels) && \
+    DT_NODE_HAS_PROP(DT_PATH(zephyr_user), adc_pin_gpios)
+#if DT_PROP_LEN(DT_PATH(zephyr_user), io_channels) != \
+    DT_PROP_LEN(DT_PATH(zephyr_user), adc_pin_gpios)
+#error "io_channels and adc_pin_gpios must have the same length"
+#endif
+#endif
+
 size_t analog_pin_index(pin_size_t pinNumber) {
   for(size_t i=0; i<ARRAY_SIZE(arduino_analog_pins); i++) {
     if (arduino_analog_pins[i] == pinNumber) {