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

taosdata / TDengine / #4335

20 Jun 2025 05:45AM UTC coverage: 60.571% (-2.3%) from 62.916%
#4335

push

travis-ci

web-flow
fix: compatibility ci problems. (#31430)

149119 of 315107 branches covered (47.32%)

Branch coverage included in aggregate %.

231167 of 312731 relevant lines covered (73.92%)

6342953.77 hits per line

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

85.98
/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) {
299,985✔
37
  return calcConstQuery(pCxt, pTempTable->pSubquery, true);
299,985✔
38
}
39

40
static int32_t calcConstNode(SNode** pNode) {
3,101,438✔
41
  if (NULL == *pNode) {
3,101,438✔
42
    return TSDB_CODE_SUCCESS;
2,273,172✔
43
  }
44

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

53
static int32_t calcConstList(SNodeList* pList) {
4,707,578✔
54
  SNode* pNode = NULL;
4,707,578✔
55
  FOREACH(pNode, pList) {
5,455,214✔
56
    SNode*  pNew = NULL;
747,636✔
57
    int32_t code = scalarCalculateConstants(pNode, &pNew);
747,636✔
58
    if (TSDB_CODE_SUCCESS == code) {
747,636!
59
      REPLACE_NODE(pNew);
747,636✔
60
    } else {
61
      return code;
×
62
    }
63
  }
64
  return TSDB_CODE_SUCCESS;
4,707,578✔
65
}
66

67
static bool isCondition(const SNode* pNode) {
1,522,347✔
68
  if (QUERY_NODE_OPERATOR == nodeType(pNode)) {
1,522,347✔
69
    return nodesIsComparisonOp((const SOperatorNode*)pNode);
1,165,980✔
70
  }
71
  return (QUERY_NODE_LOGIC_CONDITION == nodeType(pNode));
356,367✔
72
}
73

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

88
static EDealRes doRewriteCondition(SNode** pNode, void* pContext) {
4,369,995✔
89
  if (QUERY_NODE_LOGIC_CONDITION == nodeType(*pNode)) {
4,369,995✔
90
    SNode* pParam = NULL;
356,353✔
91
    FOREACH(pParam, ((SLogicConditionNode*)*pNode)->pParameterList) {
1,210,477!
92
      if (!isCondition(pParam)) {
854,122!
93
        SNode* pIsTrue = NULL;
×
94
        if (TSDB_CODE_SUCCESS != rewriteIsTrue(pParam, &pIsTrue)) {
×
95
          ((SCalcConstContext*)pContext)->code = TSDB_CODE_OUT_OF_MEMORY;
×
96
          return DEAL_RES_ERROR;
×
97
        }
98
        REPLACE_NODE(pIsTrue);
×
99
      }
100
    }
101
  }
102
  return DEAL_RES_CONTINUE;
4,369,997✔
103
}
104

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

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

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

126
  if (QUERY_NODE_LOGIC_CONDITION == nodeType(*pNode)) {
162,491✔
127
    return DEAL_RES_CONTINUE;
19,950✔
128
  } else if (QUERY_NODE_OPERATOR == nodeType(*pNode)) {
142,541!
129
    SOperatorNode* pOp = (SOperatorNode*)*pNode;
142,541✔
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)) {
142,541✔
131
      code = calcConstNode(&pOp->pLeft);
121,501✔
132
      if (TSDB_CODE_SUCCESS == code) {
121,501!
133
        code = calcConstNode(&pOp->pRight);
121,501✔
134
      }
135
      
136
      goto _end;
121,501✔
137
    }
138
  }
139

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

146
  if (code != TSDB_CODE_SUCCESS) {
142,541!
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;
142,541✔
152
}
153

154
static int32_t rewriteConditionForFromTable(SCalcConstContext* pCxt, SNode* pTable) {
1,410,188✔
155
  int32_t code = TSDB_CODE_SUCCESS;
1,410,188✔
156
  switch (nodeType(pTable)) {
1,410,188✔
157
    case QUERY_NODE_TEMP_TABLE: {
299,984✔
158
      code = calcConstSubquery(pCxt, (STempTableNode*)pTable);
299,984✔
159
      break;
299,985✔
160
    }
161
    case QUERY_NODE_JOIN_TABLE: {
122,728✔
162
      SJoinTableNode* pJoin = (SJoinTableNode*)pTable;
122,728✔
163
      SNode* pCond = NULL;
122,728✔
164
      code = rewriteConditionForFromTable(pCxt, pJoin->pLeft);
122,728✔
165
      if (TSDB_CODE_SUCCESS == code) {
122,728!
166
        code = rewriteConditionForFromTable(pCxt, pJoin->pRight);
122,728✔
167
      }
168
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
122,728!
169
        code = rewriteCondition(pCxt, &pJoin->pOnCond);
122,031✔
170
      }
171
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
122,728!
172
        nodesRewriteExpr(&pJoin->pOnCond, rewriteCalcConstValue, pCxt);
122,031✔
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;
122,728✔
191
    }
192
    default:
987,476✔
193
      break;
987,476✔
194
  }
195
  return code;
1,410,189✔
196
}
197

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

202
static void rewriteConstCondition(SNode** pCond, bool* pAlwaysFalse) {
525,153✔
203
  if (QUERY_NODE_VALUE != nodeType(*pCond)) {
525,153✔
204
    return;
495,192✔
205
  }
206
  if (((SValueNode*)*pCond)->datum.b) {
29,961✔
207
    nodesDestroyNode(*pCond);
29,777✔
208
    *pCond = NULL;
29,777✔
209
  } else {
210
    *pAlwaysFalse = true;
184✔
211
  }
212
}
213

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

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

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

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

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

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

260
static int32_t calcConstProject(SCalcConstContext* pCxt, SNode* pProject, bool dual, SNode** pNew) {
4,507,036✔
261
  SArray* pAssociation = NULL;
4,507,036✔
262
  
263
  if (NULL != ((SExprNode*)pProject)->pAssociation) {
4,507,036✔
264
    pAssociation = taosArrayDup(((SExprNode*)pProject)->pAssociation, NULL);
611,760✔
265
    if (NULL == pAssociation) {
611,759!
266
      return terrno;
×
267
    }
268
  }
269

270
  char    aliasName[TSDB_COL_NAME_LEN] = {0}, srcTable[TSDB_TABLE_NAME_LEN] = {0};
4,507,046✔
271
  int32_t code = TSDB_CODE_SUCCESS;
4,507,046✔
272
  if (dual) {
4,507,046✔
273
    code = scalarCalculateConstantsFromDual(pProject, pNew);
115,212✔
274
  } else {
275
    code = scalarCalculateConstants(pProject, pNew);
4,391,834✔
276
  }
277
  if (TSDB_CODE_SUCCESS == code) {
4,507,045✔
278
    if (QUERY_NODE_VALUE == nodeType(*pNew) && NULL != pAssociation) {
4,507,029✔
279
      int32_t size = taosArrayGetSize(pAssociation);
29,010✔
280
      for (int32_t i = 0; i < size; ++i) {
58,052✔
281
        SAssociationNode* pAssNode = taosArrayGet(pAssociation, i);
29,042✔
282
        SNode**           pCol = pAssNode->pPlace;
29,042✔
283
        if (((SExprNode*)pAssNode->pAssociationNode)->joinSrc) {
29,042!
284
          //((SExprNode*)pAssNode->pAssociationNode)->constValue = true;
285
          continue;
×
286
        }
287
        
288
        if (*pCol == pAssNode->pAssociationNode) {
29,042✔
289
          tstrncpy(aliasName, ((SExprNode*)*pCol)->aliasName, TSDB_COL_NAME_LEN);
29,033✔
290
          if (QUERY_NODE_COLUMN == nodeType(*pCol)) {
29,033!
291
            tstrncpy(srcTable, ((SColumnNode*)*pCol)->tableAlias, TSDB_TABLE_NAME_LEN);
29,033✔
292
          }
293
          SArray* pOrigAss = NULL;
29,033✔
294
          TSWAP(((SExprNode*)*pCol)->pAssociation, pOrigAss);
29,033✔
295
          nodesDestroyNode(*pCol);
29,033✔
296
          *pCol = NULL;
29,033✔
297
          code = nodesCloneNode(*pNew, pCol);
29,033✔
298
          if (TSDB_CODE_SUCCESS == code) {
29,033!
299
            tstrncpy(((SExprNode*)*pCol)->aliasName, aliasName, TSDB_COL_NAME_LEN);
29,033✔
300
            if (srcTable[0]) {
29,033!
301
              tstrncpy(((SExprNode*)*pCol)->srcTable, srcTable, TSDB_TABLE_NAME_LEN);
29,033✔
302
            }
303
            TSWAP(pOrigAss, ((SExprNode*)*pCol)->pAssociation);
29,033✔
304
          }
305
          taosArrayDestroy(pOrigAss);
29,033✔
306
          if (TSDB_CODE_SUCCESS != code) {
29,033!
307
            break;
×
308
          }
309
        } else {
310
          code = findAndReplaceNode(pCxt, pCol, pAssNode->pAssociationNode, *pNew, true);
9✔
311
          if (TSDB_CODE_SUCCESS != code) {
9!
312
            break;
×
313
          }
314
        }
315
      }
316
    }
317
  }
318
  taosArrayDestroy(pAssociation);
4,507,045✔
319
  return code;
4,507,039✔
320
}
321

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

326
EDealRes checkUselessCol(SNode* pNode, void* pContext) {
2,351,699✔
327
  SIsUselessColCtx* ctx = (SIsUselessColCtx*)pContext;
2,351,699✔
328
  if (QUERY_NODE_FUNCTION == nodeType(pNode) && !fmIsScalarFunc(((SFunctionNode*)pNode)->funcId) &&
2,351,699✔
329
      !fmIsPseudoColumnFunc(((SFunctionNode*)pNode)->funcId)) {
196,937✔
330
    ctx->isUseless = false;
162,143✔
331
    return DEAL_RES_END;
162,143✔
332
  }
333

334
  return DEAL_RES_CONTINUE;
2,189,556✔
335
}
336

337
static bool isUselessCol(SExprNode* pProj) {
1,950,010✔
338
  SIsUselessColCtx ctx = {.isUseless = true};
1,950,010✔
339
  nodesWalkExpr((SNode*)pProj, checkUselessCol, (void*)&ctx);
1,950,010✔
340
  if (!ctx.isUseless) {
1,950,009✔
341
    return false;
162,143✔
342
  }
343
  return NULL == ((SExprNode*)pProj)->pAssociation;
1,787,866✔
344
}
345

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

365
static int32_t calcConstProjections(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,267,320✔
366
  SNode* pProj = NULL;
1,267,320✔
367
  WHERE_EACH(pProj, pSelect->pProjectionList) {
7,032,807!
368
    if (subquery && !pSelect->isDistinct && !pSelect->tagScan && isUselessCol((SExprNode*)pProj) && (pSelect->pFromTable && nodeType(pSelect->pFromTable) != QUERY_NODE_VIRTUAL_TABLE)) {
5,765,501✔
369
      ERASE_NODE(pSelect->pProjectionList);
1,258,460✔
370
      continue;
1,258,460✔
371
    }
372
    SNode*  pNew = NULL;
4,507,040✔
373
    int32_t code = calcConstProject(pCxt, pProj, (NULL == pSelect->pFromTable), &pNew);
4,507,040✔
374
    if (TSDB_CODE_SUCCESS == code) {
4,507,041✔
375
      REPLACE_NODE(pNew);
4,507,027✔
376
    } else {
377
      return code;
14✔
378
    }
379
    WHERE_NEXT;
4,507,027✔
380
  }
381
  if (0 == LIST_LENGTH(pSelect->pProjectionList)) {
1,267,306!
382
    SValueNode* pVal = NULL;
1,919✔
383
    int32_t     code = createConstantValue(&pVal);
1,919✔
384
    if (TSDB_CODE_SUCCESS == code) {
1,925!
385
      return nodesListStrictAppend(pSelect->pProjectionList, (SNode*)pVal);
1,925✔
386
    }
387
  }
388
  return TSDB_CODE_SUCCESS;
1,265,387✔
389
}
390

391
static int32_t calcConstGroupBy(SCalcConstContext* pCxt, SSelectStmt* pSelect) {
1,156,121✔
392
  int32_t code = calcConstList(pSelect->pGroupByList);
1,156,121✔
393
  if (TSDB_CODE_SUCCESS == code) {
1,156,123!
394
    SNode* pNode = NULL;
1,156,123✔
395
    FOREACH(pNode, pSelect->pGroupByList) {
1,355,894✔
396
      bool   hasNotValue = false;
199,771✔
397
      SNode* pGroupPara = NULL;
199,771✔
398
      FOREACH(pGroupPara, ((SGroupingSetNode*)pNode)->pParameterList) {
215,464!
399
        if (QUERY_NODE_VALUE != nodeType(pGroupPara)) {
199,771✔
400
          hasNotValue = true;
184,078✔
401
          break;
184,078✔
402
        }
403
      }
404
      if (!hasNotValue) {
199,771✔
405
        if (pSelect->hasAggFuncs) {
15,693✔
406
          ERASE_NODE(pSelect->pGroupByList);
254✔
407
        } else {
408
          if (!cell->pPrev && !cell->pNext) continue;
15,439!
409
          ERASE_NODE(pSelect->pGroupByList);
×
410
        }
411
      }
412
    }
413
  }
414
  return code;
1,156,123✔
415
}
416

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

421
static int32_t calcConstSelectFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,157,332✔
422
  int32_t code = calcConstFromTable(pCxt, pSelect->pFromTable);
1,157,332✔
423
  if (TSDB_CODE_SUCCESS == code && QUERY_NODE_TEMP_TABLE == nodeType(pSelect->pFromTable) &&
1,157,332!
424
      ((STempTableNode*)pSelect->pFromTable)->pSubquery != NULL &&
299,372!
425
      QUERY_NODE_SELECT_STMT == nodeType(((STempTableNode*)pSelect->pFromTable)->pSubquery) &&
299,372✔
426
      ((SSelectStmt*)((STempTableNode*)pSelect->pFromTable)->pSubquery)->isEmptyResult) {
264,466✔
427
    pSelect->isEmptyResult = true;
1,204✔
428
    return code;
1,204✔
429
  }
430
  if (pSelect->mixSysTableAndActualTable) {
1,156,128✔
431
    return code;
4✔
432
  }
433
  if (TSDB_CODE_SUCCESS == code) {
1,156,124!
434
    code = calcConstProjections(pCxt, pSelect, subquery);
1,156,125✔
435
  }
436
  if (TSDB_CODE_SUCCESS == code) {
1,156,127!
437
    code = calcConstStmtCondition(pCxt, &pSelect->pWhere, &pSelect->isEmptyResult);
1,156,128✔
438
  }
439
  if (TSDB_CODE_SUCCESS == code) {
1,156,125!
440
    code = calcConstList(pSelect->pPartitionByList);
1,156,126✔
441
  }
442
  if (TSDB_CODE_SUCCESS == code) {
1,156,125!
443
    code = calcConstList(pSelect->pTags);
1,156,126✔
444
  }
445
  if (TSDB_CODE_SUCCESS == code) {
1,156,124!
446
    code = calcConstNode(&pSelect->pSubtable);
1,156,125✔
447
  }
448
  if (TSDB_CODE_SUCCESS == code) {
1,156,123!
449
    code = calcConstNode(&pSelect->pWindow);
1,156,124✔
450
  }
451
  if (TSDB_CODE_SUCCESS == code) {
1,156,124✔
452
    code = calcConstGroupBy(pCxt, pSelect);
1,156,122✔
453
  }
454
  if (TSDB_CODE_SUCCESS == code) {
1,156,127✔
455
    code = calcConstStmtCondition(pCxt, &pSelect->pHaving, &pSelect->isEmptyResult);
1,156,126✔
456
  }
457
  if (TSDB_CODE_SUCCESS == code) {
1,156,125✔
458
    code = calcConstList(pSelect->pOrderByList);
1,156,124✔
459
  }
460
  return code;
1,156,124✔
461
}
462

463
static int32_t calcConstSelect(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,268,531✔
464
  if (NULL == pSelect->pFromTable) {
1,268,531✔
465
    return calcConstSelectWithoutFrom(pCxt, pSelect, subquery);
111,200✔
466
  } else {
467
    return calcConstSelectFrom(pCxt, pSelect, subquery);
1,157,331✔
468
  }
469
}
470

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

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

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

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

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

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

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

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

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

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

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

567
  return true;
16,083✔
568
}
569

570
static int32_t calcConstSetOpProjections(SCalcConstContext* pCxt, SSetOperator* pSetOp, bool subquery) {
83,088✔
571
  if (subquery && pSetOp->opType == SET_OP_TYPE_UNION) {
83,088✔
572
    return TSDB_CODE_SUCCESS;
17,111✔
573
  }
574
  int32_t index = 0;
65,977✔
575
  SNode*  pProj = NULL;
65,977✔
576
  WHERE_EACH(pProj, pSetOp->pProjectionList) {
213,097!
577
    if (subquery && notRefByOrderBy((SColumnNode*)pProj, pSetOp->pOrderByList) &&
183,925✔
578
        isSetUselessCol(pSetOp, index, (SExprNode*)pProj)) {
36,805✔
579
      ERASE_NODE(pSetOp->pProjectionList);
16,083✔
580
      eraseSetOpChildProjection(pSetOp, index);
16,083✔
581
      continue;
16,083✔
582
    }
583
    ++index;
131,037✔
584
    WHERE_NEXT;
131,037✔
585
  }
586
  if (0 == LIST_LENGTH(pSetOp->pProjectionList)) {
65,977!
587
    SValueNode* pVal = NULL;
2✔
588
    int32_t     code = createConstantValue(&pVal);
2✔
589
    if (TSDB_CODE_SUCCESS == code) {
2!
590
      return nodesListStrictAppend(pSetOp->pProjectionList, (SNode*)pVal);
2✔
591
    }
592
  }
593
  return TSDB_CODE_SUCCESS;
65,975✔
594
}
595

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

610
static int32_t calcConstQuery(SCalcConstContext* pCxt, SNode* pStmt, bool subquery) {
1,630,656✔
611
  int32_t code = TSDB_CODE_SUCCESS;
1,630,656✔
612
  switch (nodeType(pStmt)) {
1,630,656✔
613
    case QUERY_NODE_SELECT_STMT:
1,268,531✔
614
      code = calcConstSelect(pCxt, (SSelectStmt*)pStmt, subquery);
1,268,531✔
615
      break;
1,268,527✔
616
    case QUERY_NODE_EXPLAIN_STMT:
125,639✔
617
      code = calcConstQuery(pCxt, ((SExplainStmt*)pStmt)->pQuery, subquery);
125,639✔
618
      break;
125,639✔
619
    case QUERY_NODE_SET_OPERATOR: {
83,088✔
620
      code = calcConstSetOperator(pCxt, (SSetOperator*)pStmt, subquery);
83,088✔
621
      break;
83,088✔
622
    }
623
    case QUERY_NODE_DELETE_STMT:
7,206✔
624
      code = calcConstDelete(pCxt, (SDeleteStmt*)pStmt);
7,206✔
625
      break;
7,206✔
626
    case QUERY_NODE_INSERT_STMT:
198✔
627
      code = calcConstInsert(pCxt, (SInsertStmt*)pStmt);
198✔
628
      break;
198✔
629
    default:
145,994✔
630
      break;
145,994✔
631
  }
632
  return code;
1,630,652✔
633
}
634

635
static bool isEmptyResultQuery(SNode* pStmt) {
1,212,077✔
636
  bool isEmptyResult = false;
1,212,077✔
637
  switch (nodeType(pStmt)) {
1,212,077✔
638
    case QUERY_NODE_SELECT_STMT:
885,247✔
639
      isEmptyResult = ((SSelectStmt*)pStmt)->isEmptyResult;
885,247✔
640
      break;
885,247✔
641
    case QUERY_NODE_EXPLAIN_STMT:
125,639✔
642
      isEmptyResult = isEmptyResultQuery(((SExplainStmt*)pStmt)->pQuery);
125,639✔
643
      break;
125,639✔
644
    case QUERY_NODE_SET_OPERATOR: {
47,803✔
645
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
47,803✔
646
      isEmptyResult = isEmptyResultQuery(pSetOp->pLeft);
47,803✔
647
      if (isEmptyResult) {
47,803!
648
        isEmptyResult = isEmptyResultQuery(pSetOp->pRight);
×
649
      }
650
      break;
47,803✔
651
    }
652
    case QUERY_NODE_DELETE_STMT:
7,206✔
653
      isEmptyResult = ((SDeleteStmt*)pStmt)->deleteZeroRows;
7,206✔
654
      break;
7,206✔
655
    default:
146,182✔
656
      break;
146,182✔
657
  }
658
  return isEmptyResult;
1,212,077✔
659
}
660

661
static void resetProjectNullTypeImpl(SNodeList* pProjects) {
834,539✔
662
  SNode* pProj = NULL;
834,539✔
663
  FOREACH(pProj, pProjects) {
4,042,787!
664
    SExprNode* pExpr = (SExprNode*)pProj;
3,208,248✔
665
    if (TSDB_DATA_TYPE_NULL == pExpr->resType.type) {
3,208,248✔
666
      pExpr->resType.type = TSDB_DATA_TYPE_VARCHAR;
36✔
667
      pExpr->resType.bytes = VARSTR_HEADER_SIZE;
36✔
668
    }
669
  }
670
}
834,539✔
671

672
static void resetProjectNullType(SNode* pStmt) {
1,113,552✔
673
  switch (nodeType(pStmt)) {
1,113,552✔
674
    case QUERY_NODE_SELECT_STMT:
797,083✔
675
      resetProjectNullTypeImpl(((SSelectStmt*)pStmt)->pProjectionList);
797,083✔
676
      break;
797,087✔
677
    case QUERY_NODE_SET_OPERATOR: {
37,460✔
678
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
37,460✔
679
      resetProjectNullTypeImpl(pSetOp->pProjectionList);
37,460✔
680
      if (pSetOp->pLeft)
37,460!
681
        resetProjectNullType(pSetOp->pLeft);
37,460✔
682
      if (pSetOp->pRight)
37,460!
683
        resetProjectNullType(pSetOp->pRight);
37,460✔
684
      break;
37,460✔
685
    }
686
    default:
279,009✔
687
      break;
279,009✔
688
  }
689
}
1,113,556✔
690

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

697
  int32_t code = calcConstQuery(&cxt, pQuery->pRoot, false);
1,038,651✔
698
  if (TSDB_CODE_SUCCESS == code) {
1,038,655✔
699
    resetProjectNullType(pQuery->pRoot);
1,038,640✔
700
    if (isEmptyResultQuery(pQuery->pRoot)) {
1,038,642✔
701
      pQuery->execMode = QUERY_EXEC_MODE_EMPTY_RESULT;
2,696✔
702
    }
703
  }
704
  return code;
1,038,658✔
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