• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

taosdata / TDengine / #4811

16 Oct 2025 11:40AM UTC coverage: 58.693% (+0.2%) from 58.518%
#4811

push

travis-ci

web-flow
fix(tref): increase TSDB_REF_OBJECTS from 100 to 2000 for improved reference handling (#33281)

139835 of 303532 branches covered (46.07%)

Branch coverage included in aggregate %.

211576 of 295200 relevant lines covered (71.67%)

16841075.92 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

77.57
/source/libs/parser/src/parCalcConst.c
1
/*
2
 * Copyright (c) 2019 TAOS Data, Inc. <jhtao@taosdata.com>
3
 *
4
 * This program is free software: you can use, redistribute, and/or modify
5
 * it under the terms of the GNU Affero General Public License, version 3
6
 * or later ("AGPL"), as published by the Free Software Foundation.
7
 *
8
 * This program is distributed in the hope that it will be useful, but WITHOUT
9
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
10
 * FITNESS FOR A PARTICULAR PURPOSE.
11
 *
12
 * You should have received a copy of the GNU Affero General Public License
13
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
14
 */
15

16
#include "functionMgt.h"
17
#include "parInt.h"
18
#include "scalar.h"
19
#include "ttime.h"
20

21
typedef struct SNodeReplaceContext {
22
  SNode* pTarget;
23
  SNode* pNew;
24
  bool   replaced;
25
} SNodeReplaceContext;
26

27
typedef struct SCalcConstContext {
28
  SParseContext*      pParseCxt;
29
  SNodeReplaceContext replaceCxt;
30
  SMsgBuf             msgBuf;
31
  int32_t             code;
32
} SCalcConstContext;
33

34
static int32_t calcConstQuery(SCalcConstContext* pCxt, SNode* pStmt, bool subquery);
35

36
static int32_t calcConstSubquery(SCalcConstContext* pCxt, STempTableNode* pTempTable) {
2,920✔
37
  return calcConstQuery(pCxt, pTempTable->pSubquery, true);
2,920✔
38
}
39

40
static int32_t calcConstNode(SNode** pNode) {
552,097✔
41
  if (NULL == *pNode) {
552,097✔
42
    return TSDB_CODE_SUCCESS;
420,957✔
43
  }
44

45
  SNode*  pNew = NULL;
131,140✔
46
  int32_t code = scalarCalculateConstants(*pNode, &pNew);
131,140✔
47
  if (TSDB_CODE_SUCCESS == code) {
131,201!
48
    *pNode = pNew;
131,201✔
49
  }
50
  return code;
131,201✔
51
}
52

53
static int32_t calcConstList(SNodeList* pList) {
424,925✔
54
  SNode* pNode = NULL;
424,925✔
55
  FOREACH(pNode, pList) {
436,106✔
56
    SNode*  pNew = NULL;
11,181✔
57
    int32_t code = scalarCalculateConstants(pNode, &pNew);
11,181✔
58
    if (TSDB_CODE_SUCCESS == code) {
11,181!
59
      REPLACE_NODE(pNew);
11,181✔
60
    } else {
61
      return code;
×
62
    }
63
  }
64
  return TSDB_CODE_SUCCESS;
424,925✔
65
}
66

67
static bool isCondition(const SNode* pNode) {
351,143✔
68
  if (QUERY_NODE_OPERATOR == nodeType(pNode)) {
351,143✔
69
    return nodesIsComparisonOp((const SOperatorNode*)pNode);
236,651✔
70
  }
71
  return (QUERY_NODE_LOGIC_CONDITION == nodeType(pNode));
114,492✔
72
}
73

74
static int32_t rewriteIsTrue(SNode* pSrc, SNode** pIsTrue) {
1,418✔
75
  SOperatorNode* pOp = NULL;
1,418✔
76
  int32_t        code = nodesMakeNode(QUERY_NODE_OPERATOR, (SNode**)&pOp);
1,418✔
77
  if (NULL == pOp) {
1,418!
78
    return code;
×
79
  }
80
  pOp->opType = OP_TYPE_IS_TRUE;
1,418✔
81
  pOp->pLeft = pSrc;
1,418✔
82
  pOp->node.resType.type = TSDB_DATA_TYPE_BOOL;
1,418✔
83
  pOp->node.resType.bytes = tDataTypes[TSDB_DATA_TYPE_BOOL].bytes;
1,418✔
84
  *pIsTrue = (SNode*)pOp;
1,418✔
85
  return TSDB_CODE_SUCCESS;
1,418✔
86
}
87

88
static EDealRes doRewriteCondition(SNode** pNode, void* pContext) {
1,460,898✔
89
  if (QUERY_NODE_LOGIC_CONDITION == nodeType(*pNode)) {
1,460,898✔
90
    SNode* pParam = NULL;
113,154✔
91
    FOREACH(pParam, ((SLogicConditionNode*)*pNode)->pParameterList) {
340,971✔
92
      if (!isCondition(pParam)) {
227,816✔
93
        SNode* pIsTrue = NULL;
1,386✔
94
        if (TSDB_CODE_SUCCESS != rewriteIsTrue(pParam, &pIsTrue)) {
1,386!
95
          ((SCalcConstContext*)pContext)->code = TSDB_CODE_OUT_OF_MEMORY;
×
96
          return DEAL_RES_ERROR;
×
97
        }
98
        REPLACE_NODE(pIsTrue);
1,387✔
99
      }
100
    }
101
  }
102
  return DEAL_RES_CONTINUE;
1,460,899✔
103
}
104

105
static int32_t rewriteCondition(SCalcConstContext* pCxt, SNode** pNode) {
123,329✔
106
  if (!isCondition(*pNode)) {
123,329✔
107
    return rewriteIsTrue(*pNode, pNode);
31✔
108
  }
109
  nodesRewriteExprPostOrder(pNode, doRewriteCondition, pCxt);
123,326✔
110
  return pCxt->code;
123,353✔
111
}
112

113
static int32_t calcConstCondition(SCalcConstContext* pCxt, SNode** pNode) {
379✔
114
  int32_t code = rewriteCondition(pCxt, pNode);
379✔
115
  if (TSDB_CODE_SUCCESS == code) {
379!
116
    code = calcConstNode(pNode);
379✔
117
  }
118
  return code;
379✔
119
}
120

121
static EDealRes rewriteCalcConstValue(SNode** pNode, void* pContext) {
4,708✔
122
  int32_t                code = TSDB_CODE_SUCCESS;
4,708✔
123
  int32_t                lino = 0;
4,708✔
124
  SCalcConstContext* pCtx = (SCalcConstContext*)pContext;
4,708✔
125

126
  if (QUERY_NODE_LOGIC_CONDITION == nodeType(*pNode)) {
4,708✔
127
    return DEAL_RES_CONTINUE;
921✔
128
  } else if (QUERY_NODE_OPERATOR == nodeType(*pNode)) {
3,787!
129
    SOperatorNode* pOp = (SOperatorNode*)*pNode;
3,787✔
130
    if (OP_TYPE_EQUAL == pOp->opType && (TSDB_DATA_TYPE_TIMESTAMP == ((SExprNode*)pOp->pLeft)->resType.type || TSDB_DATA_TYPE_TIMESTAMP == ((SExprNode*)pOp->pRight)->resType.type)) {
3,787!
131
      code = calcConstNode(&pOp->pLeft);
3,408✔
132
      if (TSDB_CODE_SUCCESS == code) {
3,408!
133
        code = calcConstNode(&pOp->pRight);
3,408✔
134
      }
135
      
136
      goto _end;
3,408✔
137
    }
138
  }
139

140
  if (TSDB_CODE_SUCCESS == code) {
379!
141
    code = calcConstCondition(pCtx, pNode);
379✔
142
  }
143
  
144
_end:
×
145

146
  if (code != TSDB_CODE_SUCCESS) {
3,787!
147
    qError("%s failed at line %d since %s", __func__, lino, tstrerror(code));
×
148
    return DEAL_RES_ERROR;
×
149
  }
150
  
151
  return DEAL_RES_IGNORE_CHILD;
3,787✔
152
}
153

154
static int32_t rewriteConditionForFromTable(SCalcConstContext* pCxt, SNode* pTable) {
200,509✔
155
  int32_t code = TSDB_CODE_SUCCESS;
200,509✔
156
  switch (nodeType(pTable)) {
200,509✔
157
    case QUERY_NODE_TEMP_TABLE: {
2,920✔
158
      code = calcConstSubquery(pCxt, (STempTableNode*)pTable);
2,920✔
159
      break;
2,920✔
160
    }
161
    case QUERY_NODE_JOIN_TABLE: {
2,796✔
162
      SJoinTableNode* pJoin = (SJoinTableNode*)pTable;
2,796✔
163
      SNode* pCond = NULL;
2,796✔
164
      code = rewriteConditionForFromTable(pCxt, pJoin->pLeft);
2,796✔
165
      if (TSDB_CODE_SUCCESS == code) {
2,796!
166
        code = rewriteConditionForFromTable(pCxt, pJoin->pRight);
2,796✔
167
      }
168
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
2,796!
169
        code = rewriteCondition(pCxt, &pJoin->pOnCond);
2,792✔
170
      }
171
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
2,796!
172
        nodesRewriteExpr(&pJoin->pOnCond, rewriteCalcConstValue, pCxt);
2,792✔
173
      }
174

175
/*
176
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
177
        code = nodesCloneNode(pJoin->pOnCond, &pCond);
178
      }
179
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
180
        code = calcConstCondition(pCxt, &pJoin->pOnCond);
181
      }
182
      if (TSDB_CODE_SUCCESS == code && pJoin->pOnCond && QUERY_NODE_VALUE == nodeType(pJoin->pOnCond)) {
183
        nodesDestroyNode(pJoin->pOnCond);
184
        pJoin->pOnCond = pCond;
185
        pCond = NULL;
186
      }
187
      nodesDestroyNode(pCond);
188
*/
189
      // todo empty table
190
      break;
2,796✔
191
    }
192
    default:
194,793✔
193
      break;
194,793✔
194
  }
195
  return code;
200,509✔
196
}
197

198
static int32_t calcConstFromTable(SCalcConstContext* pCxt, SNode* pTable) {
194,917✔
199
  return rewriteConditionForFromTable(pCxt, pTable);
194,917✔
200
}
201

202
static void rewriteConstCondition(SNode** pCond, bool* pAlwaysFalse) {
120,212✔
203
  if (QUERY_NODE_VALUE != nodeType(*pCond)) {
120,212✔
204
    return;
119,823✔
205
  }
206
  if (((SValueNode*)*pCond)->datum.b) {
389!
207
    nodesDestroyNode(*pCond);
391✔
208
    *pCond = NULL;
391✔
209
  } else {
210
    *pAlwaysFalse = true;
×
211
  }
212
}
213

214
static int32_t calcConstStmtCondition(SCalcConstContext* pCxt, SNode** pCond, bool* pAlwaysFalse) {
336,478✔
215
  if (NULL == *pCond) {
336,478✔
216
    return TSDB_CODE_SUCCESS;
216,319✔
217
  }
218

219
  int32_t code = rewriteCondition(pCxt, pCond);
120,159✔
220
  if (TSDB_CODE_SUCCESS == code) {
120,214!
221
    code = calcConstNode(pCond);
120,214✔
222
  }
223
  if (TSDB_CODE_SUCCESS == code) {
120,214!
224
    rewriteConstCondition(pCond, pAlwaysFalse);
120,215✔
225
  }
226
  return code;
120,214✔
227
}
228

229
static EDealRes doFindAndReplaceNode(SNode** pNode, void* pContext) {
×
230
  SCalcConstContext* pCxt = pContext;
×
231
  if (pCxt->replaceCxt.pTarget == *pNode) {
×
232
    char aliasName[TSDB_COL_NAME_LEN] = {0};
×
233
    tstrncpy(aliasName, ((SExprNode*)*pNode)->aliasName, TSDB_COL_NAME_LEN);
×
234
    nodesDestroyNode(*pNode);
×
235
    *pNode = NULL;
×
236
    pCxt->code = nodesCloneNode(pCxt->replaceCxt.pNew, pNode);
×
237
    if (NULL == *pNode) {
×
238
      return DEAL_RES_ERROR;
×
239
    }
240
    tstrncpy(((SExprNode*)*pNode)->aliasName, aliasName, TSDB_COL_NAME_LEN);
×
241

242
    pCxt->replaceCxt.replaced = true;
×
243
    return DEAL_RES_END;
×
244
  }
245
  return DEAL_RES_CONTINUE;
×
246
}
247

248
static int32_t findAndReplaceNode(SCalcConstContext* pCxt, SNode** pRoot, SNode* pTarget, SNode* pNew, bool strict) {
×
249
  pCxt->replaceCxt.pNew = pNew;
×
250
  pCxt->replaceCxt.pTarget = pTarget;
×
251

252
  nodesRewriteExprPostOrder(pRoot, doFindAndReplaceNode, pCxt);
×
253
  if (TSDB_CODE_SUCCESS == pCxt->code && strict && !pCxt->replaceCxt.replaced) {
×
254
    parserError("target replace node not found, %p", pTarget);
×
255
    return TSDB_CODE_PAR_INTERNAL_ERROR;
×
256
  }
257
  return pCxt->code;
×
258
}
259

260
static int32_t calcConstProject(SCalcConstContext* pCxt, SNode* pProject, bool dual, SNode** pNew) {
258,748✔
261
  SArray* pAssociation = NULL;
258,748✔
262
  
263
  if (NULL != ((SExprNode*)pProject)->pAssociation) {
258,748✔
264
    pAssociation = taosArrayDup(((SExprNode*)pProject)->pAssociation, NULL);
7,869✔
265
    if (NULL == pAssociation) {
7,869✔
266
      return terrno;
5✔
267
    }
268
  }
269

270
  char    aliasName[TSDB_COL_NAME_LEN] = {0}, srcTable[TSDB_TABLE_NAME_LEN] = {0};
258,743✔
271
  int32_t code = TSDB_CODE_SUCCESS;
258,743✔
272
  if (dual) {
258,743✔
273
    code = scalarCalculateConstantsFromDual(pProject, pNew);
2,946✔
274
  } else {
275
    code = scalarCalculateConstants(pProject, pNew);
255,797✔
276
  }
277
  if (TSDB_CODE_SUCCESS == code) {
258,792!
278
    if (QUERY_NODE_VALUE == nodeType(*pNew) && NULL != pAssociation) {
258,798✔
279
      int32_t size = taosArrayGetSize(pAssociation);
2,677✔
280
      for (int32_t i = 0; i < size; ++i) {
6,501✔
281
        SAssociationNode* pAssNode = taosArrayGet(pAssociation, i);
3,824✔
282
        SNode**           pCol = pAssNode->pPlace;
3,824✔
283
        if (((SExprNode*)pAssNode->pAssociationNode)->joinSrc) {
3,824✔
284
          //((SExprNode*)pAssNode->pAssociationNode)->constValue = true;
285
          continue;
2,089✔
286
        }
287
        
288
        if (*pCol == pAssNode->pAssociationNode) {
1,735!
289
          tstrncpy(aliasName, ((SExprNode*)*pCol)->aliasName, TSDB_COL_NAME_LEN);
1,735✔
290
          if (QUERY_NODE_COLUMN == nodeType(*pCol)) {
1,735!
291
            tstrncpy(srcTable, ((SColumnNode*)*pCol)->tableAlias, TSDB_TABLE_NAME_LEN);
1,735✔
292
          }
293
          SArray* pOrigAss = NULL;
1,735✔
294
          TSWAP(((SExprNode*)*pCol)->pAssociation, pOrigAss);
1,735✔
295
          nodesDestroyNode(*pCol);
1,735✔
296
          *pCol = NULL;
1,735✔
297
          code = nodesCloneNode(*pNew, pCol);
1,735✔
298
          if (TSDB_CODE_SUCCESS == code) {
1,735!
299
            tstrncpy(((SExprNode*)*pCol)->aliasName, aliasName, TSDB_COL_NAME_LEN);
1,735✔
300
            if (srcTable[0]) {
1,735!
301
              tstrncpy(((SExprNode*)*pCol)->srcTable, srcTable, TSDB_TABLE_NAME_LEN);
1,735✔
302
            }
303
            TSWAP(pOrigAss, ((SExprNode*)*pCol)->pAssociation);
1,735✔
304
          }
305
          taosArrayDestroy(pOrigAss);
1,735✔
306
          if (TSDB_CODE_SUCCESS != code) {
1,735!
307
            break;
×
308
          }
309
        } else {
310
          code = findAndReplaceNode(pCxt, pCol, pAssNode->pAssociationNode, *pNew, true);
×
311
          if (TSDB_CODE_SUCCESS != code) {
×
312
            break;
×
313
          }
314
        }
315
      }
316
    }
317
  }
318
  taosArrayDestroy(pAssociation);
258,792✔
319
  return code;
258,763✔
320
}
321

322
typedef struct SIsUselessColCtx {
323
  bool isUseless;
324
} SIsUselessColCtx;
325

326
EDealRes checkUselessCol(SNode* pNode, void* pContext) {
14,233✔
327
  SIsUselessColCtx* ctx = (SIsUselessColCtx*)pContext;
14,233✔
328
  if (QUERY_NODE_FUNCTION == nodeType(pNode) && !fmIsScalarFunc(((SFunctionNode*)pNode)->funcId) &&
14,233✔
329
      !fmIsPseudoColumnFunc(((SFunctionNode*)pNode)->funcId)) {
2,047✔
330
    ctx->isUseless = false;
1,856✔
331
    return DEAL_RES_END;
1,856✔
332
  }
333

334
  return DEAL_RES_CONTINUE;
12,377✔
335
}
336

337
static bool isUselessCol(SExprNode* pProj) {
12,161✔
338
  SIsUselessColCtx ctx = {.isUseless = true};
12,161✔
339
  nodesWalkExpr((SNode*)pProj, checkUselessCol, (void*)&ctx);
12,161✔
340
  if (!ctx.isUseless) {
12,161✔
341
    return false;
1,856✔
342
  }
343
  return NULL == ((SExprNode*)pProj)->pAssociation;
10,305✔
344
}
345

346
static int32_t createConstantValue(SValueNode** ppNode) {
15✔
347
  SValueNode* pVal = NULL;
15✔
348
  int32_t     code = nodesMakeNode(QUERY_NODE_VALUE, (SNode**)&pVal);
15✔
349
  if (NULL == pVal) {
15!
350
    return code;
×
351
  }
352
  pVal->node.resType.type = TSDB_DATA_TYPE_INT;
15✔
353
  pVal->node.resType.bytes = tDataTypes[TSDB_DATA_TYPE_INT].bytes;
15✔
354
  const int32_t val = 1;
15✔
355
  code = nodesSetValueNodeValue(pVal, (void*)&val);
15✔
356
  if (TSDB_CODE_SUCCESS == code) {
15!
357
    pVal->translate = true;
15✔
358
    *ppNode = pVal;
15✔
359
  } else {
360
    nodesDestroyNode((SNode*)pVal);
×
361
  }
362
  return code;
15✔
363
}
364

365
static int32_t calcConstProjections(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
144,475✔
366
  SNode* pProj = NULL;
144,475✔
367
  WHERE_EACH(pProj, pSelect->pProjectionList) {
406,865!
368
    if (subquery && !pSelect->isDistinct && !pSelect->tagScan && isUselessCol((SExprNode*)pProj) && (pSelect->pFromTable && nodeType(pSelect->pFromTable) != QUERY_NODE_VIRTUAL_TABLE)) {
262,382!
369
      ERASE_NODE(pSelect->pProjectionList);
3,606✔
370
      continue;
3,606✔
371
    }
372
    SNode*  pNew = NULL;
258,776✔
373
    int32_t code = calcConstProject(pCxt, pProj, (NULL == pSelect->pFromTable), &pNew);
258,776✔
374
    if (TSDB_CODE_SUCCESS == code) {
258,776!
375
      REPLACE_NODE(pNew);
258,784✔
376
    } else {
377
      return code;
×
378
    }
379
    WHERE_NEXT;
258,784✔
380
  }
381
  if (0 == LIST_LENGTH(pSelect->pProjectionList)) {
144,483!
382
    SValueNode* pVal = NULL;
×
383
    int32_t     code = createConstantValue(&pVal);
×
384
    if (TSDB_CODE_SUCCESS == code) {
15!
385
      return nodesListStrictAppend(pSelect->pProjectionList, (SNode*)pVal);
15✔
386
    }
387
  }
388
  return TSDB_CODE_SUCCESS;
144,505✔
389
}
390

391
static int32_t calcConstGroupBy(SCalcConstContext* pCxt, SSelectStmt* pSelect) {
141,552✔
392
  int32_t code = calcConstList(pSelect->pGroupByList);
141,552✔
393
  if (TSDB_CODE_SUCCESS == code) {
141,565!
394
    SNode* pNode = NULL;
141,573✔
395
    FOREACH(pNode, pSelect->pGroupByList) {
142,982✔
396
      bool   hasNotValue = false;
1,409✔
397
      SNode* pGroupPara = NULL;
1,409✔
398
      FOREACH(pGroupPara, ((SGroupingSetNode*)pNode)->pParameterList) {
1,424!
399
        if (QUERY_NODE_VALUE != nodeType(pGroupPara)) {
1,409✔
400
          hasNotValue = true;
1,394✔
401
          break;
1,394✔
402
        }
403
      }
404
      if (!hasNotValue) {
1,409✔
405
        if (pSelect->hasAggFuncs) {
15!
406
          ERASE_NODE(pSelect->pGroupByList);
×
407
        } else {
408
          if (!cell->pPrev && !cell->pNext) continue;
15!
409
          ERASE_NODE(pSelect->pGroupByList);
×
410
        }
411
      }
412
    }
413
  }
414
  return code;
141,565✔
415
}
416

417
static int32_t calcConstSelectWithoutFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
2,944✔
418
  return calcConstProjections(pCxt, pSelect, subquery);
2,944✔
419
}
420

421
static int32_t calcConstSelectFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
141,542✔
422
  int32_t code = calcConstFromTable(pCxt, pSelect->pFromTable);
141,542✔
423
  if (TSDB_CODE_SUCCESS == code && QUERY_NODE_TEMP_TABLE == nodeType(pSelect->pFromTable) &&
141,536!
424
      ((STempTableNode*)pSelect->pFromTable)->pSubquery != NULL &&
559!
425
      QUERY_NODE_SELECT_STMT == nodeType(((STempTableNode*)pSelect->pFromTable)->pSubquery) &&
559✔
426
      ((SSelectStmt*)((STempTableNode*)pSelect->pFromTable)->pSubquery)->isEmptyResult) {
517!
427
    pSelect->isEmptyResult = true;
×
428
    return code;
×
429
  }
430
  if (pSelect->mixSysTableAndActualTable) {
141,536!
431
    return code;
×
432
  }
433
  if (TSDB_CODE_SUCCESS == code) {
141,536✔
434
    code = calcConstProjections(pCxt, pSelect, subquery);
141,519✔
435
  }
436
  if (TSDB_CODE_SUCCESS == code) {
141,592✔
437
    code = calcConstStmtCondition(pCxt, &pSelect->pWhere, &pSelect->isEmptyResult);
141,578✔
438
  }
439
  if (TSDB_CODE_SUCCESS == code) {
141,595✔
440
    code = calcConstList(pSelect->pPartitionByList);
141,587✔
441
  }
442
  if (TSDB_CODE_SUCCESS == code) {
141,590✔
443
    code = calcConstNode(&pSelect->pWindow);
141,583✔
444
  }
445
  if (TSDB_CODE_SUCCESS == code) {
141,592✔
446
    code = calcConstGroupBy(pCxt, pSelect);
141,560✔
447
  }
448
  if (TSDB_CODE_SUCCESS == code) {
141,590✔
449
    code = calcConstStmtCondition(pCxt, &pSelect->pHaving, &pSelect->isEmptyResult);
141,580✔
450
  }
451
  if (TSDB_CODE_SUCCESS == code) {
141,601✔
452
    code = calcConstList(pSelect->pOrderByList);
141,590✔
453
  }
454
  if (TSDB_CODE_SUCCESS == code) {
141,599✔
455
    code = calcConstNode(&pSelect->pFill);
141,589✔
456
  }
457
  if (TSDB_CODE_SUCCESS == code) {
141,601✔
458
    code = calcConstNode(&pSelect->pTimeRange);
141,591✔
459
  }
460
  return code;
141,592✔
461
}
462

463
static int32_t calcConstSelect(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
144,483✔
464
  if (NULL == pSelect->pFromTable) {
144,483✔
465
    return calcConstSelectWithoutFrom(pCxt, pSelect, subquery);
2,944✔
466
  } else {
467
    return calcConstSelectFrom(pCxt, pSelect, subquery);
141,539✔
468
  }
469
}
470

471
static int32_t calcConstDelete(SCalcConstContext* pCxt, SDeleteStmt* pDelete) {
53,352✔
472
  int32_t code = calcConstFromTable(pCxt, pDelete->pFromTable);
53,352✔
473
  if (TSDB_CODE_SUCCESS == code) {
53,357!
474
    code = calcConstStmtCondition(pCxt, &pDelete->pWhere, &pDelete->deleteZeroRows);
53,358✔
475
  }
476
  if (code == TSDB_CODE_SUCCESS && pDelete->timeRange.skey > pDelete->timeRange.ekey) {
53,352!
477
    pDelete->deleteZeroRows = true;
×
478
  }
479
  return code;
53,352✔
480
}
481

482
static int32_t calcConstInsert(SCalcConstContext* pCxt, SInsertStmt* pInsert) {
31✔
483
  int32_t code = calcConstFromTable(pCxt, pInsert->pTable);
31✔
484
  if (TSDB_CODE_SUCCESS == code) {
31!
485
    code = calcConstQuery(pCxt, pInsert->pQuery, false);
31✔
486
  }
487
  return code;
31✔
488
}
489

490
static SNodeList* getChildProjection(SNode* pStmt) {
24✔
491
  switch (nodeType(pStmt)) {
24!
492
    case QUERY_NODE_SELECT_STMT:
24✔
493
      return ((SSelectStmt*)pStmt)->pProjectionList;
24✔
494
    case QUERY_NODE_SET_OPERATOR:
×
495
      return ((SSetOperator*)pStmt)->pProjectionList;
×
496
    default:
×
497
      break;
×
498
  }
499
  return NULL;
×
500
}
501

502
static void eraseSetOpChildProjection(SSetOperator* pSetOp, int32_t index) {
6✔
503
  SNodeList* pLeftProjs = getChildProjection(pSetOp->pLeft);
6✔
504
  (void)nodesListErase(pLeftProjs, nodesListGetCell(pLeftProjs, index));
6✔
505
  if (QUERY_NODE_SET_OPERATOR == nodeType(pSetOp->pLeft)) {
6!
506
    eraseSetOpChildProjection((SSetOperator*)pSetOp->pLeft, index);
×
507
  }
508
  SNodeList* pRightProjs = getChildProjection(pSetOp->pRight);
6✔
509
  (void)nodesListErase(pRightProjs, nodesListGetCell(pRightProjs, index));
6✔
510
  if (QUERY_NODE_SET_OPERATOR == nodeType(pSetOp->pRight)) {
6!
511
    eraseSetOpChildProjection((SSetOperator*)pSetOp->pRight, index);
×
512
  }
513
}
6✔
514

515
typedef struct SNotRefByOrderByCxt {
516
  SColumnNode* pCol;
517
  bool         hasThisCol;
518
} SNotRefByOrderByCxt;
519

520
static EDealRes notRefByOrderByImpl(SNode* pNode, void* pContext) {
×
521
  if (QUERY_NODE_COLUMN == nodeType(pNode)) {
×
522
    SNotRefByOrderByCxt* pCxt = (SNotRefByOrderByCxt*)pContext;
×
523
    if (nodesEqualNode((SNode*)pCxt->pCol, pNode)) {
×
524
      pCxt->hasThisCol = true;
×
525
      return DEAL_RES_END;
×
526
    }
527
  }
528
  return DEAL_RES_CONTINUE;
×
529
}
530

531
static bool notRefByOrderBy(SColumnNode* pCol, SNodeList* pOrderByList) {
69✔
532
  SNotRefByOrderByCxt cxt = {.pCol = pCol, .hasThisCol = false};
69✔
533
  nodesWalkExprs(pOrderByList, notRefByOrderByImpl, &cxt);
69✔
534
  return !cxt.hasThisCol;
69✔
535
}
536

537
static bool isDistinctSubQuery(SNode* pNode) {
12✔
538
  if (NULL == pNode) {
12!
539
    return false;
×
540
  }
541
  switch (nodeType(pNode)) {
12!
542
    case QUERY_NODE_SELECT_STMT:
12✔
543
      return ((SSelectStmt*)pNode)->isDistinct;
12✔
544
    case QUERY_NODE_SET_OPERATOR:
×
545
      return isDistinctSubQuery((((SSetOperator*)pNode)->pLeft)) || isDistinctSubQuery((((SSetOperator*)pNode)->pLeft));
×
546
    default:
×
547
      break;
×
548
  }
549
  return false;
×
550
}
551

552
static bool isSetUselessCol(SSetOperator* pSetOp, int32_t index, SExprNode* pProj) {
69✔
553
  if (!isUselessCol(pProj)) {
69✔
554
    return false;
63✔
555
  }
556

557
  SNodeList* pLeftProjs = getChildProjection(pSetOp->pLeft);
6✔
558
  if (!isUselessCol((SExprNode*)nodesListGetNode(pLeftProjs, index)) || isDistinctSubQuery(pSetOp->pLeft)) {
6!
559
    return false;
×
560
  }
561

562
  SNodeList* pRightProjs = getChildProjection(pSetOp->pRight);
6✔
563
  if (!isUselessCol((SExprNode*)nodesListGetNode(pRightProjs, index)) || isDistinctSubQuery(pSetOp->pLeft)) {
6!
564
    return false;
×
565
  }
566

567
  return true;
6✔
568
}
569

570
static int32_t calcConstSetOpProjections(SCalcConstContext* pCxt, SSetOperator* pSetOp, bool subquery) {
209✔
571
  if (subquery && pSetOp->opType == SET_OP_TYPE_UNION) {
209✔
572
    return TSDB_CODE_SUCCESS;
6✔
573
  }
574
  int32_t index = 0;
203✔
575
  SNode*  pProj = NULL;
203✔
576
  WHERE_EACH(pProj, pSetOp->pProjectionList) {
668!
577
    if (subquery && notRefByOrderBy((SColumnNode*)pProj, pSetOp->pOrderByList) &&
534!
578
        isSetUselessCol(pSetOp, index, (SExprNode*)pProj)) {
69✔
579
      ERASE_NODE(pSetOp->pProjectionList);
6✔
580
      eraseSetOpChildProjection(pSetOp, index);
6✔
581
      continue;
6✔
582
    }
583
    ++index;
459✔
584
    WHERE_NEXT;
459✔
585
  }
586
  if (0 == LIST_LENGTH(pSetOp->pProjectionList)) {
203!
587
    SValueNode* pVal = NULL;
×
588
    int32_t     code = createConstantValue(&pVal);
×
589
    if (TSDB_CODE_SUCCESS == code) {
×
590
      return nodesListStrictAppend(pSetOp->pProjectionList, (SNode*)pVal);
×
591
    }
592
  }
593
  return TSDB_CODE_SUCCESS;
203✔
594
}
595

596
static int32_t calcConstSetOperator(SCalcConstContext* pCxt, SSetOperator* pSetOp, bool subquery) {
209✔
597
  int32_t code = calcConstSetOpProjections(pCxt, pSetOp, subquery);
209✔
598
  if (TSDB_CODE_SUCCESS == code) {
209!
599
    code = calcConstQuery(pCxt, pSetOp->pLeft, false);
209✔
600
  }
601
  if (TSDB_CODE_SUCCESS == code) {
209!
602
    code = calcConstQuery(pCxt, pSetOp->pRight, false);
209✔
603
  }
604
  if (TSDB_CODE_SUCCESS == code) {
209!
605
    code = calcConstList(pSetOp->pOrderByList);
209✔
606
  }
607
  return code;
209✔
608
}
609

610
static int32_t calcConstQuery(SCalcConstContext* pCxt, SNode* pStmt, bool subquery) {
244,435✔
611
  int32_t code = TSDB_CODE_SUCCESS;
244,435✔
612
  switch (nodeType(pStmt)) {
244,435✔
613
    case QUERY_NODE_SELECT_STMT:
144,514✔
614
      code = calcConstSelect(pCxt, (SSelectStmt*)pStmt, subquery);
144,514✔
615
      break;
144,526✔
616
    case QUERY_NODE_EXPLAIN_STMT:
412✔
617
      code = calcConstQuery(pCxt, ((SExplainStmt*)pStmt)->pQuery, subquery);
412✔
618
      break;
412✔
619
    case QUERY_NODE_SET_OPERATOR: {
209✔
620
      code = calcConstSetOperator(pCxt, (SSetOperator*)pStmt, subquery);
209✔
621
      break;
209✔
622
    }
623
    case QUERY_NODE_DELETE_STMT:
53,353✔
624
      code = calcConstDelete(pCxt, (SDeleteStmt*)pStmt);
53,353✔
625
      break;
53,352✔
626
    case QUERY_NODE_INSERT_STMT:
31✔
627
      code = calcConstInsert(pCxt, (SInsertStmt*)pStmt);
31✔
628
      break;
31✔
629
    default:
45,916✔
630
      break;
45,916✔
631
  }
632
  return code;
244,446✔
633
}
634

635
static bool isEmptyResultQuery(SNode* pStmt) {
241,247✔
636
  bool isEmptyResult = false;
241,247✔
637
  switch (nodeType(pStmt)) {
241,247✔
638
    case QUERY_NODE_SELECT_STMT:
141,356✔
639
      isEmptyResult = ((SSelectStmt*)pStmt)->isEmptyResult;
141,356✔
640
      break;
141,356✔
641
    case QUERY_NODE_EXPLAIN_STMT:
412✔
642
      isEmptyResult = isEmptyResultQuery(((SExplainStmt*)pStmt)->pQuery);
412✔
643
      break;
412✔
644
    case QUERY_NODE_SET_OPERATOR: {
164✔
645
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
164✔
646
      isEmptyResult = isEmptyResultQuery(pSetOp->pLeft);
164✔
647
      if (isEmptyResult) {
164!
648
        isEmptyResult = isEmptyResultQuery(pSetOp->pRight);
×
649
      }
650
      break;
164✔
651
    }
652
    case QUERY_NODE_DELETE_STMT:
53,352✔
653
      isEmptyResult = ((SDeleteStmt*)pStmt)->deleteZeroRows;
53,352✔
654
      break;
53,352✔
655
    default:
45,963✔
656
      break;
45,963✔
657
  }
658
  return isEmptyResult;
241,247✔
659
}
660

661
static void resetProjectNullTypeImpl(SNodeList* pProjects) {
141,234✔
662
  SNode* pProj = NULL;
141,234✔
663
  FOREACH(pProj, pProjects) {
378,982!
664
    SExprNode* pExpr = (SExprNode*)pProj;
237,748✔
665
    if (TSDB_DATA_TYPE_NULL == pExpr->resType.type) {
237,748✔
666
      pExpr->resType.type = TSDB_DATA_TYPE_VARCHAR;
18✔
667
      pExpr->resType.bytes = VARSTR_HEADER_SIZE;
18✔
668
    }
669
  }
670
}
141,234✔
671

672
static void resetProjectNullType(SNode* pStmt) {
240,961✔
673
  switch (nodeType(pStmt)) {
240,961✔
674
    case QUERY_NODE_SELECT_STMT:
141,083✔
675
      resetProjectNullTypeImpl(((SSelectStmt*)pStmt)->pProjectionList);
141,083✔
676
      break;
141,103✔
677
    case QUERY_NODE_SET_OPERATOR: {
164✔
678
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
164✔
679
      resetProjectNullTypeImpl(pSetOp->pProjectionList);
164✔
680
      if (pSetOp->pLeft)
164!
681
        resetProjectNullType(pSetOp->pLeft);
164✔
682
      if (pSetOp->pRight)
164!
683
        resetProjectNullType(pSetOp->pRight);
164✔
684
      break;
164✔
685
    }
686
    default:
99,714✔
687
      break;
99,714✔
688
  }
689
}
240,981✔
690

691
int32_t calculateConstant(SParseContext* pParseCxt, SQuery* pQuery) {
240,507✔
692
  SCalcConstContext cxt = {.pParseCxt = pParseCxt,
240,507✔
693
                           .msgBuf.buf = pParseCxt->pMsg,
240,507✔
694
                           .msgBuf.len = pParseCxt->msgLen,
240,507✔
695
                           .code = TSDB_CODE_SUCCESS};
696

697
  int32_t code = calcConstQuery(&cxt, pQuery->pRoot, false);
240,507✔
698
  if (TSDB_CODE_SUCCESS == code) {
240,693!
699
    resetProjectNullType(pQuery->pRoot);
240,699✔
700
    if (isEmptyResultQuery(pQuery->pRoot)) {
240,668✔
701
      pQuery->execMode = QUERY_EXEC_MODE_EMPTY_RESULT;
13✔
702
    }
703
  }
704
  return code;
240,686✔
705
}
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc