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

taosdata / TDengine / #3525

10 Nov 2024 03:50AM UTC coverage: 60.818% (-0.08%) from 60.898%
#3525

push

travis-ci

web-flow
Merge pull request #28709 from taosdata/main

merge: from main to 3.0 branch

118634 of 249004 branches covered (47.64%)

Branch coverage included in aggregate %.

136 of 169 new or added lines in 23 files covered. (80.47%)

542 existing lines in 129 files now uncovered.

199071 of 273386 relevant lines covered (72.82%)

15691647.46 hits per line

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

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

40
static int32_t calcConstNode(SNode** pNode) {
3,292,534✔
41
  if (NULL == *pNode) {
3,292,534✔
42
    return TSDB_CODE_SUCCESS;
2,551,815✔
43
  }
44

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

53
static int32_t calcConstList(SNodeList* pList) {
5,281,650✔
54
  SNode* pNode = NULL;
5,281,650✔
55
  FOREACH(pNode, pList) {
6,166,502✔
56
    SNode*  pNew = NULL;
884,852✔
57
    int32_t code = scalarCalculateConstants(pNode, &pNew);
884,852✔
58
    if (TSDB_CODE_SUCCESS == code) {
884,852!
59
      REPLACE_NODE(pNew);
884,852✔
60
    } else {
61
      return code;
×
62
    }
63
  }
64
  return TSDB_CODE_SUCCESS;
5,281,650✔
65
}
66

67
static bool isCondition(const SNode* pNode) {
1,781,281✔
68
  if (QUERY_NODE_OPERATOR == nodeType(pNode)) {
1,781,281✔
69
    return nodesIsComparisonOp((const SOperatorNode*)pNode);
1,350,984✔
70
  }
71
  return (QUERY_NODE_LOGIC_CONDITION == nodeType(pNode));
430,297✔
72
}
73

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

88
static EDealRes doRewriteCondition(SNode** pNode, void* pContext) {
8,161,706✔
89
  if (QUERY_NODE_LOGIC_CONDITION == nodeType(*pNode)) {
8,161,706✔
90
    SNode* pParam = NULL;
430,416✔
91
    FOREACH(pParam, ((SLogicConditionNode*)*pNode)->pParameterList) {
1,513,051✔
92
      if (!isCondition(pParam)) {
1,082,623!
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;
8,161,718✔
103
}
104

105
static int32_t rewriteCondition(SCalcConstContext* pCxt, SNode** pNode) {
698,651✔
106
  if (!isCondition(*pNode)) {
698,651✔
107
    return rewriteIsTrue(*pNode, pNode);
22✔
108
  }
109
  nodesRewriteExprPostOrder(pNode, doRewriteCondition, pCxt);
698,664✔
110
  return pCxt->code;
698,734✔
111
}
112

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

121
static int32_t rewriteConditionForFromTable(SCalcConstContext* pCxt, SNode* pTable) {
1,601,704✔
122
  int32_t code = TSDB_CODE_SUCCESS;
1,601,704✔
123
  switch (nodeType(pTable)) {
1,601,704✔
124
    case QUERY_NODE_TEMP_TABLE: {
323,199✔
125
      code = calcConstSubquery(pCxt, (STempTableNode*)pTable);
323,199✔
126
      break;
323,199✔
127
    }
128
    case QUERY_NODE_JOIN_TABLE: {
123,493✔
129
      SJoinTableNode* pJoin = (SJoinTableNode*)pTable;
123,493✔
130
      code = rewriteConditionForFromTable(pCxt, pJoin->pLeft);
123,493✔
131
      if (TSDB_CODE_SUCCESS == code) {
123,493!
132
        code = rewriteConditionForFromTable(pCxt, pJoin->pRight);
123,493✔
133
      }
134
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
123,493!
135
        code = calcConstCondition(pCxt, &pJoin->pOnCond);
53,472✔
136
      }
137
      // todo empty table
138
      break;
123,493✔
139
    }
140
    default:
1,155,012✔
141
      break;
1,155,012✔
142
  }
143
  return code;
1,601,704✔
144
}
145

146
static int32_t calcConstFromTable(SCalcConstContext* pCxt, SNode* pTable) {
1,354,683✔
147
  return rewriteConditionForFromTable(pCxt, pTable);
1,354,683✔
148
}
149

150
static void rewriteConstCondition(SNode** pCond, bool* pAlwaysFalse) {
645,273✔
151
  if (QUERY_NODE_VALUE != nodeType(*pCond)) {
645,273✔
152
    return;
614,596✔
153
  }
154
  if (((SValueNode*)*pCond)->datum.b) {
30,677✔
155
    nodesDestroyNode(*pCond);
30,199✔
156
    *pCond = NULL;
30,199✔
157
  } else {
158
    *pAlwaysFalse = true;
478✔
159
  }
160
}
161

162
static int32_t calcConstStmtCondition(SCalcConstContext* pCxt, SNode** pCond, bool* pAlwaysFalse) {
2,649,644✔
163
  if (NULL == *pCond) {
2,649,644✔
164
    return TSDB_CODE_SUCCESS;
2,004,443✔
165
  }
166

167
  int32_t code = rewriteCondition(pCxt, pCond);
645,201✔
168
  if (TSDB_CODE_SUCCESS == code) {
645,280!
169
    code = calcConstNode(pCond);
645,285✔
170
  }
171
  if (TSDB_CODE_SUCCESS == code) {
645,258!
172
    rewriteConstCondition(pCond, pAlwaysFalse);
645,267✔
173
  }
174
  return code;
645,286✔
175
}
176

177
static EDealRes doFindAndReplaceNode(SNode** pNode, void* pContext) {
6✔
178
  SCalcConstContext* pCxt = pContext;
6✔
179
  if (pCxt->replaceCxt.pTarget == *pNode) {
6!
180
    char aliasName[TSDB_COL_NAME_LEN] = {0};
6✔
181
    strcpy(aliasName, ((SExprNode*)*pNode)->aliasName);
6✔
182
    nodesDestroyNode(*pNode);
6✔
183
    *pNode = NULL;
6✔
184
    pCxt->code = nodesCloneNode(pCxt->replaceCxt.pNew, pNode);
6✔
185
    if (NULL == *pNode) {
6!
186
      return DEAL_RES_ERROR;
×
187
    }
188
    strcpy(((SExprNode*)*pNode)->aliasName, aliasName);
6✔
189

190
    pCxt->replaceCxt.replaced = true;
6✔
191
    return DEAL_RES_END;
6✔
192
  }
193
  return DEAL_RES_CONTINUE;
×
194
}
195

196
static int32_t findAndReplaceNode(SCalcConstContext* pCxt, SNode** pRoot, SNode* pTarget, SNode* pNew, bool strict) {
6✔
197
  pCxt->replaceCxt.pNew = pNew;
6✔
198
  pCxt->replaceCxt.pTarget = pTarget;
6✔
199
  
200
  nodesRewriteExprPostOrder(pRoot, doFindAndReplaceNode, pCxt);
6✔
201
  if (TSDB_CODE_SUCCESS == pCxt->code && strict && !pCxt->replaceCxt.replaced) {
6!
202
    parserError("target replace node not found, %p", pTarget);
×
203
    return TSDB_CODE_PAR_INTERNAL_ERROR;
×
204
  }
205
  return pCxt->code;
6✔
206
}
207

208
static int32_t calcConstProject(SCalcConstContext* pCxt, SNode* pProject, bool dual, SNode** pNew) {
4,509,130✔
209
  SArray* pAssociation = NULL;
4,509,130✔
210
  if (NULL != ((SExprNode*)pProject)->pAssociation) {
4,509,130✔
211
    pAssociation = taosArrayDup(((SExprNode*)pProject)->pAssociation, NULL);
637,656✔
212
    if (NULL == pAssociation) {
637,656✔
213
      return terrno;
3✔
214
    }
215
  }
216

217
  char aliasName[TSDB_COL_NAME_LEN] = {0};
4,509,127✔
218
  int32_t code = TSDB_CODE_SUCCESS;
4,509,127✔
219
  if (dual) {
4,509,127✔
220
    code = scalarCalculateConstantsFromDual(pProject, pNew);
75,599✔
221
  } else {
222
    code = scalarCalculateConstants(pProject, pNew);
4,433,528✔
223
  }
224
  if (TSDB_CODE_SUCCESS == code) {
4,509,207✔
225
    if (QUERY_NODE_VALUE == nodeType(*pNew) && NULL != pAssociation) {
4,509,196✔
226
      int32_t size = taosArrayGetSize(pAssociation);
28,558✔
227
      for (int32_t i = 0; i < size; ++i) {
57,148✔
228
        SAssociationNode* pAssNode = taosArrayGet(pAssociation, i);
28,590✔
229
        SNode** pCol = pAssNode->pPlace;
28,590✔
230
        if (*pCol == pAssNode->pAssociationNode) {
28,590✔
231
          strcpy(aliasName, ((SExprNode*)*pCol)->aliasName);
28,584✔
232
          SArray* pOrigAss = NULL;
28,584✔
233
          TSWAP(((SExprNode*)*pCol)->pAssociation, pOrigAss);
28,584✔
234
          nodesDestroyNode(*pCol);
28,584✔
235
          *pCol = NULL;
28,584✔
236
          code = nodesCloneNode(*pNew, pCol);
28,584✔
237
          if (TSDB_CODE_SUCCESS == code) {
28,584!
238
            strcpy(((SExprNode*)*pCol)->aliasName, aliasName);
28,584✔
239
            TSWAP(pOrigAss, ((SExprNode*)*pCol)->pAssociation);
28,584✔
240
          }
241
          taosArrayDestroy(pOrigAss);
28,584✔
242
          if (TSDB_CODE_SUCCESS != code) {
28,584!
243
            break;
×
244
          }
245
        } else {
246
          code = findAndReplaceNode(pCxt, pCol, pAssNode->pAssociationNode, *pNew, true);
6✔
247
          if (TSDB_CODE_SUCCESS != code) {
6!
248
            break;
×
249
          }
250
        }
251
      }
252
    }
253
  }
254
  taosArrayDestroy(pAssociation);
4,509,207✔
255
  return code;
4,509,129✔
256
}
257

258
typedef struct SIsUselessColCtx  {
259
  bool      isUseless;
260
} SIsUselessColCtx ;
261

262
EDealRes checkUselessCol(SNode *pNode, void *pContext) {
2,391,429✔
263
  SIsUselessColCtx  *ctx = (SIsUselessColCtx *)pContext;
2,391,429✔
264
  if (QUERY_NODE_FUNCTION == nodeType(pNode) && !fmIsScalarFunc(((SFunctionNode*)pNode)->funcId) &&
2,391,429✔
265
      !fmIsPseudoColumnFunc(((SFunctionNode*)pNode)->funcId)) {
224,171✔
266
    ctx->isUseless = false;  
184,084✔
267
    return DEAL_RES_END;
184,084✔
268
  }
269

270
  return DEAL_RES_CONTINUE;
2,207,345✔
271
}
272

273
static bool isUselessCol(SExprNode* pProj) {
1,995,371✔
274
  SIsUselessColCtx ctx = {.isUseless = true};
1,995,371✔
275
  nodesWalkExpr((SNode*)pProj, checkUselessCol, (void *)&ctx);
1,995,371✔
276
  if (!ctx.isUseless) {
1,995,370✔
277
    return false;
184,084✔
278
  }
279
  return NULL == ((SExprNode*)pProj)->pAssociation;
1,811,286✔
280
}
281

282
static int32_t createConstantValue(SValueNode** ppNode) {
1,959✔
283
  SValueNode* pVal = NULL;
1,959✔
284
  int32_t code = nodesMakeNode(QUERY_NODE_VALUE, (SNode**)&pVal);
1,959✔
285
  if (NULL == pVal) {
1,959!
286
    return code;
×
287
  }
288
  pVal->node.resType.type = TSDB_DATA_TYPE_INT;
1,959✔
289
  pVal->node.resType.bytes = tDataTypes[TSDB_DATA_TYPE_INT].bytes;
1,959✔
290
  const int32_t val = 1;
1,959✔
291
  code = nodesSetValueNodeValue(pVal, (void*)&val);
1,959✔
292
  if (TSDB_CODE_SUCCESS == code) {
1,959!
293
    pVal->translate = true;
1,959✔
294
    *ppNode = pVal;
1,959✔
295
  } else {
296
    nodesDestroyNode((SNode*)pVal);
×
297
  }
298
  return code;
1,959✔
299
}
300

301
static int32_t calcConstProjections(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,372,435✔
302
  SNode* pProj = NULL;
1,372,435✔
303
  WHERE_EACH(pProj, pSelect->pProjectionList) {
7,156,765!
304
    if (subquery && !pSelect->isDistinct && !pSelect->tagScan && isUselessCol((SExprNode*)pProj)) {
5,784,342✔
305
      ERASE_NODE(pSelect->pProjectionList);
1,275,161✔
306
      continue;
1,275,161✔
307
    }
308
    SNode*  pNew = NULL;
4,509,180✔
309
    int32_t code = calcConstProject(pCxt, pProj, (NULL == pSelect->pFromTable), &pNew);
4,509,180✔
310
    if (TSDB_CODE_SUCCESS == code) {
4,509,168!
311
      REPLACE_NODE(pNew);
4,509,169✔
312
    } else {
UNCOV
313
      return code;
×
314
    }
315
    WHERE_NEXT;
4,509,169✔
316
  }
317
  if (0 == LIST_LENGTH(pSelect->pProjectionList)) {
1,372,423!
318
    SValueNode* pVal = NULL;
1,916✔
319
    int32_t code = createConstantValue(&pVal);
1,916✔
320
    if (TSDB_CODE_SUCCESS == code) {
1,949!
321
      return nodesListStrictAppend(pSelect->pProjectionList, (SNode*)pVal);
1,949✔
322
    }
323
  }
324
  return TSDB_CODE_SUCCESS;
1,370,507✔
325
}
326

327
static int32_t calcConstGroupBy(SCalcConstContext* pCxt, SSelectStmt* pSelect) {
1,296,888✔
328
  int32_t code = calcConstList(pSelect->pGroupByList);
1,296,888✔
329
  if (TSDB_CODE_SUCCESS == code) {
1,296,917!
330
    SNode* pNode = NULL;
1,296,935✔
331
    FOREACH(pNode, pSelect->pGroupByList) {
1,312,607✔
332
      SNode* pGroupPara = NULL;
216,501✔
333
      FOREACH(pGroupPara, ((SGroupingSetNode*)pNode)->pParameterList) {
232,173!
334
        if (QUERY_NODE_VALUE != nodeType(pGroupPara)) {
216,501✔
335
          return code;
200,829✔
336
        }
337
      }
338
    }
339
    NODES_DESTORY_LIST(pSelect->pGroupByList);
1,096,106✔
340
  }
341
  return code;
1,096,067✔
342
}
343

344
static int32_t calcConstSelectWithoutFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
75,557✔
345
  return calcConstProjections(pCxt, pSelect, subquery);
75,557✔
346
}
347

348
static int32_t calcConstSelectFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,298,702✔
349
  int32_t code = calcConstFromTable(pCxt, pSelect->pFromTable);
1,298,702✔
350
  if (TSDB_CODE_SUCCESS == code && QUERY_NODE_TEMP_TABLE == nodeType(pSelect->pFromTable) &&
1,298,723!
351
      ((STempTableNode*)pSelect->pFromTable)->pSubquery != NULL &&
322,609!
352
      QUERY_NODE_SELECT_STMT == nodeType(((STempTableNode*)pSelect->pFromTable)->pSubquery) &&
322,609✔
353
      ((SSelectStmt*)((STempTableNode*)pSelect->pFromTable)->pSubquery)->isEmptyResult){
280,424✔
354
    pSelect->isEmptyResult = true;
1,793✔
355
    return code;
1,793✔
356
  }      
357
  if (TSDB_CODE_SUCCESS == code) {
1,296,930✔
358
    code = calcConstProjections(pCxt, pSelect, subquery);
1,296,919✔
359
  }
360
  if (TSDB_CODE_SUCCESS == code) {
1,296,938✔
361
    code = calcConstStmtCondition(pCxt, &pSelect->pWhere, &pSelect->isEmptyResult);
1,296,931✔
362
  }
363
  if (TSDB_CODE_SUCCESS == code) {
1,296,958✔
364
    code = calcConstList(pSelect->pPartitionByList);
1,296,951✔
365
  }
366
  if (TSDB_CODE_SUCCESS == code) {
1,296,877!
367
    code = calcConstList(pSelect->pTags);
1,296,899✔
368
  }
369
  if (TSDB_CODE_SUCCESS == code) {
1,296,901!
370
    code = calcConstNode(&pSelect->pSubtable);
1,296,937✔
371
  }
372
  if (TSDB_CODE_SUCCESS == code) {
1,296,908!
373
    code = calcConstNode(&pSelect->pWindow);
1,296,945✔
374
  }
375
  if (TSDB_CODE_SUCCESS == code) {
1,296,918!
376
    code = calcConstGroupBy(pCxt, pSelect);
1,296,953✔
377
  }
378
  if (TSDB_CODE_SUCCESS == code) {
1,296,870!
379
    code = calcConstStmtCondition(pCxt, &pSelect->pHaving, &pSelect->isEmptyResult);
1,296,926✔
380
  }
381
  if (TSDB_CODE_SUCCESS == code) {
1,296,880!
382
    code = calcConstList(pSelect->pOrderByList);
1,296,941✔
383
  }
384
  return code;
1,296,949✔
385
}
386

387
static int32_t calcConstSelect(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,374,243✔
388
  if (NULL == pSelect->pFromTable) {
1,374,243✔
389
    return calcConstSelectWithoutFrom(pCxt, pSelect, subquery);
75,557✔
390
  } else {
391
    return calcConstSelectFrom(pCxt, pSelect, subquery);
1,298,686✔
392
  }
393
}
394

395
static int32_t calcConstDelete(SCalcConstContext* pCxt, SDeleteStmt* pDelete) {
55,841✔
396
  int32_t code = calcConstFromTable(pCxt, pDelete->pFromTable);
55,841✔
397
  if (TSDB_CODE_SUCCESS == code) {
55,854!
398
    code = calcConstStmtCondition(pCxt, &pDelete->pWhere, &pDelete->deleteZeroRows);
55,854✔
399
  }
400
  if (code == TSDB_CODE_SUCCESS && pDelete->timeRange.skey > pDelete->timeRange.ekey) {
55,848!
401
    pDelete->deleteZeroRows = true;
598✔
402
  }
403
  return code;
55,848✔
404
}
405

406
static int32_t calcConstInsert(SCalcConstContext* pCxt, SInsertStmt* pInsert) {
172✔
407
  int32_t code = calcConstFromTable(pCxt, pInsert->pTable);
172✔
408
  if (TSDB_CODE_SUCCESS == code) {
172!
409
    code = calcConstQuery(pCxt, pInsert->pQuery, false);
172✔
410
  }
411
  return code;
172✔
412
}
413

414
static SNodeList* getChildProjection(SNode* pStmt) {
63,981✔
415
  switch (nodeType(pStmt)) {
63,981!
416
    case QUERY_NODE_SELECT_STMT:
63,919✔
417
      return ((SSelectStmt*)pStmt)->pProjectionList;
63,919✔
418
    case QUERY_NODE_SET_OPERATOR:
62✔
419
      return ((SSetOperator*)pStmt)->pProjectionList;
62✔
420
    default:
×
421
      break;
×
422
  }
423
  return NULL;
×
424
}
425

426
static void eraseSetOpChildProjection(SSetOperator* pSetOp, int32_t index) {
15,926✔
427
  SNodeList* pLeftProjs = getChildProjection(pSetOp->pLeft);
15,926✔
428
  (void)nodesListErase(pLeftProjs, nodesListGetCell(pLeftProjs, index));
15,926✔
429
  if (QUERY_NODE_SET_OPERATOR == nodeType(pSetOp->pLeft)) {
15,926✔
430
    eraseSetOpChildProjection((SSetOperator*)pSetOp->pLeft, index);
31✔
431
  }
432
  SNodeList* pRightProjs = getChildProjection(pSetOp->pRight);
15,926✔
433
  (void)nodesListErase(pRightProjs, nodesListGetCell(pRightProjs, index));
15,926✔
434
  if (QUERY_NODE_SET_OPERATOR == nodeType(pSetOp->pRight)) {
15,926!
435
    eraseSetOpChildProjection((SSetOperator*)pSetOp->pRight, index);
×
436
  }
437
}
15,926✔
438

439
typedef struct SNotRefByOrderByCxt {
440
  SColumnNode* pCol;
441
  bool         hasThisCol;
442
} SNotRefByOrderByCxt;
443

444
static EDealRes notRefByOrderByImpl(SNode* pNode, void* pContext) {
115,830✔
445
  if (QUERY_NODE_COLUMN == nodeType(pNode)) {
115,830✔
446
    SNotRefByOrderByCxt* pCxt = (SNotRefByOrderByCxt*)pContext;
57,915✔
447
    if (nodesEqualNode((SNode*)pCxt->pCol, pNode)) {
57,915✔
448
      pCxt->hasThisCol = true;
19,511✔
449
      return DEAL_RES_END;
19,511✔
450
    }
451
  }
452
  return DEAL_RES_CONTINUE;
96,319✔
453
}
454

455
static bool notRefByOrderBy(SColumnNode* pCol, SNodeList* pOrderByList) {
60,102✔
456
  SNotRefByOrderByCxt cxt = {.pCol = pCol, .hasThisCol = false};
60,102✔
457
  nodesWalkExprs(pOrderByList, notRefByOrderByImpl, &cxt);
60,102✔
458
  return !cxt.hasThisCol;
60,102✔
459
}
460

461
static bool isDistinctSubQuery(SNode* pNode) {
31,914✔
462
  if (NULL == pNode) {
31,914!
463
    return false;
×
464
  }
465
  switch (nodeType(pNode)) {
31,914!
466
    case QUERY_NODE_SELECT_STMT:
31,852✔
467
      return ((SSelectStmt*)pNode)->isDistinct;
31,852✔
468
    case QUERY_NODE_SET_OPERATOR:
62✔
469
      return isDistinctSubQuery((((SSetOperator*)pNode)->pLeft)) || isDistinctSubQuery((((SSetOperator*)pNode)->pLeft));
62!
470
    default:
×
471
      break;
×
472
  }
473
  return false;
×
474
}
475

476
static bool isSetUselessCol(SSetOperator* pSetOp, int32_t index, SExprNode* pProj) {
40,591✔
477
  if (!isUselessCol(pProj)) {
40,591✔
478
    return false;
24,357✔
479
  }
480

481
  SNodeList* pLeftProjs = getChildProjection(pSetOp->pLeft);
16,234✔
482
  if (!isUselessCol((SExprNode*)nodesListGetNode(pLeftProjs, index)) || isDistinctSubQuery(pSetOp->pLeft)) {
16,234!
483
    return false;
339✔
484
  }
485

486
  SNodeList* pRightProjs = getChildProjection(pSetOp->pRight);
15,895✔
487
  if (!isUselessCol((SExprNode*)nodesListGetNode(pRightProjs, index)) || isDistinctSubQuery(pSetOp->pLeft)) {
15,895!
488
    return false;
×
489
  }
490

491
  return true;
15,895✔
492
}
493

494
static int32_t calcConstSetOpProjections(SCalcConstContext* pCxt, SSetOperator* pSetOp, bool subquery) {
93,980✔
495
  if (subquery && pSetOp->opType == SET_OP_TYPE_UNION) {
93,980✔
496
    return TSDB_CODE_SUCCESS;
20,878✔
497
  }
498
  int32_t index = 0;
73,102✔
499
  SNode*  pProj = NULL;
73,102✔
500
  WHERE_EACH(pProj, pSetOp->pProjectionList) {
235,205!
501
    if (subquery && notRefByOrderBy((SColumnNode*)pProj, pSetOp->pOrderByList) &&
202,694✔
502
        isSetUselessCol(pSetOp, index, (SExprNode*)pProj)) {
40,591✔
503
      ERASE_NODE(pSetOp->pProjectionList);
15,895✔
504
      eraseSetOpChildProjection(pSetOp, index);
15,895✔
505
      continue;
15,895✔
506
    }
507
    ++index;
146,208✔
508
    WHERE_NEXT;
146,208✔
509
  }
510
  if (0 == LIST_LENGTH(pSetOp->pProjectionList)) {
73,102!
511
    SValueNode* pVal = NULL;
10✔
512
    int32_t code = createConstantValue(&pVal);
10✔
513
    if (TSDB_CODE_SUCCESS == code) {
10!
514
      return nodesListStrictAppend(pSetOp->pProjectionList, (SNode*)pVal);
10✔
515
    }
516
  }
517
  return TSDB_CODE_SUCCESS;
73,092✔
518
}
519

520
static int32_t calcConstSetOperator(SCalcConstContext* pCxt, SSetOperator* pSetOp, bool subquery) {
93,980✔
521
  int32_t code = calcConstSetOpProjections(pCxt, pSetOp, subquery);
93,980✔
522
  if (TSDB_CODE_SUCCESS == code) {
93,980!
523
    code = calcConstQuery(pCxt, pSetOp->pLeft, false);
93,980✔
524
  }
525
  if (TSDB_CODE_SUCCESS == code) {
93,980!
526
    code = calcConstQuery(pCxt, pSetOp->pRight, false);
93,980✔
527
  }
528
  if (TSDB_CODE_SUCCESS == code) {
93,980!
529
    code = calcConstList(pSetOp->pOrderByList);
93,980✔
530
  }
531
  return code;
93,980✔
532
}
533

534
static int32_t calcConstQuery(SCalcConstContext* pCxt, SNode* pStmt, bool subquery) {
1,809,063✔
535
  int32_t code = TSDB_CODE_SUCCESS;
1,809,063✔
536
  switch (nodeType(pStmt)) {
1,809,063✔
537
    case QUERY_NODE_SELECT_STMT:
1,374,286✔
538
      code = calcConstSelect(pCxt, (SSelectStmt*)pStmt, subquery);
1,374,286✔
539
      break;
1,374,258✔
540
    case QUERY_NODE_EXPLAIN_STMT:
132,422✔
541
      code = calcConstQuery(pCxt, ((SExplainStmt*)pStmt)->pQuery, subquery);
132,422✔
542
      break;
132,422✔
543
    case QUERY_NODE_SET_OPERATOR: {
93,980✔
544
      code = calcConstSetOperator(pCxt, (SSetOperator*)pStmt, subquery);
93,980✔
545
      break;
93,980✔
546
    }
547
    case QUERY_NODE_DELETE_STMT:
55,849✔
548
      code = calcConstDelete(pCxt, (SDeleteStmt*)pStmt);
55,849✔
549
      break;
55,849✔
550
    case QUERY_NODE_INSERT_STMT:
172✔
551
      code = calcConstInsert(pCxt, (SInsertStmt*)pStmt);
172✔
552
      break;
172✔
553
    default:
152,354✔
554
      break;
152,354✔
555
  }
556
  return code;
1,809,035✔
557
}
558

559
static bool isEmptyResultQuery(SNode* pStmt) {
1,349,188✔
560
  bool isEmptyResult = false;
1,349,188✔
561
  switch (nodeType(pStmt)) {
1,349,188✔
562
    case QUERY_NODE_SELECT_STMT:
956,919✔
563
      isEmptyResult = ((SSelectStmt*)pStmt)->isEmptyResult;
956,919✔
564
      break;
956,919✔
565
    case QUERY_NODE_EXPLAIN_STMT:
132,421✔
566
      isEmptyResult = isEmptyResultQuery(((SExplainStmt*)pStmt)->pQuery);
132,421✔
567
      break;
132,421✔
568
    case QUERY_NODE_SET_OPERATOR: {
51,487✔
569
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
51,487✔
570
      isEmptyResult = isEmptyResultQuery(pSetOp->pLeft);
51,487✔
571
      if (isEmptyResult) {
51,487!
572
        isEmptyResult = isEmptyResultQuery(pSetOp->pRight);
×
573
      }
574
      break;
51,487✔
575
    }
576
    case QUERY_NODE_DELETE_STMT:
55,838✔
577
      isEmptyResult = ((SDeleteStmt*)pStmt)->deleteZeroRows;
55,838✔
578
      break;
55,838✔
579
    default:
152,523✔
580
      break;
152,523✔
581
  }
582
  return isEmptyResult;
1,349,188✔
583
}
584

585
static void resetProjectNullTypeImpl(SNodeList* pProjects) {
824,448✔
586
  SNode* pProj = NULL;
824,448✔
587
  FOREACH(pProj, pProjects) {
3,826,208!
588
    SExprNode* pExpr = (SExprNode*)pProj;
3,001,760✔
589
    if (TSDB_DATA_TYPE_NULL == pExpr->resType.type) {
3,001,760✔
590
      pExpr->resType.type = TSDB_DATA_TYPE_VARCHAR;
18✔
591
      pExpr->resType.bytes = VARSTR_HEADER_SIZE;
18✔
592
    }
593
  }
594
}
824,448✔
595

596
static void resetProjectNullType(SNode* pStmt) {
1,165,223✔
597
  switch (nodeType(pStmt)) {
1,165,223✔
598
    case QUERY_NODE_SELECT_STMT:
783,449✔
599
      resetProjectNullTypeImpl(((SSelectStmt*)pStmt)->pProjectionList);
783,449✔
600
      break;
783,496✔
601
    case QUERY_NODE_SET_OPERATOR: {
41,009✔
602
      resetProjectNullTypeImpl(((SSetOperator*)pStmt)->pProjectionList);
41,009✔
603
      break;
41,009✔
604
    }
605
    default:
340,765✔
606
      break;
340,765✔
607
  }
608
}
1,165,270✔
609

610
int32_t calculateConstant(SParseContext* pParseCxt, SQuery* pQuery) {
1,165,319✔
611
  SCalcConstContext cxt = {.pParseCxt = pParseCxt,
1,165,319✔
612
                           .msgBuf.buf = pParseCxt->pMsg,
1,165,319✔
613
                           .msgBuf.len = pParseCxt->msgLen,
1,165,319✔
614
                           .code = TSDB_CODE_SUCCESS};
615
  int32_t           code = calcConstQuery(&cxt, pQuery->pRoot, false);
1,165,319✔
616
  if (TSDB_CODE_SUCCESS == code) {
1,165,332✔
617
    resetProjectNullType(pQuery->pRoot);
1,165,324✔
618
    if (isEmptyResultQuery(pQuery->pRoot)) {
1,165,327✔
619
      pQuery->execMode = QUERY_EXEC_MODE_EMPTY_RESULT;
4,103✔
620
    }
621
  }
622
  return code;
1,165,339✔
623
}
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