rapidsai/cudf

[BUG] AST evaluation should check for bounds checking for column_reference

Geschlossen

#19.367 geöffnet am 14.07.2025

Auf GitHub ansehenContributor Guide
 (5 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C++ (735 Forks)batch import
buggood first issuelibcudf

Repository-Metriken

Stars
 (6.000 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 17T 21h) (230 gemergte PRs in 30 T)

Beschreibung

Describe the bug When column_reference is out of bounds, AST errors with C++ exception with description "vector::_M_range_check: __n (which is 2) >= this->size() (which is 2)" thrown in the test body. This error is hard to debug and narrow down exact error.

Steps/Code to reproduce bug Add following test to cpp/tests/ast/transform_tests.cpp

cpp
TEST_F(TransformTest, ColumnReferenceExceed)
{
  auto c_0   = column_wrapper<int32_t>{3, 20, 1, 50};
  auto c_1   = column_wrapper<int32_t>{10, 7, 20, 0};
  auto table = cudf::table_view{{c_0, c_1}};

  auto col_ref_0 = cudf::ast::column_reference(2);

  auto const& expected = c_0;
  auto result          = cudf::compute_column(table, col_ref_0);

  CUDF_TEST_EXPECT_COLUMNS_EQUAL(expected, result->view(), verbosity);
}

Expected behavior Consider bounds checking of column index before https://github.com/rapidsai/cudf/blob/ac03ea89ab835f407356874f41e90bd6a5a89654/cpp/src/ast/expression_parser.cpp#L223 and throw relevant error, or std::out_of_range

Additional context I encountered this bug while debugging filter evaluation for velox.

Contributor Guide

Research-Richtung
Untersuchen Sie die Datei `cpp/src/ast/expression parser.cpp` um Zeile 223 herum. Der Fehler besteht darin, dass bei einem Index von `column reference`, der außerhalb der Grenzen liegt, eine obskure `std::vector:: M range check` Ausnahme ausgelöst wird. Die Lösung besteht darin, den Spaltenindex vor dem Zugriff auf den Vektor gegen die Anzahl der Spalten in der Tabelle zu prüfen und eine aussagekräftigere `std::out of range` Ausnahme mit einer klaren Nachricht auszulösen. Sehen Sie sich an, wie die Anzahl der Spalten in der Tabellenansicht ermittelt wird, und fügen Sie entsprechend die Grenzprüfung hinzu.
Tech Stack
cpp
Domain
data
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Unter 1 Stunde
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
C++cuDF AST basics
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75