sentry: select_funcs.go:320: in-between filters didn't yield a constraint -- *errutil.leafError: in-between filters didn't yield a constraint (1) select_funcs.go:320: *withstack.withStack (top exception) *ass...

[cockroach-teamcity]

This issue was autofiled by Sentry. It represents a crash or reported error on a live cluster with telemetry enabled.

Sentry link: https://sentry.io/organizations/cockroach-labs/issues/3249578698/?referrer=webhooks_plugin

Panic message:

select_funcs.go:320: in-between filters didn't yield a constraint
--
*errutil.leafError: in-between filters didn't yield a constraint (1)
select_funcs.go:320: *withstack.withStack (top exception)
*assert.withAssertionFailure
(check the extra data payloads)

Stacktrace (expand for inline code snippets):

cockroach/pkg/sql/opt/xform/select_funcs.go

Lines 319 to 321 in c7cfac5

	if !ok {
	panic(errors.AssertionFailedf("in-between filters didn't yield a constraint"))
	}

in pkg/sql/opt/xform.(*CustomFuncs).GenerateConstrainedScans.func1

cockroach/pkg/sql/opt/xform/scan_index_iter.go

Lines 297 to 299 in c7cfac5

	f(index, filters, indexCols, isCovering, constProj)

in pkg/sql/opt/xform.(*scanIndexIter).ForEachStartingAfter

cockroach/pkg/sql/opt/xform/scan_index_iter.go

Lines 208 to 210 in c7cfac5

	func (it *scanIndexIter) ForEach(f enumerateIndexFunc) {
	it.ForEachStartingAfter(cat.PrimaryIndex-1, f)
	}

in pkg/sql/opt/xform.(*scanIndexIter).ForEach

cockroach/pkg/sql/opt/xform/select_funcs.go

Lines 229 to 231 in c7cfac5

	iter.Init(c.e.evalCtx, c.e.f, c.e.mem, &c.im, scanPrivate, explicitFilters, rejectInvertedIndexes)
	iter.ForEach(func(index cat.Index, filters memo.FiltersExpr, indexCols opt.ColSet, isCovering bool, constProj memo.ProjectionsExpr) {
	// We only consider the partition values when a particular index can otherwise

in pkg/sql/opt/xform.(*CustomFuncs).GenerateConstrainedScans
https://github.com/cockroachdb/cockroach/blob/c7cfac57476f06e3154b2fc38e77982a8bbc64c2/pkg/sql/opt/xform/explorer.og.go#L182-L184 in pkg/sql/opt/xform.(*explorer).exploreSelect
https://github.com/cockroachdb/cockroach/blob/c7cfac57476f06e3154b2fc38e77982a8bbc64c2/pkg/sql/opt/xform/explorer.og.go#L19-L21 in pkg/sql/opt/xform.(*explorer).exploreGroupMember

cockroach/pkg/sql/opt/xform/explorer.go

Lines 181 to 183 in c7cfac5

	if memberExplored := e.exploreGroupMember(state, member, i); memberExplored {
	// No more rules can ever match this expression, so skip it in

in pkg/sql/opt/xform.(*explorer).exploreGroup

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 467 to 469 in c7cfac5

	// other expressions in this group.
	if o.shouldExplore(required) && !o.explorer.exploreGroup(grp).fullyExplored {
	fullyOptimized = false

in pkg/sql/opt/xform.(*Optimizer).optimizeGroup

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 254 to 256 in c7cfac5

	case memo.RelExpr:
	state := o.optimizeGroup(t, required)
	return state.cost, state.fullyOptimized

in pkg/sql/opt/xform.(*Optimizer).optimizeExpr

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 509 to 511 in c7cfac5

	// Optimize the child with respect to those properties.
	childCost, childOptimized := o.optimizeExpr(member.Child(i), childRequired)

in pkg/sql/opt/xform.(*Optimizer).optimizeGroupMember

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 454 to 456 in c7cfac5

	// Optimize the group member with respect to the required properties.
	memberOptimized := o.optimizeGroupMember(state, member, required)

in pkg/sql/opt/xform.(*Optimizer).optimizeGroup

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 619 to 621 in c7cfac5

	// enforcer properties.
	innerState := o.optimizeGroup(member, memberProps)
	fullyOptimized = innerState.fullyOptimized

in pkg/sql/opt/xform.(*Optimizer).optimizeEnforcer

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 585 to 587 in c7cfac5

	memberProps := BuildChildPhysicalProps(o.mem, enforcer, 0, required)
	fullyOptimized = o.optimizeEnforcer(state, enforcer, required, member, memberProps)

in pkg/sql/opt/xform.(*Optimizer).enforceProps

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 494 to 496 in c7cfac5

	// of requiring one of the merge join children to be sorted.
	fullyOptimized = o.enforceProps(state, member, required)

in pkg/sql/opt/xform.(*Optimizer).optimizeGroupMember

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 454 to 456 in c7cfac5

	// Optimize the group member with respect to the required properties.
	memberOptimized := o.optimizeGroupMember(state, member, required)

in pkg/sql/opt/xform.(*Optimizer).optimizeGroup

cockroach/pkg/sql/opt/xform/optimizer.go

Lines 224 to 226 in c7cfac5

	rootProps := o.mem.RootProps()
	o.optimizeGroup(root, rootProps)

in pkg/sql/opt/xform.(*Optimizer).Optimize

cockroach/pkg/sql/plan_opt.go

Lines 524 to 526 in c7cfac5

	if _, isCanned := opc.p.stmt.AST.(*tree.CannedOptPlan); !isCanned {
	if _, err := opc.optimizer.Optimize(); err != nil {
	return nil, err

in pkg/sql.(*optPlanningCtx).buildExecMemo

cockroach/pkg/sql/plan_opt.go

Lines 193 to 195 in c7cfac5

	execMemo, err := opc.buildExecMemo(ctx)
	if err != nil {

in pkg/sql.(*planner).makeOptimizerPlan

cockroach/pkg/sql/conn_executor_exec.go

Lines 1259 to 1261 in c7cfac5

	func (ex *connExecutor) makeExecPlan(ctx context.Context, planner *planner) error {
	if err := planner.makeOptimizerPlan(ctx); err != nil {
	log.VEventf(ctx, 1, "optimizer plan failed: %v", err)

in pkg/sql.(*connExecutor).makeExecPlan

cockroach/pkg/sql/conn_executor_exec.go

Lines 971 to 973 in c7cfac5

	// between here and there needs to happen even if there's an error.
	err := ex.makeExecPlan(ctx, planner)
	// We'll be closing the plan manually below after execution; this

in pkg/sql.(*connExecutor).dispatchToExecutionEngine

cockroach/pkg/sql/conn_executor_exec.go

Lines 708 to 710 in c7cfac5

	if err := ex.dispatchToExecutionEngine(ctx, p, res); err != nil {
	stmtThresholdSpan.Finish()

in pkg/sql.(*connExecutor).execStmtInOpenState

cockroach/pkg/sql/conn_executor_exec.go

Lines 128 to 130 in c7cfac5

	} else {
	ev, payload, err = ex.execStmtInOpenState(ctx, parserStmt, prepared, pinfo, res)
	}

in pkg/sql.(*connExecutor).execStmt

cockroach/pkg/sql/conn_executor.go

Lines 1704 to 1706 in c7cfac5

	ev, payload, err = ex.execStmt(ctx, tcmd.Statement, nil /* prepared */, nil /* pinfo */, stmtRes)
	return err

in pkg/sql.(*connExecutor).execCmd.func1

cockroach/pkg/sql/conn_executor.go

Lines 1706 to 1708 in c7cfac5

	return err
	}()
	// Note: we write to ex.statsCollector.PhaseTimes, instead of ex.phaseTimes,

in pkg/sql.(*connExecutor).execCmd

cockroach/pkg/sql/conn_executor.go

Lines 1628 to 1630 in c7cfac5

	var err error
	if err = ex.execCmd(ex.Ctx()); err != nil {
	if errors.IsAny(err, io.EOF, errDrainingComplete) {

in pkg/sql.(*connExecutor).run

cockroach/pkg/sql/conn_executor.go

Lines 667 to 669 in c7cfac5

	}()
	return h.ex.run(ctx, s.pool, reserved, cancel)
	}

in pkg/sql.(*Server).ServeConn

cockroach/pkg/sql/pgwire/conn.go

Lines 647 to 649 in c7cfac5

	reservedOwned = false // We're about to pass ownership away.
	retErr = sqlServer.ServeConn(ctx, connHandler, reserved, cancelConn)
	}()

in pkg/sql/pgwire.(*conn).processCommandsAsync.func1
/usr/local/go/src/runtime/asm_amd64.s#L1370-L1372 in runtime.goexit

pkg/sql/opt/xform/select_funcs.go in pkg/sql/opt/xform.(*CustomFuncs).GenerateConstrainedScans.func1 at line 320
pkg/sql/opt/xform/scan_index_iter.go in pkg/sql/opt/xform.(*scanIndexIter).ForEachStartingAfter at line 298
pkg/sql/opt/xform/scan_index_iter.go in pkg/sql/opt/xform.(*scanIndexIter).ForEach at line 209
pkg/sql/opt/xform/select_funcs.go in pkg/sql/opt/xform.(*CustomFuncs).GenerateConstrainedScans at line 230
pkg/sql/opt/xform/explorer.og.go in pkg/sql/opt/xform.(*explorer).exploreSelect at line 183
pkg/sql/opt/xform/explorer.og.go in pkg/sql/opt/xform.(*explorer).exploreGroupMember at line 20
pkg/sql/opt/xform/explorer.go in pkg/sql/opt/xform.(*explorer).exploreGroup at line 182
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).optimizeGroup at line 468
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).optimizeExpr at line 255
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).optimizeGroupMember at line 510
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).optimizeGroup at line 455
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).optimizeEnforcer at line 620
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).enforceProps at line 586
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).optimizeGroupMember at line 495
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).optimizeGroup at line 455
pkg/sql/opt/xform/optimizer.go in pkg/sql/opt/xform.(*Optimizer).Optimize at line 225
pkg/sql/plan_opt.go in pkg/sql.(*optPlanningCtx).buildExecMemo at line 525
pkg/sql/plan_opt.go in pkg/sql.(*planner).makeOptimizerPlan at line 194
pkg/sql/conn_executor_exec.go in pkg/sql.(*connExecutor).makeExecPlan at line 1260
pkg/sql/conn_executor_exec.go in pkg/sql.(*connExecutor).dispatchToExecutionEngine at line 972
pkg/sql/conn_executor_exec.go in pkg/sql.(*connExecutor).execStmtInOpenState at line 709
pkg/sql/conn_executor_exec.go in pkg/sql.(*connExecutor).execStmt at line 129
pkg/sql/conn_executor.go in pkg/sql.(*connExecutor).execCmd.func1 at line 1705
pkg/sql/conn_executor.go in pkg/sql.(*connExecutor).execCmd at line 1707
pkg/sql/conn_executor.go in pkg/sql.(*connExecutor).run at line 1629
pkg/sql/conn_executor.go in pkg/sql.(*Server).ServeConn at line 668
pkg/sql/pgwire/conn.go in pkg/sql/pgwire.(*conn).processCommandsAsync.func1 at line 648
/usr/local/go/src/runtime/asm_amd64.s in runtime.goexit at line 1371

Tag	Value
Cockroach Release	v21.2.6
Cockroach SHA:	c7cfac5
Platform	darwin amd64
Distribution	CCL
Environment	v21.2.6
Command	demo
Go Version	``
# of CPUs
# of Goroutines

Jira issue: CRDB-15397

[rytaft]

Dup of #80820