Add CEI pattern static analysis

sway-core/src/lib.rs

@@ -217,6 +217,11 @@ pub fn parsed_to_ast(
         errors.push(e);
     }
 
+    // CEI pattern analysis
+    let cei_analysis_warnings =
+        semantic_analysis::cei_pattern_analysis::analyze_program(&typed_program);
+    warnings.extend(cei_analysis_warnings);
+
     // Check that all storage initializers can be evaluated at compile time.
     let typed_wiss_res = typed_program.get_typed_program_with_initialized_storage_slots(
         &mut ctx,

sway-core/src/semantic_analysis.rs

@@ -1,5 +1,6 @@
 //! Type checking for Sway.
 pub mod ast_node;
+pub(crate) mod cei_pattern_analysis;
 mod module;
 pub mod namespace;
 mod node_dependencies;