rolldown 1.0.3

use oxc::allocator::{GetAddress, UnstableAddress};
use oxc::{
  ast::{
    AstKind,
    ast::{
      self, BindingPattern, Declaration, Expression, IdentifierReference, JSXClosingElement,
      JSXElementName, JSXMemberExpressionObject, JSXOpeningElement,
    },
  },
  ast_visit::{Visit, walk},
  semantic::{ScopeFlags, SymbolId},
  span::{GetSpan, Span},
};
use rolldown_common::{
  ConstExportMeta, EcmaModuleAstUsage, EcmaViewMeta, ImportKind, ImportRecordMeta, LocalExport,
  MemberExprObjectReferencedType, OutputFormat, RUNTIME_MODULE_KEY, SideEffectDetail, StmtInfoIdx,
  StmtInfoMeta, SymbolRefFlags, dynamic_import_usage::DynamicImportExportsUsage,
};
#[cfg(debug_assertions)]
use rolldown_ecmascript::ToSourceString;
use rolldown_ecmascript_utils::{ExpressionExt, is_top_level};
use rolldown_error::BuildDiagnostic;
use rolldown_std_utils::OptionExt;

use crate::ast_scanner::cjs_export_analyzer::CommonJsAstType;

use super::{
  AstScanner, UntranspiledSyntax, cjs_export_analyzer::CjsGlobalAssignmentType,
  side_effect_detector::SideEffectDetector,
};

impl<'me, 'ast: 'me> Visit<'ast> for AstScanner<'me, 'ast> {
  fn enter_scope(
    &mut self,
    flags: oxc::semantic::ScopeFlags,
    _scope_id: &std::cell::Cell<Option<oxc::semantic::ScopeId>>,
  ) {
    self.scope_stack.push(flags);
    self.is_top_level = is_top_level(&self.scope_stack);
  }

  fn leave_scope(&mut self) {
    self.scope_stack.pop();
    self.is_top_level = is_top_level(&self.scope_stack);
  }

  fn enter_node(&mut self, kind: oxc::ast::AstKind<'ast>) {
    self.visit_path.push(kind);
  }

  fn leave_node(&mut self, _it: oxc::ast::AstKind<'ast>) {
    self.visit_path.pop();
  }

  fn visit_program(&mut self, program: &ast::Program<'ast>) {
    self.enter_scope(
      {
        let mut flags = ScopeFlags::Top;
        if program.source_type.is_strict() || program.has_use_strict_directive() {
          flags |= ScopeFlags::StrictMode;
        }
        flags
      },
      &program.scope_id,
    );
    // Custom visit

    for (idx, stmt) in program.body.iter().enumerate() {
      // `0` is reserved for Module Namespace Object stmt info
      #[expect(
        clippy::cast_possible_truncation,
        reason = "We don't have a plan to support more than u32 statements in a single module"
      )]
      {
        self.current_stmt_idx = StmtInfoIdx::from_raw_unchecked(idx as u32 + 1);
      }
      let detector = SideEffectDetector::new(
        &self.result.symbol_ref_db.ast_scopes,
        self.immutable_ctx.flat_options,
        self.immutable_ctx.options,
        None,
        Some(&self.namespace_object_symbol_ids),
      );
      self.current_stmt_info.side_effect = detector.detect_side_effect_of_stmt(stmt);

      #[cfg(debug_assertions)]
      {
        self.current_stmt_info.debug_label = Some(stmt.to_source_string());
      }

      self.visit_statement(stmt);
      if self.current_stmt_info.side_effect.intersects(
        SideEffectDetail::Unknown
          | SideEffectDetail::GlobalVarAccess
          | SideEffectDetail::PureAnnotation,
      ) {
        self.result.ecma_view_meta.insert(EcmaViewMeta::ExecutionOrderSensitive);
      }
      self.result.stmt_infos.add_stmt_info(std::mem::take(&mut self.current_stmt_info));
    }

    if self.untranspiled_syntax.contains(UntranspiledSyntax::TypeScript) {
      self.result.errors.push(BuildDiagnostic::untranspiled_syntax(
        self.immutable_ctx.id.to_string(),
        "TypeScript",
      ));
    }
    if self.untranspiled_syntax.contains(UntranspiledSyntax::Jsx) {
      self
        .result
        .errors
        .push(BuildDiagnostic::untranspiled_syntax(self.immutable_ctx.id.to_string(), "JSX"));
    }

    self.result.hashbang_range = program.hashbang.as_ref().map(GetSpan::span);
    self.result.directive_range = program.directives.iter().map(GetSpan::span).collect();
    self.result.dynamic_import_rec_exports_usage =
      std::mem::take(&mut self.dynamic_import_usage_info.dynamic_import_exports_usage);
    if self.result.ecma_view_meta.contains(EcmaViewMeta::Eval) {
      // if there exists `eval` in current module, assume all dynamic import are completely used;
      for usage in self.result.dynamic_import_rec_exports_usage.values_mut() {
        *usage = DynamicImportExportsUsage::Complete;
      }
    }

    // Check if dynamic import record is a pure dynamic import
    for (rec_idx, usage) in &self.result.dynamic_import_rec_exports_usage {
      if matches!(usage, DynamicImportExportsUsage::Partial(set) if set.is_empty()) {
        self.result.import_records[*rec_idx].meta.insert(ImportRecordMeta::PureDynamicImport);
      }
    }

    // check if the module is a reexport cjs module e.g.
    // module.exports = require('a');
    // normalize ast usage flag
    if self.result.ast_usage.contains(EcmaModuleAstUsage::ModuleRef)
      || !self.result.ast_usage.contains(EcmaModuleAstUsage::ExportsRef)
    {
      self.result.ast_usage.remove(EcmaModuleAstUsage::AllStaticExportPropertyAccess);
    }
    self.leave_scope();
  }

  fn visit_binding_identifier(&mut self, ident: &ast::BindingIdentifier) {
    let symbol_id = ident.symbol_id.get().unpack();
    if self.is_root_symbol(symbol_id) {
      self.declare_normal_symbol_ref(symbol_id);
    }
  }

  fn visit_for_of_statement(&mut self, it: &ast::ForOfStatement<'ast>) {
    if it.r#await && self.is_valid_tla_scope() {
      self.handle_top_level_await(it.span());
    }
    walk::walk_for_of_statement(self, it);
  }

  fn visit_await_expression(&mut self, it: &ast::AwaitExpression<'ast>) {
    if self.is_valid_tla_scope() {
      self.handle_top_level_await(it.span());
    }
    walk::walk_await_expression(self, it);
  }

  fn visit_identifier_reference(&mut self, ident: &IdentifierReference) {
    self.process_identifier_ref_by_scope(ident);
    self.try_diagnostic_forbid_const_assign(ident);
    self.update_dynamic_import_binding_usage_info(ident);
  }

  fn visit_statement(&mut self, stmt: &ast::Statement<'ast>) {
    if let Some(decl) = stmt.as_module_declaration() {
      self.scan_module_decl(decl);
    }
    walk::walk_statement(self, stmt);
  }

  fn visit_return_statement(&mut self, stmt: &ast::ReturnStatement<'ast>) {
    // Top-level return statements are only valid in CommonJS modules
    if self.is_top_level {
      self.result.ast_usage.insert(EcmaModuleAstUsage::TopLevelReturn);
    }
    walk::walk_return_statement(self, stmt);
  }

  fn visit_import_expression(&mut self, expr: &ast::ImportExpression<'ast>) {
    // If a `ImportExpression` is ignored by `/* @vite-ignore */` comment, we should not treat it as a dynamic import
    if !self.is_import_expr_ignored_by_comment(expr)
      && let Some(request) = expr.source.as_static_module_request()
    {
      let import_rec_idx = self.add_import_record(
        request.as_str(),
        ImportKind::DynamicImport,
        expr.source.span(),
        {
          let mut meta = ImportRecordMeta::empty();
          meta.set(ImportRecordMeta::IsTopLevel, self.is_root_scope());
          meta.set(ImportRecordMeta::IsUnspannedImport, expr.source.span().is_empty());
          meta.set(ImportRecordMeta::InTryCatchBlock, self.in_side_try_catch_block());
          meta
        },
        Some(expr.unstable_address()),
      );
      self.init_dynamic_import_binding_usage_info(import_rec_idx);
      self.result.imports.insert(expr.span, import_rec_idx);
    } else if matches!(self.immutable_ctx.options.format, OutputFormat::Cjs)
      && !self.immutable_ctx.options.dynamic_import_in_cjs
    {
      // No import record - either @vite-ignore or non-static dynamic import
      self.current_stmt_info.meta.insert(StmtInfoMeta::NonStaticDynamicImport);
    }
    walk::walk_import_expression(self, expr);
  }

  fn visit_assignment_expression(&mut self, node: &ast::AssignmentExpression<'ast>) {
    if let Some(member_expr) = node.left.as_member_expression() {
      match member_expr.object() {
        Expression::Identifier(id) => {
          if id.name == "module"
            && member_expr.static_property_name() == Some("exports")
            && self.is_global_identifier_reference(id)
          {
            self.cjs_module_ident.get_or_insert(Span::new(id.span.start, id.span.start + 6));
            // `module.exports = <value>` replaces the entire exports object,
            // so all prior `exports.xxx` constants are stale.
            self.has_module_exports_reassignment = true;
          }
          if id.name == "exports" && self.is_global_identifier_reference(id) {
            self.cjs_exports_ident.get_or_insert(Span::new(id.span.start, id.span.start + 7));
            if let Some((span, export_name)) = member_expr.static_property_info() {
              // `exports.test = ...`
              let exported_symbol =
                self.result.symbol_ref_db.create_facade_root_symbol_ref(export_name);

              self.declare_link_only_symbol_ref(exported_symbol.symbol);

              if let Some(value) = self.extract_constant_value_from_expr(Some(&node.right)) {
                self.add_constant_symbol(exported_symbol.symbol, ConstExportMeta::new(value, true));
              }

              self
                .result
                .commonjs_exports
                .entry(export_name.into())
                .or_default()
                .push(LocalExport { referenced: exported_symbol, span, came_from_commonjs: true });
            }
          }
        }
        // `module.exports.test` is also considered as commonjs keyword
        Expression::StaticMemberExpression(member_expr) => {
          if let Expression::Identifier(ref id) = member_expr.object {
            if id.name == "module"
              && member_expr.property.name == "exports"
              && self.is_global_identifier_reference(id)
            {
              self.cjs_module_ident.get_or_insert(Span::new(id.span.start, id.span.start + 6));
            }
          }
        }
        _ => {}
      }
    }

    walk::walk_assignment_expression(self, node);
  }

  fn visit_new_expression(&mut self, it: &ast::NewExpression<'ast>) {
    if self.immutable_ctx.flat_options.resolve_new_url_to_asset_enabled() {
      self.handle_new_url_with_string_literal_and_import_meta_url(it);
    }
    walk::walk_new_expression(self, it);
  }

  fn visit_meta_property(&mut self, it: &ast::MetaProperty<'ast>) {
    if self.immutable_ctx.flat_options.keep_esm_import_export_syntax() {
      walk::walk_meta_property(self, it);
      return;
    }
    if let Some(parent) = self.visit_path.last() {
      let should_warn = parent
        .as_member_expression_kind()
        .map(|member_expr| {
          let static_name = member_expr.static_property_name().unwrap_or(ast::Str::from(""));
          let is_special_property =
            static_name == "url" || static_name == "dirname" || static_name == "filename";
          let format = &self.immutable_ctx.options.format;
          !is_special_property || matches!(format, OutputFormat::Iife | OutputFormat::Umd)
        })
        // Here we need to set it to `true` to emit warnings when leaving `import.meta` alone along with the logic head of this.
        .unwrap_or(true);

      if should_warn && it.meta.name == "import" && it.property.name == "meta" {
        self.result.warnings.push(
          BuildDiagnostic::empty_import_meta(
            self.immutable_ctx.id.to_string(),
            self.immutable_ctx.source.clone(),
            it.span(),
            self.immutable_ctx.options.format.as_str().into(),
            parent.as_member_expression_kind().is_some_and(|member_expr| {
              member_expr.static_property_name().is_some_and(|static_name| static_name == "url")
            }),
          )
          .with_severity_warning(),
        );
      }
    }
  }

  fn visit_this_expression(&mut self, it: &ast::ThisExpression) {
    if !self.is_this_nested() {
      self.top_level_this_expr_set.insert(it.span);
    }
    walk::walk_this_expression(self, it);
  }

  fn visit_class_element(&mut self, it: &ast::ClassElement<'ast>) {
    let pre_is_nested_this_inside_class = self.is_nested_this_inside_class;
    self.is_nested_this_inside_class = true;
    walk::walk_class_element(self, it);
    self.is_nested_this_inside_class = pre_is_nested_this_inside_class;
  }

  fn visit_property_key(&mut self, it: &ast::PropertyKey<'ast>) {
    let pre_is_nested_this_inside_class = self.is_nested_this_inside_class;
    if let Some(AstKind::ClassBody(_)) = self.visit_path.iter().rev().nth(1) {
      self.is_nested_this_inside_class = false;
    }
    walk::walk_property_key(self, it);
    self.is_nested_this_inside_class = pre_is_nested_this_inside_class;
  }

  fn visit_variable_declaration(&mut self, decl: &ast::VariableDeclaration<'ast>) {
    match decl.declarations.as_slice() {
      [decl] => {
        if let (BindingPattern::BindingIdentifier(binding), Some(init)) = (&decl.id, &decl.init) {
          // Extract constant value for top-level variable declarations
          if self.is_root_symbol(binding.symbol_id()) {
            if let Some(value) = self.extract_constant_value_from_expr(Some(init)) {
              self.add_constant_symbol(binding.symbol_id(), ConstExportMeta::new(value, false));
            }
          }
        }
      }
      _ => {
        if self.immutable_ctx.flat_options.inline_const_enabled() && self.is_root_scope() {
          for var_decl in &decl.declarations {
            if let BindingPattern::BindingIdentifier(binding) = &var_decl.id {
              if let Some(init) = &var_decl.init {
                if let Some(value) = self.extract_constant_value_from_expr(Some(init)) {
                  self.add_constant_symbol(binding.symbol_id(), ConstExportMeta::new(value, false));
                }
              }
            }
          }
        }
        // Handle multiple declarations in a single statement
      }
    }
    walk::walk_variable_declaration(self, decl);
  }

  fn visit_declaration(&mut self, it: &ast::Declaration<'ast>) {
    match it {
      Declaration::FunctionDeclaration(function) => {
        self.visit_function_decl(function, ScopeFlags::Function);
      }
      Declaration::ClassDeclaration(class) => {
        self.visit_class_decl(class);
      }
      _ => {
        walk::walk_declaration(self, it);
      }
    }
  }

  fn visit_expression(&mut self, it: &Expression<'ast>) {
    if self.is_root_scope()
      && matches!(
        it,
        Expression::ArrowFunctionExpression(_)
          | Expression::FunctionExpression(_)
          | Expression::ClassExpression(_)
      )
    {
      self.current_stmt_info.meta.insert(StmtInfoMeta::KeepNamesType);
    }
    walk::walk_expression(self, it);
  }

  // --- Outermost TS visitor overrides ---
  // Empty bodies prevent the walker from descending into TS subtrees.
  // We only record the untranspiled syntax flag so the scan stage can report the error.

  fn visit_ts_enum_declaration(&mut self, _it: &ast::TSEnumDeclaration<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_type_alias_declaration(&mut self, _it: &ast::TSTypeAliasDeclaration<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_interface_declaration(&mut self, _it: &ast::TSInterfaceDeclaration<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_module_declaration(&mut self, _it: &ast::TSModuleDeclaration<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_import_equals_declaration(&mut self, _it: &ast::TSImportEqualsDeclaration<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_global_declaration(&mut self, _it: &ast::TSGlobalDeclaration<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_as_expression(&mut self, _it: &ast::TSAsExpression<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_satisfies_expression(&mut self, _it: &ast::TSSatisfiesExpression<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_type_assertion(&mut self, _it: &ast::TSTypeAssertion<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_non_null_expression(&mut self, _it: &ast::TSNonNullExpression<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_instantiation_expression(&mut self, _it: &ast::TSInstantiationExpression<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_export_assignment(&mut self, _it: &ast::TSExportAssignment<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_namespace_export_declaration(
    &mut self,
    _it: &ast::TSNamespaceExportDeclaration<'ast>,
  ) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  fn visit_ts_index_signature(&mut self, _it: &ast::TSIndexSignature<'ast>) {
    self.untranspiled_syntax |= UntranspiledSyntax::TypeScript;
  }

  // --- Outermost JSX visitor overrides ---

  fn visit_jsx_element(&mut self, it: &ast::JSXElement<'ast>) {
    if self.immutable_ctx.flat_options.jsx_preserve() {
      walk::walk_jsx_element(self, it);
    } else {
      self.untranspiled_syntax |= UntranspiledSyntax::Jsx;
    }
  }

  fn visit_jsx_fragment(&mut self, it: &ast::JSXFragment<'ast>) {
    if self.immutable_ctx.flat_options.jsx_preserve() {
      walk::walk_jsx_fragment(self, it);
    } else {
      self.untranspiled_syntax |= UntranspiledSyntax::Jsx;
    }
  }

  fn visit_call_expression(&mut self, it: &ast::CallExpression<'ast>) {
    self.try_extract_hmr_info_from_hot_accept_call(it);
    walk::walk_call_expression(self, it);
  }

  fn visit_jsx_opening_element(&mut self, it: &JSXOpeningElement<'ast>) {
    self.visit_jsx_opening_element_for_jsx_preserve(it);
    walk::walk_jsx_opening_element(self, it);
  }

  fn visit_jsx_closing_element(&mut self, it: &JSXClosingElement<'ast>) {
    self.visit_jsx_closing_element_for_jsx_preserve(it);
    walk::walk_jsx_closing_element(self, it);
  }

  fn visit_export_default_declaration(&mut self, it: &ast::ExportDefaultDeclaration<'ast>) {
    // Mark export default declarations with anonymous function/class expressions
    // so that __name helper will be included in the runtime
    use ast::ExportDefaultDeclarationKind;
    match &it.declaration {
      ExportDefaultDeclarationKind::FunctionDeclaration(func) if func.id.is_none() => {
        self.current_stmt_info.meta.insert(StmtInfoMeta::KeepNamesType);
      }
      ExportDefaultDeclarationKind::ClassDeclaration(class) if class.id.is_none() => {
        self.current_stmt_info.meta.insert(StmtInfoMeta::KeepNamesType);
      }
      _ => {}
    }
    walk::walk_export_default_declaration(self, it);
  }
}

impl<'me, 'ast: 'me> AstScanner<'me, 'ast> {
  fn handle_top_level_await(&mut self, span: Span) {
    if !self.immutable_ctx.flat_options.keep_esm_import_export_syntax() {
      self.result.errors.push(BuildDiagnostic::unsupported_feature(
        self.immutable_ctx.id.as_arc_str().clone(),
        self.immutable_ctx.source.clone(),
        span,
        format!(
          "Top-level await is currently not supported with the '{format}' output format",
          format = self.immutable_ctx.options.format
        ),
      ));
    }
    self.result.ast_usage.insert(EcmaModuleAstUsage::TopLevelAwait);
    if self.result.tla_keyword_span.is_none() {
      self.result.tla_keyword_span = Some(span);
    }
  }

  /// visit `Class` of declaration
  #[expect(clippy::unused_self)]
  pub fn get_class_id(&self, class: &ast::Class<'ast>) -> Option<SymbolId> {
    let id = class.id.as_ref()?;
    let symbol_id = *id.symbol_id.get().unpack_ref();
    Some(symbol_id)
  }

  fn process_identifier_ref_by_scope(&mut self, ident_ref: &IdentifierReference) {
    match self.resolve_identifier_reference(ident_ref) {
      super::IdentifierReferenceKind::Global => {
        match ident_ref.name.as_str() {
          "module" => {
            self.result.ast_usage.insert(EcmaModuleAstUsage::ModuleRef);
            let v = self.commonjs_export_analyzer(
              ident_ref,
              CjsGlobalAssignmentType::ModuleExportsAssignment,
            );
            self.update_ast_usage_for_commonjs_export(v.as_ref());
          }
          "exports" => {
            self.result.ast_usage.insert(EcmaModuleAstUsage::ExportsRef);
            // exports = {} will not change the module.exports object, so we just ignore it;
            let v =
              self.commonjs_export_analyzer(ident_ref, CjsGlobalAssignmentType::ExportsAssignment);
            self.update_ast_usage_for_commonjs_export(v.as_ref());
            match v {
              // Do nothing since we need to tree shake `exports.<prop>` access
              Some(CommonJsAstType::ExportsPropWrite(prop)) => {
                self.cjs_named_exports_usage.entry(prop).or_default().write += 1;
              }
              Some(CommonJsAstType::EsModuleFlag) => {}
              Some(CommonJsAstType::Reexport(_)) => {
                // This is only usd for `module.exports = require('mod')`
                // should only reached when `ident_ref` is `module`
                unreachable!()
              }
              Some(CommonJsAstType::ExportsRead) => {
                self.result.ast_usage.insert(EcmaModuleAstUsage::UnknownExportsRead);
              }
              None => match self.try_extract_parent_static_member_expr_chain(1) {
                Some((_span, prop)) => {
                  self.cjs_named_exports_usage.entry(prop[0].name.clone()).or_default().read += 1;
                }
                _ => {
                  self.result.ast_usage.insert(EcmaModuleAstUsage::UnknownExportsRead);
                }
              },
            }
          }
          "require" => {
            let is_dummy_record = match self.visit_path.last() {
              Some(AstKind::CallExpression(call_expr)) => {
                !self.process_global_require_call(call_expr)
              }
              Some(_) => true,
              _ => false,
            };
            // should not replace require in `runtime` code
            if is_dummy_record
              && self.immutable_ctx.id.as_ref() != RUNTIME_MODULE_KEY
              && self.immutable_ctx.flat_options.should_call_runtime_require()
              && self
                .immutable_ctx
                .flat_options
                .polyfill_require_for_esm_format_with_node_platform()
            {
              self.current_stmt_info.meta.insert(StmtInfoMeta::HasDummyRecord);
              self.result.dummy_record_set.insert(ident_ref.span);
            }
          }
          _ => {}
        }
        self.process_global_identifier_ref_by_ancestor(ident_ref);
      }
      super::IdentifierReferenceKind::Root(root_symbol_id) => {
        let is_member_write = self.is_member_write_target(ident_ref);

        // if the identifier_reference is a NamedImport MemberExpr access, we store it as a `MemberExpr`
        // use this flag to avoid insert it as `Symbol` at the same time.
        let mut is_inserted_before = false;
        if let Some(named_import) = self.result.named_imports.get(&root_symbol_id) {
          let (ty, max_tract_len) = match named_import.imported {
            rolldown_common::Specifier::Star => {
              (MemberExprObjectReferencedType::Namespace, usize::MAX)
            }
            rolldown_common::Specifier::Literal(ref compact_str)
              if compact_str.as_str() == "default" =>
            {
              (MemberExprObjectReferencedType::Default, 2)
            }
            rolldown_common::Specifier::Literal(_) => {
              (MemberExprObjectReferencedType::Named, usize::MAX)
            }
          };
          if let Some((span, props)) =
            self.try_extract_parent_static_member_expr_chain(max_tract_len)
          {
            if !span.is_unspanned() {
              is_inserted_before = true;

              if matches!(ty, MemberExprObjectReferencedType::Namespace)
                && is_member_write
                && props[0].name == "default"
              {
                // Write through namespace default (e.g. `ns.default.a = value`). Since
                // `ns.default` is the raw CJS exports object, any property write on it may
                // affect all `ns.xxx` reads. Mark the symbol so all CJS exports of the target
                // module are bailed out from constant inlining.
                let symbol_ref_flags = root_symbol_id.flags_mut(&mut self.result.symbol_ref_db);
                *symbol_ref_flags |= SymbolRefFlags::HasComputedMemberWrite;
              }
              self.add_member_expr_reference(
                root_symbol_id,
                props,
                span,
                ty,
                ident_ref.reference_id.get(),
                is_member_write,
              );
            }
          } else if is_member_write
            && matches!(
              ty,
              MemberExprObjectReferencedType::Default | MemberExprObjectReferencedType::Namespace
            )
          {
            // Computed member write (e.g. `cjs[name] = value`) where the key is dynamic.
            // Mark the import symbol so all CJS exports of the target module won't be inlined.
            let symbol_ref_flags = root_symbol_id.flags_mut(&mut self.result.symbol_ref_db);
            *symbol_ref_flags |= SymbolRefFlags::HasComputedMemberWrite;
          }
        }
        if !is_inserted_before {
          self.add_referenced_symbol(root_symbol_id);
        }

        if is_member_write
          && !self.immutable_ctx.flat_options.property_write_side_effects()
          && self.is_top_level
        {
          // Since `0` is always namespace object stmt info
          self
            .result
            .stmt_infos
            .reference_stmt_for_symbol_id(self.current_stmt_idx, root_symbol_id);
        }

        self.check_import_assign(ident_ref, root_symbol_id.symbol);

        match (self.cur_class_decl, self.resolve_symbol_from_reference(ident_ref)) {
          (Some(cur_class_decl), Some(referenced_to)) if cur_class_decl == referenced_to => {
            self.result.self_referenced_class_decl_symbol_ids.insert(cur_class_decl);
          }
          _ => {}
        }

        // For JSX preserve mode, mark symbols used as JSX element names.
        // This flag ensures that after bundling, JSX element names whose canonical
        // name starts with lowercase get uppercased to remain valid component references.
        if self.immutable_ctx.flat_options.jsx_preserve()
          && self.visit_path.last().is_some_and(|ast_kind| {
            matches!(ast_kind, AstKind::JSXOpeningElement(_) | AstKind::JSXClosingElement(_))
          })
        {
          let symbol_ref_flags = root_symbol_id.flags_mut(&mut self.result.symbol_ref_db);
          *symbol_ref_flags |= SymbolRefFlags::MustStartWithCapitalLetterForJSX;
        }
      }
      super::IdentifierReferenceKind::Other => {}
    }
  }

  fn process_global_identifier_ref_by_ancestor(
    &mut self,
    ident_ref: &IdentifierReference,
  ) -> Option<()> {
    let parent = self.visit_path.last()?;
    if let AstKind::CallExpression(call_expr) = parent {
      if ident_ref.name == "eval"
        && !call_expr.optional
        && call_expr.callee.address() == ident_ref.unstable_address()
      {
        // TODO: esbuild track has_eval for each scope, this could reduce bailout range, and may
        // improve treeshaking performance. https://github.com/evanw/esbuild/blob/360d47230813e67d0312ad754cad2b6ee09b151b/internal/js_ast/js_ast.go#L1288-L1291
        self.result.ecma_view_meta.insert(EcmaViewMeta::Eval);
        self.result.warnings.push(
          BuildDiagnostic::eval(
            self.immutable_ctx.id.to_string(),
            self.immutable_ctx.source.clone(),
            ident_ref.span,
          )
          .with_severity_warning(),
        );
      }
    }
    None
  }

  /// return `bool` represent if it is a global require call
  fn process_global_require_call(&mut self, expr: &ast::CallExpression<'ast>) -> bool {
    let (value, span) = match expr.arguments.first() {
      Some(ast::Argument::StringLiteral(request)) => (request.value, request.span),
      Some(ast::Argument::TemplateLiteral(request)) => match request.single_quasi() {
        Some(value) => (value, request.span),
        None => return false,
      },
      _ => return false,
    };
    let mut init_meta = if span.is_empty() {
      ImportRecordMeta::IsUnspannedImport
    } else {
      let mut is_require_used = true;
      let mut meta = ImportRecordMeta::empty();
      // traverse nearest ExpressionStatement and check if there are potential used
      // skip one for CallExpression it self
      for ancestor in self.visit_path.iter().rev().skip(1) {
        match ancestor {
          AstKind::ParenthesizedExpression(_) => {}
          AstKind::ExpressionStatement(_) => {
            meta.insert(ImportRecordMeta::IsRequireUnused);
            break;
          }
          AstKind::SequenceExpression(seq_expr) => {
            // the child node has require and it is potential used
            // the state may changed according to the child node position
            // 1. `1, 2, (1, require('a'))` => since the last child contains `require`, and
            //    in the last position, it is still used if it meant any other astKind
            // 2. `1, 2, (1, require('a')), 1` => since the last child contains `require`, but it is
            //    not in the last position, the state should change to unused
            let last = seq_expr.expressions.last().expect("should have at least one child");

            if !last.span().is_empty() && !expr.span.is_empty() {
              is_require_used = last.span().contains_inclusive(expr.span);
            } else {
              is_require_used = true;
            }
          }
          _ => {
            if is_require_used {
              break;
            }
          }
        }
      }
      meta
    };
    let in_side_try_catch_block = self.in_side_try_catch_block();
    init_meta.set(ImportRecordMeta::InTryCatchBlock, in_side_try_catch_block);
    let id = self.add_import_record(value.as_ref(), ImportKind::Require, span, init_meta, None);
    self.result.imports.insert(expr.span, id);
    true
  }

  /// For JSX preserve mode, mark the root identifier of JSXElementName::MemberExpression.
  /// Uses `UsedAsJSXMemberExprRoot` (not `MustStartWithCapitalLetterForJSX`) because
  /// member expressions like `<obj.Foo>` are valid JSX regardless of root casing.
  /// Only facade (generated) symbols need uppercasing (e.g. `import_react` → `Import_react`).
  fn mark_jsx_member_expression_root(&mut self, element_name: &JSXElementName<'ast>) {
    if !self.immutable_ctx.flat_options.jsx_preserve() {
      return;
    }

    // Only handle MemberExpression case. IdentifierReference case is handled
    // in visit_identifier_reference where the parent is JSXOpeningElement/JSXClosingElement.
    let JSXElementName::MemberExpression(member_expr) = element_name else {
      return;
    };

    // Get the root identifier of the member expression chain (e.g., `ns` in `<ns.Foo.Bar>`)
    let mut current = &member_expr.object;
    loop {
      match current {
        JSXMemberExpressionObject::IdentifierReference(ident_ref) => {
          if let Some(symbol_id) = self.resolve_symbol_from_reference(ident_ref) {
            if self.is_root_symbol(symbol_id) {
              let symbol_ref: rolldown_common::SymbolRef =
                (self.immutable_ctx.idx, symbol_id).into();
              let symbol_ref_flags = symbol_ref.flags_mut(&mut self.result.symbol_ref_db);
              *symbol_ref_flags |= SymbolRefFlags::UsedAsJSXMemberExprRoot;
            }
          }
          break;
        }
        JSXMemberExpressionObject::MemberExpression(nested_member) => {
          current = &nested_member.object;
        }
        JSXMemberExpressionObject::ThisExpression(_) => {
          break;
        }
      }
    }
  }
}

impl<'me, 'ast: 'me> AstScanner<'me, 'ast> {
  fn visit_jsx_opening_element_for_jsx_preserve(&mut self, elem: &JSXOpeningElement<'ast>) {
    self.mark_jsx_member_expression_root(&elem.name);
  }

  fn visit_jsx_closing_element_for_jsx_preserve(&mut self, elem: &JSXClosingElement<'ast>) {
    self.mark_jsx_member_expression_root(&elem.name);
  }
}