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

The PR #2978 is de-activated by PR #3128 until we can return a warning instead of an error.

Would you like to submit a PR for this Issue?

No

Support Needs

No response