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

taosdata / TDengine / #3535

23 Nov 2024 02:07AM UTC coverage: 60.85% (+0.03%) from 60.825%
#3535

push

travis-ci

web-flow
Merge pull request #28893 from taosdata/doc/internal

refact: rename taos lib name

120252 of 252737 branches covered (47.58%)

Branch coverage included in aggregate %.

201187 of 275508 relevant lines covered (73.02%)

15886166.19 hits per line

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

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

40
static int32_t calcConstNode(SNode** pNode) {
3,102,970✔
41
  if (NULL == *pNode) {
3,102,970✔
42
    return TSDB_CODE_SUCCESS;
2,409,892✔
43
  }
44

45
  SNode*  pNew = NULL;
693,078✔
46
  int32_t code = scalarCalculateConstants(*pNode, &pNew);
693,078✔
47
  if (TSDB_CODE_SUCCESS == code) {
693,125✔
48
    *pNode = pNew;
693,120✔
49
  }
50
  return code;
693,125✔
51
}
52

53
static int32_t calcConstList(SNodeList* pList) {
4,983,682✔
54
  SNode* pNode = NULL;
4,983,682✔
55
  FOREACH(pNode, pList) {
5,732,238✔
56
    SNode*  pNew = NULL;
748,556✔
57
    int32_t code = scalarCalculateConstants(pNode, &pNew);
748,556✔
58
    if (TSDB_CODE_SUCCESS == code) {
748,556!
59
      REPLACE_NODE(pNew);
748,556✔
60
    } else {
61
      return code;
×
62
    }
63
  }
64
  return TSDB_CODE_SUCCESS;
4,983,682✔
65
}
66

67
static bool isCondition(const SNode* pNode) {
1,735,118✔
68
  if (QUERY_NODE_OPERATOR == nodeType(pNode)) {
1,735,118✔
69
    return nodesIsComparisonOp((const SOperatorNode*)pNode);
1,304,062✔
70
  }
71
  return (QUERY_NODE_LOGIC_CONDITION == nodeType(pNode));
431,056✔
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) {
7,991,569✔
89
  if (QUERY_NODE_LOGIC_CONDITION == nodeType(*pNode)) {
7,991,569✔
90
    SNode* pParam = NULL;
431,101✔
91
    FOREACH(pParam, ((SLogicConditionNode*)*pNode)->pParameterList) {
1,515,039!
92
      if (!isCondition(pParam)) {
1,083,943!
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;
7,991,564✔
103
}
104

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

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

121
static int32_t rewriteConditionForFromTable(SCalcConstContext* pCxt, SNode* pTable) {
1,514,458✔
122
  int32_t code = TSDB_CODE_SUCCESS;
1,514,458✔
123
  switch (nodeType(pTable)) {
1,514,458✔
124
    case QUERY_NODE_TEMP_TABLE: {
301,862✔
125
      code = calcConstSubquery(pCxt, (STempTableNode*)pTable);
301,862✔
126
      break;
301,862✔
127
    }
128
    case QUERY_NODE_JOIN_TABLE: {
115,681✔
129
      SJoinTableNode* pJoin = (SJoinTableNode*)pTable;
115,681✔
130
      code = rewriteConditionForFromTable(pCxt, pJoin->pLeft);
115,681✔
131
      if (TSDB_CODE_SUCCESS == code) {
115,681!
132
        code = rewriteConditionForFromTable(pCxt, pJoin->pRight);
115,681✔
133
      }
134
      if (TSDB_CODE_SUCCESS == code && NULL != pJoin->pOnCond) {
115,681!
135
        code = calcConstCondition(pCxt, &pJoin->pOnCond);
45,660✔
136
      }
137
      // todo empty table
138
      break;
115,681✔
139
    }
140
    default:
1,096,915✔
141
      break;
1,096,915✔
142
  }
143
  return code;
1,514,458✔
144
}
145

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

150
static void rewriteConstCondition(SNode** pCond, bool* pAlwaysFalse) {
605,561✔
151
  if (QUERY_NODE_VALUE != nodeType(*pCond)) {
605,561✔
152
    return;
576,104✔
153
  }
154
  if (((SValueNode*)*pCond)->datum.b) {
29,457✔
155
    nodesDestroyNode(*pCond);
28,981✔
156
    *pCond = NULL;
28,981✔
157
  } else {
158
    *pAlwaysFalse = true;
476✔
159
  }
160
}
161

162
static int32_t calcConstStmtCondition(SCalcConstContext* pCxt, SNode** pCond, bool* pAlwaysFalse) {
2,507,627✔
163
  if (NULL == *pCond) {
2,507,627✔
164
    return TSDB_CODE_SUCCESS;
1,902,090✔
165
  }
166

167
  int32_t code = rewriteCondition(pCxt, pCond);
605,537✔
168
  if (TSDB_CODE_SUCCESS == code) {
605,565!
169
    code = calcConstNode(pCond);
605,566✔
170
  }
171
  if (TSDB_CODE_SUCCESS == code) {
605,562✔
172
    rewriteConstCondition(pCond, pAlwaysFalse);
605,561✔
173
  }
174
  return code;
605,565✔
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,442,491✔
209
  SArray* pAssociation = NULL;
4,442,491✔
210
  if (NULL != ((SExprNode*)pProject)->pAssociation) {
4,442,491✔
211
    pAssociation = taosArrayDup(((SExprNode*)pProject)->pAssociation, NULL);
609,250✔
212
    if (NULL == pAssociation) {
609,250!
213
      return terrno;
×
214
    }
215
  }
216

217
  char aliasName[TSDB_COL_NAME_LEN] = {0};
4,442,508✔
218
  int32_t code = TSDB_CODE_SUCCESS;
4,442,508✔
219
  if (dual) {
4,442,508✔
220
    code = scalarCalculateConstantsFromDual(pProject, pNew);
77,489✔
221
  } else {
222
    code = scalarCalculateConstants(pProject, pNew);
4,365,019✔
223
  }
224
  if (TSDB_CODE_SUCCESS == code) {
4,442,532✔
225
    if (QUERY_NODE_VALUE == nodeType(*pNew) && NULL != pAssociation) {
4,442,500✔
226
      int32_t size = taosArrayGetSize(pAssociation);
30,506✔
227
      for (int32_t i = 0; i < size; ++i) {
61,044✔
228
        SAssociationNode* pAssNode = taosArrayGet(pAssociation, i);
30,538✔
229
        SNode** pCol = pAssNode->pPlace;
30,538✔
230
        if (*pCol == pAssNode->pAssociationNode) {
30,538✔
231
          strcpy(aliasName, ((SExprNode*)*pCol)->aliasName);
30,532✔
232
          SArray* pOrigAss = NULL;
30,532✔
233
          TSWAP(((SExprNode*)*pCol)->pAssociation, pOrigAss);
30,532✔
234
          nodesDestroyNode(*pCol);
30,532✔
235
          *pCol = NULL;
30,532✔
236
          code = nodesCloneNode(*pNew, pCol);
30,532✔
237
          if (TSDB_CODE_SUCCESS == code) {
30,532!
238
            strcpy(((SExprNode*)*pCol)->aliasName, aliasName);
30,532✔
239
            TSWAP(pOrigAss, ((SExprNode*)*pCol)->pAssociation);
30,532✔
240
          }
241
          taosArrayDestroy(pOrigAss);
30,532✔
242
          if (TSDB_CODE_SUCCESS != code) {
30,532!
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,442,532✔
255
  return code;
4,442,495✔
256
}
257

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

262
EDealRes checkUselessCol(SNode *pNode, void *pContext) {
2,355,055✔
263
  SIsUselessColCtx  *ctx = (SIsUselessColCtx *)pContext;
2,355,055✔
264
  if (QUERY_NODE_FUNCTION == nodeType(pNode) && !fmIsScalarFunc(((SFunctionNode*)pNode)->funcId) &&
2,355,055✔
265
      !fmIsPseudoColumnFunc(((SFunctionNode*)pNode)->funcId)) {
195,864✔
266
    ctx->isUseless = false;  
161,773✔
267
    return DEAL_RES_END;
161,773✔
268
  }
269

270
  return DEAL_RES_CONTINUE;
2,193,285✔
271
}
272

273
static bool isUselessCol(SExprNode* pProj) {
1,955,860✔
274
  SIsUselessColCtx ctx = {.isUseless = true};
1,955,860✔
275
  nodesWalkExpr((SNode*)pProj, checkUselessCol, (void *)&ctx);
1,955,860✔
276
  if (!ctx.isUseless) {
1,955,863✔
277
    return false;
161,773✔
278
  }
279
  return NULL == ((SExprNode*)pProj)->pAssociation;
1,794,090✔
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,303,311✔
302
  SNode* pProj = NULL;
1,303,311✔
303
  WHERE_EACH(pProj, pSelect->pProjectionList) {
7,013,082!
304
    if (subquery && !pSelect->isDistinct && !pSelect->tagScan && isUselessCol((SExprNode*)pProj)) {
5,709,790✔
305
      ERASE_NODE(pSelect->pProjectionList);
1,267,280✔
306
      continue;
1,267,280✔
307
    }
308
    SNode*  pNew = NULL;
4,442,511✔
309
    int32_t code = calcConstProject(pCxt, pProj, (NULL == pSelect->pFromTable), &pNew);
4,442,511✔
310
    if (TSDB_CODE_SUCCESS == code) {
4,442,511✔
311
      REPLACE_NODE(pNew);
4,442,491✔
312
    } else {
313
      return code;
20✔
314
    }
315
    WHERE_NEXT;
4,442,491✔
316
  }
317
  if (0 == LIST_LENGTH(pSelect->pProjectionList)) {
1,303,292!
318
    SValueNode* pVal = NULL;
1,926✔
319
    int32_t code = createConstantValue(&pVal);
1,926✔
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,301,366✔
325
}
326

327
static int32_t calcConstGroupBy(SCalcConstContext* pCxt, SSelectStmt* pSelect) {
1,225,873✔
328
  int32_t code = calcConstList(pSelect->pGroupByList);
1,225,873✔
329
  if (TSDB_CODE_SUCCESS == code) {
1,225,884!
330
    SNode* pNode = NULL;
1,225,889✔
331
    FOREACH(pNode, pSelect->pGroupByList) {
1,419,116✔
332
      bool   hasNotValue = false;
193,227✔
333
      SNode* pGroupPara = NULL;
193,227✔
334
      FOREACH(pGroupPara, ((SGroupingSetNode*)pNode)->pParameterList) {
208,279!
335
        if (QUERY_NODE_VALUE != nodeType(pGroupPara)) {
193,227✔
336
          hasNotValue = true;
178,175✔
337
          break;
178,175✔
338
        }
339
      }
340
      if (!hasNotValue) {
193,227✔
341
        if (pSelect->hasAggFuncs) {
15,052✔
342
          ERASE_NODE(pSelect->pGroupByList);
254✔
343
        } else {
344
          if (!cell->pPrev && !cell->pNext) continue;
14,798!
345
          ERASE_NODE(pSelect->pGroupByList);
×
346
        }
347
      }
348
    }
349
  }
350
  return code;
1,225,884✔
351
}
352

353
static int32_t calcConstSelectWithoutFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
77,447✔
354
  return calcConstProjections(pCxt, pSelect, subquery);
77,447✔
355
}
356

357
static int32_t calcConstSelectFrom(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,227,079✔
358
  int32_t code = calcConstFromTable(pCxt, pSelect->pFromTable);
1,227,079✔
359
  if (TSDB_CODE_SUCCESS == code && QUERY_NODE_TEMP_TABLE == nodeType(pSelect->pFromTable) &&
1,227,079!
360
      ((STempTableNode*)pSelect->pFromTable)->pSubquery != NULL &&
301,272!
361
      QUERY_NODE_SELECT_STMT == nodeType(((STempTableNode*)pSelect->pFromTable)->pSubquery) &&
301,272✔
362
      ((SSelectStmt*)((STempTableNode*)pSelect->pFromTable)->pSubquery)->isEmptyResult){
266,386✔
363
    pSelect->isEmptyResult = true;
1,201✔
364
    return code;
1,201✔
365
  }      
366
  if (TSDB_CODE_SUCCESS == code) {
1,225,878!
367
    code = calcConstProjections(pCxt, pSelect, subquery);
1,225,883✔
368
  }
369
  if (TSDB_CODE_SUCCESS == code) {
1,225,890!
370
    code = calcConstStmtCondition(pCxt, &pSelect->pWhere, &pSelect->isEmptyResult);
1,225,898✔
371
  }
372
  if (TSDB_CODE_SUCCESS == code) {
1,225,895!
373
    code = calcConstList(pSelect->pPartitionByList);
1,225,900✔
374
  }
375
  if (TSDB_CODE_SUCCESS == code) {
1,225,875!
376
    code = calcConstList(pSelect->pTags);
1,225,891✔
377
  }
378
  if (TSDB_CODE_SUCCESS == code) {
1,225,881!
379
    code = calcConstNode(&pSelect->pSubtable);
1,225,899✔
380
  }
381
  if (TSDB_CODE_SUCCESS == code) {
1,225,880!
382
    code = calcConstNode(&pSelect->pWindow);
1,225,898✔
383
  }
384
  if (TSDB_CODE_SUCCESS == code) {
1,225,881!
385
    code = calcConstGroupBy(pCxt, pSelect);
1,225,898✔
386
  }
387
  if (TSDB_CODE_SUCCESS == code) {
1,225,855!
388
    code = calcConstStmtCondition(pCxt, &pSelect->pHaving, &pSelect->isEmptyResult);
1,225,887✔
389
  }
390
  if (TSDB_CODE_SUCCESS == code) {
1,225,861!
391
    code = calcConstList(pSelect->pOrderByList);
1,225,897✔
392
  }
393
  return code;
1,225,904✔
394
}
395

396
static int32_t calcConstSelect(SCalcConstContext* pCxt, SSelectStmt* pSelect, bool subquery) {
1,304,523✔
397
  if (NULL == pSelect->pFromTable) {
1,304,523✔
398
    return calcConstSelectWithoutFrom(pCxt, pSelect, subquery);
77,447✔
399
  } else {
400
    return calcConstSelectFrom(pCxt, pSelect, subquery);
1,227,076✔
401
  }
402
}
403

404
static int32_t calcConstDelete(SCalcConstContext* pCxt, SDeleteStmt* pDelete) {
55,863✔
405
  int32_t code = calcConstFromTable(pCxt, pDelete->pFromTable);
55,863✔
406
  if (TSDB_CODE_SUCCESS == code) {
55,863!
407
    code = calcConstStmtCondition(pCxt, &pDelete->pWhere, &pDelete->deleteZeroRows);
55,864✔
408
  }
409
  if (code == TSDB_CODE_SUCCESS && pDelete->timeRange.skey > pDelete->timeRange.ekey) {
55,864✔
410
    pDelete->deleteZeroRows = true;
598✔
411
  }
412
  return code;
55,864✔
413
}
414

415
static int32_t calcConstInsert(SCalcConstContext* pCxt, SInsertStmt* pInsert) {
172✔
416
  int32_t code = calcConstFromTable(pCxt, pInsert->pTable);
172✔
417
  if (TSDB_CODE_SUCCESS == code) {
172!
418
    code = calcConstQuery(pCxt, pInsert->pQuery, false);
172✔
419
  }
420
  return code;
172✔
421
}
422

423
static SNodeList* getChildProjection(SNode* pStmt) {
64,794✔
424
  switch (nodeType(pStmt)) {
64,794!
425
    case QUERY_NODE_SELECT_STMT:
64,704✔
426
      return ((SSelectStmt*)pStmt)->pProjectionList;
64,704✔
427
    case QUERY_NODE_SET_OPERATOR:
90✔
428
      return ((SSetOperator*)pStmt)->pProjectionList;
90✔
429
    default:
×
430
      break;
×
431
  }
432
  return NULL;
×
433
}
434

435
static void eraseSetOpChildProjection(SSetOperator* pSetOp, int32_t index) {
16,121✔
436
  SNodeList* pLeftProjs = getChildProjection(pSetOp->pLeft);
16,121✔
437
  (void)nodesListErase(pLeftProjs, nodesListGetCell(pLeftProjs, index));
16,121✔
438
  if (QUERY_NODE_SET_OPERATOR == nodeType(pSetOp->pLeft)) {
16,121✔
439
    eraseSetOpChildProjection((SSetOperator*)pSetOp->pLeft, index);
43✔
440
  }
441
  SNodeList* pRightProjs = getChildProjection(pSetOp->pRight);
16,121✔
442
  (void)nodesListErase(pRightProjs, nodesListGetCell(pRightProjs, index));
16,121✔
443
  if (QUERY_NODE_SET_OPERATOR == nodeType(pSetOp->pRight)) {
16,121!
444
    eraseSetOpChildProjection((SSetOperator*)pSetOp->pRight, index);
×
445
  }
446
}
16,121✔
447

448
typedef struct SNotRefByOrderByCxt {
449
  SColumnNode* pCol;
450
  bool         hasThisCol;
451
} SNotRefByOrderByCxt;
452

453
static EDealRes notRefByOrderByImpl(SNode* pNode, void* pContext) {
100,348✔
454
  if (QUERY_NODE_COLUMN == nodeType(pNode)) {
100,348✔
455
    SNotRefByOrderByCxt* pCxt = (SNotRefByOrderByCxt*)pContext;
50,174✔
456
    if (nodesEqualNode((SNode*)pCxt->pCol, pNode)) {
50,174✔
457
      pCxt->hasThisCol = true;
15,753✔
458
      return DEAL_RES_END;
15,753✔
459
    }
460
  }
461
  return DEAL_RES_CONTINUE;
84,595✔
462
}
463

464
static bool notRefByOrderBy(SColumnNode* pCol, SNodeList* pOrderByList) {
52,699✔
465
  SNotRefByOrderByCxt cxt = {.pCol = pCol, .hasThisCol = false};
52,699✔
466
  nodesWalkExprs(pOrderByList, notRefByOrderByImpl, &cxt);
52,699✔
467
  return !cxt.hasThisCol;
52,699✔
468
}
469

470
static bool isDistinctSubQuery(SNode* pNode) {
32,863✔
471
  if (NULL == pNode) {
32,863!
472
    return false;
×
473
  }
474
  switch (nodeType(pNode)) {
32,863!
475
    case QUERY_NODE_SELECT_STMT:
32,516✔
476
      return ((SSelectStmt*)pNode)->isDistinct;
32,516✔
477
    case QUERY_NODE_SET_OPERATOR:
347✔
478
      return isDistinctSubQuery((((SSetOperator*)pNode)->pLeft)) || isDistinctSubQuery((((SSetOperator*)pNode)->pLeft));
347!
479
    default:
×
480
      break;
×
481
  }
482
  return false;
×
483
}
484

485
static bool isSetUselessCol(SSetOperator* pSetOp, int32_t index, SExprNode* pProj) {
36,946✔
486
  if (!isUselessCol(pProj)) {
36,946✔
487
    return false;
20,485✔
488
  }
489

490
  SNodeList* pLeftProjs = getChildProjection(pSetOp->pLeft);
16,461✔
491
  if (!isUselessCol((SExprNode*)nodesListGetNode(pLeftProjs, index)) || isDistinctSubQuery(pSetOp->pLeft)) {
16,461!
492
    return false;
370✔
493
  }
494

495
  SNodeList* pRightProjs = getChildProjection(pSetOp->pRight);
16,091✔
496
  if (!isUselessCol((SExprNode*)nodesListGetNode(pRightProjs, index)) || isDistinctSubQuery(pSetOp->pLeft)) {
16,091!
497
    return false;
13✔
498
  }
499

500
  return true;
16,078✔
501
}
502

503
static int32_t calcConstSetOpProjections(SCalcConstContext* pCxt, SSetOperator* pSetOp, bool subquery) {
80,133✔
504
  if (subquery && pSetOp->opType == SET_OP_TYPE_UNION) {
80,133✔
505
    return TSDB_CODE_SUCCESS;
17,104✔
506
  }
507
  int32_t index = 0;
63,029✔
508
  SNode*  pProj = NULL;
63,029✔
509
  WHERE_EACH(pProj, pSetOp->pProjectionList) {
207,173!
510
    if (subquery && notRefByOrderBy((SColumnNode*)pProj, pSetOp->pOrderByList) &&
181,090✔
511
        isSetUselessCol(pSetOp, index, (SExprNode*)pProj)) {
36,946✔
512
      ERASE_NODE(pSetOp->pProjectionList);
16,078✔
513
      eraseSetOpChildProjection(pSetOp, index);
16,078✔
514
      continue;
16,078✔
515
    }
516
    ++index;
128,066✔
517
    WHERE_NEXT;
128,066✔
518
  }
519
  if (0 == LIST_LENGTH(pSetOp->pProjectionList)) {
63,029!
520
    SValueNode* pVal = NULL;
10✔
521
    int32_t code = createConstantValue(&pVal);
10✔
522
    if (TSDB_CODE_SUCCESS == code) {
10!
523
      return nodesListStrictAppend(pSetOp->pProjectionList, (SNode*)pVal);
10✔
524
    }
525
  }
526
  return TSDB_CODE_SUCCESS;
63,019✔
527
}
528

529
static int32_t calcConstSetOperator(SCalcConstContext* pCxt, SSetOperator* pSetOp, bool subquery) {
80,133✔
530
  int32_t code = calcConstSetOpProjections(pCxt, pSetOp, subquery);
80,133✔
531
  if (TSDB_CODE_SUCCESS == code) {
80,133!
532
    code = calcConstQuery(pCxt, pSetOp->pLeft, false);
80,133✔
533
  }
534
  if (TSDB_CODE_SUCCESS == code) {
80,133!
535
    code = calcConstQuery(pCxt, pSetOp->pRight, false);
80,133✔
536
  }
537
  if (TSDB_CODE_SUCCESS == code) {
80,133!
538
    code = calcConstList(pSetOp->pOrderByList);
80,133✔
539
  }
540
  return code;
80,133✔
541
}
542

543
static int32_t calcConstQuery(SCalcConstContext* pCxt, SNode* pStmt, bool subquery) {
1,725,816✔
544
  int32_t code = TSDB_CODE_SUCCESS;
1,725,816✔
545
  switch (nodeType(pStmt)) {
1,725,816✔
546
    case QUERY_NODE_SELECT_STMT:
1,304,535✔
547
      code = calcConstSelect(pCxt, (SSelectStmt*)pStmt, subquery);
1,304,535✔
548
      break;
1,304,529✔
549
    case QUERY_NODE_EXPLAIN_STMT:
132,382✔
550
      code = calcConstQuery(pCxt, ((SExplainStmt*)pStmt)->pQuery, subquery);
132,382✔
551
      break;
132,382✔
552
    case QUERY_NODE_SET_OPERATOR: {
80,133✔
553
      code = calcConstSetOperator(pCxt, (SSetOperator*)pStmt, subquery);
80,133✔
554
      break;
80,133✔
555
    }
556
    case QUERY_NODE_DELETE_STMT:
55,864✔
557
      code = calcConstDelete(pCxt, (SDeleteStmt*)pStmt);
55,864✔
558
      break;
55,863✔
559
    case QUERY_NODE_INSERT_STMT:
172✔
560
      code = calcConstInsert(pCxt, (SInsertStmt*)pStmt);
172✔
561
      break;
172✔
562
    default:
152,730✔
563
      break;
152,730✔
564
  }
565
  return code;
1,725,809✔
566
}
567

568
static bool isEmptyResultQuery(SNode* pStmt) {
1,308,381✔
569
  bool isEmptyResult = false;
1,308,381✔
570
  switch (nodeType(pStmt)) {
1,308,381✔
571
    case QUERY_NODE_SELECT_STMT:
922,350✔
572
      isEmptyResult = ((SSelectStmt*)pStmt)->isEmptyResult;
922,350✔
573
      break;
922,350✔
574
    case QUERY_NODE_EXPLAIN_STMT:
132,381✔
575
      isEmptyResult = isEmptyResultQuery(((SExplainStmt*)pStmt)->pQuery);
132,381✔
576
      break;
132,381✔
577
    case QUERY_NODE_SET_OPERATOR: {
44,887✔
578
      SSetOperator* pSetOp = (SSetOperator*)pStmt;
44,887✔
579
      isEmptyResult = isEmptyResultQuery(pSetOp->pLeft);
44,887✔
580
      if (isEmptyResult) {
44,887!
581
        isEmptyResult = isEmptyResultQuery(pSetOp->pRight);
×
582
      }
583
      break;
44,887✔
584
    }
585
    case QUERY_NODE_DELETE_STMT:
55,862✔
586
      isEmptyResult = ((SDeleteStmt*)pStmt)->deleteZeroRows;
55,862✔
587
      break;
55,862✔
588
    default:
152,901✔
589
      break;
152,901✔
590
  }
591
  return isEmptyResult;
1,308,381✔
592
}
593

594
static void resetProjectNullTypeImpl(SNodeList* pProjects) {
789,971✔
595
  SNode* pProj = NULL;
789,971✔
596
  FOREACH(pProj, pProjects) {
3,738,208!
597
    SExprNode* pExpr = (SExprNode*)pProj;
2,948,237✔
598
    if (TSDB_DATA_TYPE_NULL == pExpr->resType.type) {
2,948,237✔
599
      pExpr->resType.type = TSDB_DATA_TYPE_VARCHAR;
18✔
600
      pExpr->resType.bytes = VARSTR_HEADER_SIZE;
18✔
601
    }
602
  }
603
}
789,971✔
604

605
static void resetProjectNullType(SNode* pStmt) {
1,131,092✔
606
  switch (nodeType(pStmt)) {
1,131,092✔
607
    case QUERY_NODE_SELECT_STMT:
755,574✔
608
      resetProjectNullTypeImpl(((SSelectStmt*)pStmt)->pProjectionList);
755,574✔
609
      break;
755,584✔
610
    case QUERY_NODE_SET_OPERATOR: {
34,409✔
611
      resetProjectNullTypeImpl(((SSetOperator*)pStmt)->pProjectionList);
34,409✔
612
      break;
34,409✔
613
    }
614
    default:
341,109✔
615
      break;
341,109✔
616
  }
617
}
1,131,102✔
618

619
int32_t calculateConstant(SParseContext* pParseCxt, SQuery* pQuery) {
1,131,139✔
620
  SCalcConstContext cxt = {.pParseCxt = pParseCxt,
1,131,139✔
621
                           .msgBuf.buf = pParseCxt->pMsg,
1,131,139✔
622
                           .msgBuf.len = pParseCxt->msgLen,
1,131,139✔
623
                           .code = TSDB_CODE_SUCCESS};
624
  int32_t           code = calcConstQuery(&cxt, pQuery->pRoot, false);
1,131,139✔
625
  if (TSDB_CODE_SUCCESS == code) {
1,131,150✔
626
    resetProjectNullType(pQuery->pRoot);
1,131,136✔
627
    if (isEmptyResultQuery(pQuery->pRoot)) {
1,131,123✔
628
      pQuery->execMode = QUERY_EXEC_MODE_EMPTY_RESULT;
3,256✔
629
    }
630
  }
631
  return code;
1,131,154✔
632
}
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