Treat invariant(false, ...) as an exception

slackhq · Sep 26, 2024 · bd96959 · bd96959
1 parent c149c7a
commit bd96959
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/analyzer/expr/call/function_call_analyzer.rs b/src/analyzer/expr/call/function_call_analyzer.rs
@@ -527,6 +527,11 @@ fn process_invariant(
  statements_analyzer: &StatementsAnalyzer,
  analysis_data: &mut FunctionAnalysisData,
 ) {
+ if first_arg.2 == aast::Expr_::False {
+ context.has_returned = true;
+ context.control_actions.insert(ControlAction::End);
+ return;
+ }
  let assertion_context = statements_analyzer.get_assertion_context(
  context.function_context.calling_class.as_ref(),
  context.function_context.calling_functionlike_id.as_ref(),