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

taosdata / TDengine / #4756

25 Sep 2025 05:58AM UTC coverage: 58.829% (+0.2%) from 58.63%
#4756

push

travis-ci

web-flow
enh: taos command line support '-uroot' on windows (#33055)

135574 of 293169 branches covered (46.24%)

Branch coverage included in aggregate %.

204395 of 284720 relevant lines covered (71.79%)

18747092.16 hits per line

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

77.3
/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,877✔
37
  return calcConstQuery(pCxt, pTempTable->pSubquery, true);
2,877✔
38
}
39

40
static int32_t calcConstNode(SNode** pNode) {
537,986✔
41
  if (NULL == *pNode) {
537,986✔
42
    return TSDB_CODE_SUCCESS;
409,475✔
43
  }
44

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

53
static int32_t calcConstList(SNodeList* pList) {
412,878✔
54
  SNode* pNode = NULL;
412,878✔
55
  FOREACH(pNode, pList) {
421,406✔
56
    SNode*  pNew = NULL;
8,528✔
57
    int32_t code = scalarCalculateConstants(pNode, &pNew);
8,528✔
58
    if (TSDB_CODE_SUCCESS == code) {
8,528!
59
      REPLACE_NODE(pNew);
8,528✔
60
    } else {
61
      return code;
×
62
    }
63
  }
64
  return TSDB_CODE_SUCCESS;
412,878✔
65
}
66

67
static bool isCondition(const SNode* pNode) {
349,505✔
68
  if (QUERY_NODE_OPERATOR == nodeType(pNode)) {
349,505✔
69
    return nodesIsComparisonOp((const SOperatorNode*)pNode);
234,804✔
70
  }
71
  return (QUERY_NODE_LOGIC_CONDITION == nodeType(pNode));
114,701✔
72
}
73

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

88
static EDealRes doRewriteCondition(SNode** pNode, void* pContext) {
1,453,234✔
89
  if (QUERY_NODE_LOGIC_CONDITION == nodeType(*pNode)) {
1,453,234✔
90
    SNode* pParam = NULL;
113,373✔
91
    FOREACH(pParam, ((SLogicConditionNode*)*pNode)->pParameterList) {
341,626!
92
      if (!isCondition(pParam)) {
228,250✔
93
        SNode* pIsTrue = NULL;
1,369✔
94
        if (TSDB_CODE_SUCCESS != rewriteIsTrue(pParam, &pIsTrue)) {
1,369!
95
          ((SCalcConstContext*)pContext)->code = TSDB_CODE_OUT_OF_MEMORY;
×
96
          return DEAL_RES_ERROR;
×
97
        }
98
        REPLACE_NODE(pIsTrue);
1,373✔
99
      }
100
    }
101
  }
102
  return DEAL_RES_CONTINUE;
1,453,237✔
103
}
104

105
static int32_t rewriteCondition(SCalcConstContext* pCxt, SNode** pNode) {
121,258✔
106
  if (!isCondition(*pNode)) {
121,258✔
107
    return rewriteIsTrue(*pNode, pNode);
30✔
108
  }
109
  nodesRewriteExprPostOrder(pNode, doRewriteCondition, pCxt);
121,241✔
110
  return pCxt->code;
121,280✔
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) {
196,593✔
155
  int32_t code = TSDB_CODE_SUCCESS;
196,593✔
156
  switch (nodeType(pTable)) {
196,593✔
157
    case QUERY_NODE_TEMP_TABLE: {
2,877✔
158
      code = calcConstSubquery(pCxt, (STempTableNode*)pTable);
2,877✔
159
      break;
2,877✔
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:
190,920✔
193
      break;
190,920✔
194
  }
195
  return code;
196,593✔
196
}
197

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

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

214
static int32_t calcConstStmtCondition(SCalcConstContext* pCxt, SNode** pCond, bool* pAlwaysFalse) {
328,551✔
215
  if (NULL == *pCond) {
328,551✔
216
    return TSDB_CODE_SUCCESS;
210,461✔
217
  }
218

219
  int32_t code = rewriteCondition(pCxt, pCond);
118,090✔
220
  if (TSDB_CODE_SUCCESS == code) {
118,140!
221
    code = calcConstNode(pCond);
118,141✔
222
  }
223
  if (TSDB_CODE_SUCCESS == code) {
118,139!
224
    rewriteConstCondition(pCond, pAlwaysFalse);
118,139✔
225
  }
226
  return code;
118,143✔
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) {
277,964✔
261
  SArray* pAssociation = NULL;
277,964✔
262
  
263
  if (NULL != ((SExprNode*)pProject)->pAssociation) {
277,964✔
264
    pAssociation = taosArrayDup(((SExprNode*)pProject)->pAssociation, NULL);
7,833✔
265
    if (NULL == pAssociation) {
7,833!
266
      return terrno;
×
267
    }
268
  }
269

270
  char    aliasName[TSDB_COL_NAME_LEN] = {0}, srcTable[TSDB_TABLE_NAME_LEN] = {0};
277,982✔
271
  int32_t code = TSDB_CODE_SUCCESS;
277,982✔
272
  if (dual) {
277,982✔
273
    code = scalarCalculateConstantsFromDual(pProject, pNew);
2,935✔
274
  } else {
275
    code = scalarCalculateConstants(pProject, pNew);
275,047✔
276
  }
277
  if (TSDB_CODE_SUCCESS == code) {
278,042✔
278
    if (QUERY_NODE_VALUE == nodeType(*pNew) && NULL != pAssociation) {
278,040✔
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);
278,042✔
319
  return code;
278,004✔
320
}
321

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

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

334
  return DEAL_RES_CONTINUE;
11,882✔
335
}
336

337
static bool isUselessCol(SExprNode* pProj) {
11,670✔
338
  SIsUselessColCtx ctx = {.isUseless = true};
11,670✔
339
  nodesWalkExpr((SNode*)pProj, checkUselessCol, (void*)&ctx);
11,670✔
340
  if (!ctx.isUseless) {
11,670✔
341
    return false;
1,853✔
342
  }
343
  return NULL == ((SExprNode*)pProj)->pAssociation;
9,817✔
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) {
140,463✔
366
  SNode* pProj = NULL;
140,463✔
367
  WHERE_EACH(pProj, pSelect->pProjectionList) {
422,084!
368
    if (subquery && !pSelect->isDistinct && !pSelect->tagScan && isUselessCol((SExprNode*)pProj) && (pSelect->pFromTable && nodeType(pSelect->pFromTable) != QUERY_NODE_VIRTUAL_TABLE)) {
281,616!
369
      ERASE_NODE(pSelect->pProjectionList);
3,605✔
370
      continue;
3,605✔
371
    }
372
    SNode*  pNew = NULL;
278,011✔
373
    int32_t code = calcConstProject(pCxt, pProj, (NULL == pSelect->pFromTable), &pNew);
278,011✔
374
    if (TSDB_CODE_SUCCESS == code) {
278,011!
375
      REPLACE_NODE(pNew);
278,016✔
376
    } else {
377
      return code;
×
378
    }
379
    WHERE_NEXT;
278,016✔
380
  }
381
  if (0 == LIST_LENGTH(pSelect->pProjectionList)) {
140,468!
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;
140,490✔
389
}
390

391
static int32_t calcConstGroupBy(SCalcConstContext* pCxt, SSelectStmt* pSelect) {
137,553✔
392
  int32_t code = calcConstList(pSelect->pGroupByList);
137,553✔
393
  if (TSDB_CODE_SUCCESS == code) {
137,562!
394
    SNode* pNode = NULL;
137,570✔
395
    FOREACH(pNode, pSelect->pGroupByList) {
139,034✔
396
      bool   hasNotValue = false;
1,464✔
397
      SNode* pGroupPara = NULL;
1,464✔
398
      FOREACH(pGroupPara, ((SGroupingSetNode*)pNode)->pParameterList) {
1,479!
399
        if (QUERY_NODE_VALUE != nodeType(pGroupPara)) {
1,464✔
400
          hasNotValue = true;
1,449✔
401
          break;
1,449✔
402
        }
403
      }
404
      if (!hasNotValue) {
1,464✔
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;
137,562✔
415
}
416

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

421
static int32_t calcConstSelectFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
137,540✔
422
  int32_t code = calcConstFromTable(pCxt, pSelect->pFromTable);
137,540✔
423
  if (TSDB_CODE_SUCCESS == code && QUERY_NODE_TEMP_TABLE == nodeType(pSelect->pFromTable) &&
137,551!
424
      ((STempTableNode*)pSelect->pFromTable)->pSubquery != NULL &&
516!
425
      QUERY_NODE_SELECT_STMT == nodeType(((STempTableNode*)pSelect->pFromTable)->pSubquery) &&
516✔
426
      ((SSelectStmt*)((STempTableNode*)pSelect->pFromTable)->pSubquery)->isEmptyResult) {
474!
427
    pSelect->isEmptyResult = true;
×
428
    return code;
×
429
  }
430
  if (pSelect->mixSysTableAndActualTable) {
137,551!
431
    return code;
×
432
  }
433
  if (TSDB_CODE_SUCCESS == code) {
137,551✔
434
    code = calcConstProjections(pCxt, pSelect, subquery);
137,533✔
435
  }
436
  if (TSDB_CODE_SUCCESS == code) {
137,591✔
437
    code = calcConstStmtCondition(pCxt, &pSelect->pWhere, &pSelect->isEmptyResult);
137,575✔
438
  }
439
  if (TSDB_CODE_SUCCESS == code) {
137,595✔
440
    code = calcConstList(pSelect->pPartitionByList);
137,583✔
441
  }
442
  if (TSDB_CODE_SUCCESS == code) {
137,589✔
443
    code = calcConstNode(&pSelect->pWindow);
137,572✔
444
  }
445
  if (TSDB_CODE_SUCCESS == code) {
137,600✔
446
    code = calcConstGroupBy(pCxt, pSelect);
137,563✔
447
  }
448
  if (TSDB_CODE_SUCCESS == code) {
137,584✔
449
    code = calcConstStmtCondition(pCxt, &pSelect->pHaving, &pSelect->isEmptyResult);
137,560✔
450
  }
451
  if (TSDB_CODE_SUCCESS == code) {
137,606✔
452
    code = calcConstList(pSelect->pOrderByList);
137,583✔
453
  }
454
  if (TSDB_CODE_SUCCESS == code) {
137,607✔
455
    code = calcConstNode(&pSelect->pFill);
137,584✔
456
  }
457
  if (TSDB_CODE_SUCCESS == code) {
137,607✔
458
    code = calcConstNode(&pSelect->pTimeRange);
137,585✔
459
  }
460
  return code;
137,584✔
461
}
462

463
static int32_t calcConstSelect(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
140,478✔
464
  if (NULL == pSelect->pFromTable) {
140,478✔
465
    return calcConstSelectWithoutFrom(pCxt, pSelect, subquery);
2,933✔
466
  } else {
467
    return calcConstSelectFrom(pCxt, pSelect, subquery);
137,545✔
468
  }
469
}
470

471
static int32_t calcConstDelete(SCalcConstContext* pCxt, SDeleteStmt* pDelete) {
53,435✔
472
  int32_t code = calcConstFromTable(pCxt, pDelete->pFromTable);
53,435✔
473
  if (TSDB_CODE_SUCCESS == code) {
53,443!
474
    code = calcConstStmtCondition(pCxt, &pDelete->pWhere, &pDelete->deleteZeroRows);
53,446✔
475
  }
476
  if (code == TSDB_CODE_SUCCESS && pDelete->timeRange.skey > pDelete->timeRange.ekey) {
53,443!
477
    pDelete->deleteZeroRows = true;
×
478
  }
479
  return code;
53,443✔
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) {
197✔
571
  if (subquery && pSetOp->opType == SET_OP_TYPE_UNION) {
197✔
572
    return TSDB_CODE_SUCCESS;
6✔
573
  }
574
  int32_t index = 0;
191✔
575
  SNode*  pProj = NULL;
191✔
576
  WHERE_EACH(pProj, pSetOp->pProjectionList) {
644!
577
    if (subquery && notRefByOrderBy((SColumnNode*)pProj, pSetOp->pOrderByList) &&
522!
578
        isSetUselessCol(pSetOp, index, (SExprNode*)pProj)) {
69✔
579
      ERASE_NODE(pSetOp->pProjectionList);
6✔
580
      eraseSetOpChildProjection(pSetOp, index);
6✔
581
      continue;
6✔
582
    }
583
    ++index;
447✔
584
    WHERE_NEXT;
447✔
585
  }
586
  if (0 == LIST_LENGTH(pSetOp->pProjectionList)) {
191!
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;
191✔
594
}
595

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

610
static int32_t calcConstQuery(SCalcConstContext* pCxt, SNode* pStmt, bool subquery) {
244,024✔
611
  int32_t code = TSDB_CODE_SUCCESS;
244,024✔
612
  switch (nodeType(pStmt)) {
244,024✔
613
    case QUERY_NODE_SELECT_STMT:
140,499✔
614
      code = calcConstSelect(pCxt, (SSelectStmt*)pStmt, subquery);
140,499✔
615
      break;
140,511✔
616
    case QUERY_NODE_EXPLAIN_STMT:
1,299✔
617
      code = calcConstQuery(pCxt, ((SExplainStmt*)pStmt)->pQuery, subquery);
1,299✔
618
      break;
1,299✔
619
    case QUERY_NODE_SET_OPERATOR: {
197✔
620
      code = calcConstSetOperator(pCxt, (SSetOperator*)pStmt, subquery);
197✔
621
      break;
197✔
622
    }
623
    case QUERY_NODE_DELETE_STMT:
53,437✔
624
      code = calcConstDelete(pCxt, (SDeleteStmt*)pStmt);
53,437✔
625
      break;
53,439✔
626
    case QUERY_NODE_INSERT_STMT:
31✔
627
      code = calcConstInsert(pCxt, (SInsertStmt*)pStmt);
31✔
628
      break;
31✔
629
    default:
48,561✔
630
      break;
48,561✔
631
  }
632
  return code;
244,038✔
633
}
634

635
static bool isEmptyResultQuery(SNode* pStmt) {
240,889✔
636
  bool isEmptyResult = false;
240,889✔
637
  switch (nodeType(pStmt)) {
240,889✔
638
    case QUERY_NODE_SELECT_STMT:
137,401✔
639
      isEmptyResult = ((SSelectStmt*)pStmt)->isEmptyResult;
137,401✔
640
      break;
137,401✔
641
    case QUERY_NODE_EXPLAIN_STMT:
1,299✔
642
      isEmptyResult = isEmptyResultQuery(((SExplainStmt*)pStmt)->pQuery);
1,299✔
643
      break;
1,299✔
644
    case QUERY_NODE_SET_OPERATOR: {
152✔
645
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
152✔
646
      isEmptyResult = isEmptyResultQuery(pSetOp->pLeft);
152✔
647
      if (isEmptyResult) {
152!
648
        isEmptyResult = isEmptyResultQuery(pSetOp->pRight);
×
649
      }
650
      break;
152✔
651
    }
652
    case QUERY_NODE_DELETE_STMT:
53,436✔
653
      isEmptyResult = ((SDeleteStmt*)pStmt)->deleteZeroRows;
53,436✔
654
      break;
53,436✔
655
    default:
48,601✔
656
      break;
48,601✔
657
  }
658
  return isEmptyResult;
240,889✔
659
}
660

661
static void resetProjectNullTypeImpl(SNodeList* pProjects) {
136,363✔
662
  SNode* pProj = NULL;
136,363✔
663
  FOREACH(pProj, pProjects) {
357,489!
664
    SExprNode* pExpr = (SExprNode*)pProj;
221,126✔
665
    if (TSDB_DATA_TYPE_NULL == pExpr->resType.type) {
221,126✔
666
      pExpr->resType.type = TSDB_DATA_TYPE_VARCHAR;
18✔
667
      pExpr->resType.bytes = VARSTR_HEADER_SIZE;
18✔
668
    }
669
  }
670
}
136,363✔
671

672
static void resetProjectNullType(SNode* pStmt) {
239,700✔
673
  switch (nodeType(pStmt)) {
239,700✔
674
    case QUERY_NODE_SELECT_STMT:
136,226✔
675
      resetProjectNullTypeImpl(((SSelectStmt*)pStmt)->pProjectionList);
136,226✔
676
      break;
136,234✔
677
    case QUERY_NODE_SET_OPERATOR: {
152✔
678
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
152✔
679
      resetProjectNullTypeImpl(pSetOp->pProjectionList);
152✔
680
      if (pSetOp->pLeft)
152!
681
        resetProjectNullType(pSetOp->pLeft);
152✔
682
      if (pSetOp->pRight)
152!
683
        resetProjectNullType(pSetOp->pRight);
152✔
684
      break;
152✔
685
    }
686
    default:
103,322✔
687
      break;
103,322✔
688
  }
689
}
239,708✔
690

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

697
  int32_t code = calcConstQuery(&cxt, pQuery->pRoot, false);
239,329✔
698
  if (TSDB_CODE_SUCCESS == code) {
239,447!
699
    resetProjectNullType(pQuery->pRoot);
239,461✔
700
    if (isEmptyResultQuery(pQuery->pRoot)) {
239,440✔
701
      pQuery->execMode = QUERY_EXEC_MODE_EMPTY_RESULT;
13✔
702
    }
703
  }
704
  return code;
239,447✔
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