Handle warnings in SSA

[guipublic]

Problem

SSA codegen/acirgen can generate errors, for instance it can detect index out-of-bounds, failing constraint, division by zero,..
The error is then properly reported to the user.
However, it cannot returns a warning instead of an error, because errors and warnings are handled but rust Result<> paradigm, which enforces the code to either return a correct value, or to stop with the error.

Happy Case

When we want to only warn the user, we must be able to return both the correct result, as well as the generated warnings.

Alternatives Considered

No response

Additional Context

Returning a warning from SSA was considered in PR #2978

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[guipublic]

Closing, we use issue #3131 instead.