expression: avoid refinement of arguments on nullable value

[tuziemon]

What problem does this PR solve?

Issue Number: close #44706

Problem Summary:

What changed and how does it work?

Currently, the equation of an unsigned int constant and a signed int column is replaced by the equation of constants 1 and 0.
However, this produces an incorrect result if the column is null, so a check for notnullflag should be added.

Check List

Tests

• Unit test
• Integration test
• Manual test (add detailed scripts or steps below)
• No need to test

  • I checked and no code files have been changed.

Side effects

• Performance regression: Consumes more CPU
• Performance regression: Consumes more Memory
• Breaking backward compatibility

Documentation

• Affects user behaviors
• Contains syntax changes
• Contains variable changes
• Contains experimental features
• Changes MySQL compatibility

Release note

Please refer to Release Notes Language Style Guide to write a quality release note.

None

[ti-chi-bot]

Hi @tuziemon. Thanks for your PR.

I'm waiting for a pingcap member to verify that this patch is reasonable to test. If it is, they should reply with /ok-to-test on its own line. Until that is done, I will not automatically test new commits in this PR, but the usual testing commands by org members will still work. Regular contributors should join the org to skip this step.

Once the patch is verified, the new status will be reflected by the ok-to-test label.

I understand the commands that are listed here.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository.

[tiprow]

Hi @tuziemon. Thanks for your PR.

PRs from untrusted users cannot be marked as trusted with /ok-to-test in this repo meaning untrusted PR authors can never trigger tests themselves. Collaborators can still trigger tests on the PR using /test all.

I understand the commands that are listed here.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes-sigs/prow repository.

[hawkingrei]

/ok-to-test

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74.9893%. Comparing base (c56694c) to head (c4c619e).
Report is 2 commits behind head on master.

Additional details and impacted files

@@               Coverage Diff                @@
##             master     #55805        +/-   ##
================================================
+ Coverage   73.3670%   74.9893%   +1.6222%     
================================================
  Files          1622       1665        +43     
  Lines        447161     478252     +31091     
================================================
+ Hits         328069     358638     +30569     
+ Misses        98984      98410       -574     
- Partials      20108      21204      +1096     

Flag	Coverage Δ
integration	48.8592% <100.0000%> (?)
unit	72.4620% <100.0000%> (+0.0169%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Components	Coverage Δ
dumpling	52.9478% <ø> (ø)
parser	∅ <ø> (∅)
br	52.1005% <72.7272%> (+6.5940%)	⬆️

[tuziemon]

/retest

[tuziemon]

/retest

[lance6716]

Thanks. Can you add an test that shows the SQL in #44706 now returns correct result? You can take a look at pkg/expression/integration_test/integration_test.go

[tuziemon]

Thank you for your comment.
I added the integration test to pkg/expression/integration_test/integration_test.go.

[lance6716]

/cc @zanmato1984 @windtalker

[tuziemon]

/retest

[windtalker]

LGTM

[ti-chi-bot]

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: windtalker, XuHuaiyu

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

• pkg/expression/OWNERS [XuHuaiyu,windtalker]

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

[ti-chi-bot]

[LGTM Timeline notifier]

Timeline:

• 2024-09-06 01:43:52.211055215 +0000 UTC m=+581556.729108141: ☑️ agreed by windtalker.
• 2024-09-29 01:31:38.290553141 +0000 UTC m=+145653.710766153: ☑️ agreed by XuHuaiyu.

[windtalker]

@tuziemon can you rebase this pr, this will be merged automatically after it is rebased.