Skip to content

fix(frontend): No negative overflow when quoting signed integer#10331

Merged
vezenovm merged 19 commits intomasterfrom
mv/no-neg-overflow-signed-int-quote-2
Nov 12, 2025
Merged

fix(frontend): No negative overflow when quoting signed integer#10331
vezenovm merged 19 commits intomasterfrom
mv/no-neg-overflow-signed-int-quote-2

Conversation

@vezenovm
Copy link
Contributor

@vezenovm vezenovm commented Oct 30, 2025

Description

Problem*

Resolves #10328

Builds off of #10330

Summary*

We shouldn't use - when getting the absolute value of an integer. We can use the Rust unsigned_abs utility.

Additional Context

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 35c246e Previous: 1b1985e Ratio
rollup-checkpoint-merge 0.004 s 0.003 s 1.33

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 47164a5 Previous: 975ef74 Ratio
sha512-100-bytes 1.88 s 1.533 s 1.23

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@vezenovm vezenovm added the Blocked PR is blocked on an issue label Nov 4, 2025
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'ACVM Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 47164a5 Previous: 975ef74 Ratio
perfectly_parallel_batch_inversion_opcodes 2780428 ns/iter (± 918) 2259283 ns/iter (± 826) 1.23

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 47164a5 Previous: 975ef74 Ratio
test_report_noir-lang_sha512_ 16 s 13 s 1.23

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

Base automatically changed from mv/unquote-preserve-int-type to master November 12, 2025 00:00
@vezenovm vezenovm removed the Blocked PR is blocked on an issue label Nov 12, 2025
@vezenovm
Copy link
Contributor Author

Resolved merge conflicts and all looks good. Going to set for merge.

@vezenovm vezenovm enabled auto-merge November 12, 2025 13:12
@vezenovm vezenovm added this pull request to the merge queue Nov 12, 2025
auto-merge was automatically disabled November 12, 2025 13:41

Pull Request is not mergeable

Merged via the queue into master with commit 794b685 Nov 12, 2025
131 of 132 checks passed
@vezenovm vezenovm deleted the mv/no-neg-overflow-signed-int-quote-2 branch November 12, 2025 13:51
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Nov 13, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: remove `local_annotations` from flattening
(noir-lang/noir#10483)
chore: better error recovery for multiple mut in pattern
(noir-lang/noir#10490)
chore(frontend): Tuple pattern tests and remove confusing arity error
(noir-lang/noir#10480)
chore: monomorphizer public fields
(noir-lang/noir#9979)
chore: remove a bunch of dummy definitions
(noir-lang/noir#10482)
feat(ssa): Limit the number of steps executed by the SSA interpreter
during constant folding (noir-lang/noir#10481)
fix: remove saturation from loop bound increments
(noir-lang/noir#10479)
fix(print): Print enums (noir-lang/noir#10472)
fix(frontend): No negative overflow when quoting signed integer
(noir-lang/noir#10331)
chore: green light Brillig for audit
(noir-lang/noir#10376)
END_COMMIT_OVERRIDE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Overflow panic when quoting minimum negative value

2 participants