Merge branch 'master' into saleel/honkify-examples

Author: saleel

.github/benchmark_projects.yml

@@ -1,4 +1,4 @@
-define: &AZ_COMMIT fd9f1458557f2d67bcf2d58ba4194e000f58600c
+define: &AZ_COMMIT f15942770bc391a4d66fe9c23262b755de77f71d
 projects:
   private-kernel-inner:
     repo: AztecProtocol/aztec-packages

EXTERNAL_NOIR_LIBRARIES.yml

@@ -1,4 +1,4 @@
-define: &AZ_COMMIT fd9f1458557f2d67bcf2d58ba4194e000f58600c
+define: &AZ_COMMIT f15942770bc391a4d66fe9c23262b755de77f71d
 libraries:
   noir_check_shuffle:
     repo: noir-lang/noir_check_shuffle

compiler/noirc_evaluator/src/ssa/checks/check_for_underconstrained_values.rs

@@ -336,6 +336,12 @@ impl DependencyContext {
 
                         if !visited {
                             let results = function.dfg.instruction_results(*instruction);
+
+                            // Calls with no results (e.g. print) shouldn't be checked
+                            if results.is_empty() {
+                                return;
+                            }
+
                             let current_tainted =
                                 BrilligTaintedIds::new(function, arguments, results);
 
@@ -1418,4 +1424,30 @@ mod test {
         let ssa_level_warnings = ssa.check_for_missing_brillig_constraints(true);
         assert_eq!(ssa_level_warnings.len(), 0);
     }
+
+    #[test]
+    #[traced_test]
+    /// No-result calls (e.g. print) shouldn't trigger the check
+    fn test_no_result_brillig_calls() {
+        let program = r#"
+        acir(inline) fn main f0 {
+          b0():
+            call f1(Field 1)
+            return Field 1
+        }
+        acir(inline) fn println f1 {
+          b0(v0: Field):
+            call f2(u1 1, v0)
+            return
+        }
+        brillig(inline) fn print_unconstrained f2 {
+          b0(v0: u1, v1: Field):
+            return
+        }
+        "#;
+
+        let mut ssa = Ssa::from_str(program).unwrap();
+        let ssa_level_warnings = ssa.check_for_missing_brillig_constraints(false);
+        assert_eq!(ssa_level_warnings.len(), 0);
+    }
 }