} context
+ */
+ function handle_call_expression(node, context) {
+ const { callee: call, arguments: args } = node;
+ const callee = /** @type {Expression} */ (
+ context.visit(call, {
+ ...context.state,
+ current_call: (node.type === 'CallExpression' ? CALL_EXPRESSION : NEW_EXPRESSION) | 0
+ })
+ );
+ for (let arg of args) {
+ context.visit(arg);
+ }
+ if (needs_check()) {
+ if (callee.type === 'Identifier') {
+ const binding = context.state.scope.get(callee.name);
+ if (
+ binding &&
+ binding !== fn_binding &&
+ !stack.has(binding) &&
+ binding.is_function() &&
+ node.type === 'CallExpression'
+ ) {
+ const child_analysis = evaluate_function(
+ binding.initial,
+ binding,
+ new Set([...stack, fn_binding])
+ );
+ analysis.pure &&= child_analysis.pure;
+ analysis.never_throws &&= child_analysis.never_throws;
+ }
+ } else if (
+ node.type === 'CallExpression' &&
+ callee !== fn &&
+ (callee.type === 'FunctionExpression' || callee.type === 'ArrowFunctionExpression') &&
+ [...stack].every(({ scope }) => scope !== callee.metadata.scope)
+ ) {
+ const child_analysis = evaluate_function(
+ callee,
+ /** @type {Binding} */ ({ scope: callee.metadata.scope }),
+ new Set([...stack, fn_binding])
+ );
+ analysis.pure &&= child_analysis.pure;
+ analysis.never_throws &&= child_analysis.never_throws;
+ } else if (node.type === 'NewExpression' && !is_global_class(callee, context.state.scope)) {
+ analysis.pure = false;
+ analysis.never_throws = false;
+ }
+ }
+ }
+ walk(/** @type {AST.SvelteNode} */ (fn), state, {
+ MemberExpression(node, context) {
+ const keypath = get_global_keypath(node, context.state.scope);
+ const evaluated = context.state.scope.evaluate(node, new Set(), seen_bindings, true);
+ if (!(keypath !== null && Object.hasOwn(globals, keypath)) && !evaluated.is_known) {
+ analysis.pure = false;
+ analysis.never_throws = false;
+ }
+ context.next();
+ },
+ Identifier(node, context) {
+ if (is_reference(node, /** @type {Node} */ (context.path.at(-1))) && needs_check()) {
+ const binding = context.state.scope.get(node.name);
+ if (binding !== fn_binding) {
+ if (binding === null) {
+ if (!known_globals.includes(node.name)) {
+ analysis.pure = false;
+ }
+ return;
+ }
+ if (
+ binding.scope !== fn_scope &&
+ binding.updated &&
+ context.state.current_call === 0 &&
+ !seen_bindings.includes(binding) &&
+ needs_check(true, false)
+ ) {
+ analysis.pure &&= fn_scope.contains(binding.scope);
+ seen_bindings.push(binding);
+ }
+ if (binding.kind === 'derived') {
+ analysis.never_throws = false; //derived evaluation could throw
+ }
+ }
+ }
+ context.next();
+ },
+ CallExpression: handle_call_expression,
+ NewExpression: handle_call_expression,
+ TaggedTemplateExpression(node, context) {
+ return handle_call_expression(b.call(node.tag, node.quasi), context);
+ },
+ ThrowStatement(node, context) {
+ if (
+ fn.type !== 'FunctionDeclaration' ||
+ context.path.findLast((parent) => parent.type === 'FunctionDeclaration') === fn // FunctionDeclarations are separately declared functions; we treat other types of functions as functions that could be evaluated by the parent
+ ) {
+ analysis.never_throws = false;
+ }
+ context.next();
+ },
+ ReturnStatement(node, context) {
+ if (
+ !uses_implicit_return &&
+ context.path.findLast((parent) =>
+ ['ArrowFunctionExpression', 'FunctionDeclaration', 'FunctionExpression'].includes(
+ parent.type
+ )
+ ) === fn
+ ) {
+ if (node.argument) {
+ const argument = /** @type {Expression} */ (context.visit(node.argument));
+ context.state.scope.evaluate(argument, analysis.values, seen_bindings, true);
+ } else {
+ analysis.values.add(undefined);
+ }
+ }
+ },
+ _(node, context) {
+ const new_scope =
+ node.type === 'FunctionDeclaration' ||
+ node.type === 'ArrowFunctionExpression' ||
+ node.type === 'FunctionExpression'
+ ? node.metadata.scope
+ : binding.scope.root.scopes.get(node);
+ if (
+ new_scope &&
+ context.state.scope !== new_scope &&
+ (node.type !== 'FunctionDeclaration' || node === fn)
+ ) {
+ context.next({
+ scope: new_scope,
+ scope_path: [...context.state.scope_path, new_scope],
+ current_call: context.state.current_call
+ });
+ } else {
+ context.next();
+ }
+ }
+ });
+ if (uses_implicit_return) {
+ fn_scope.evaluate(/** @type {Expression} */ (fn.body), analysis.values, seen_bindings, true);
+ }
+ for (const value of analysis.values) {
+ analysis.value = value; // saves having special logic for `size === 1`
+
+ if (value == null || value === UNKNOWN) {
+ analysis.is_defined = false;
+ }
+ }
+
+ if (
+ (analysis.values.size <= 1 && !TYPES.includes(analysis.value)) ||
+ analysis.values.size === 0
+ ) {
+ analysis.is_known = true;
+ }
+ fn_cache.set(fn, analysis);
+ return analysis;
+}
diff --git a/packages/svelte/tests/snapshot/samples/each-index-non-null/_expected/server/index.svelte.js b/packages/svelte/tests/snapshot/samples/each-index-non-null/_expected/server/index.svelte.js
index 3431e36833b5..90418e626797 100644
--- a/packages/svelte/tests/snapshot/samples/each-index-non-null/_expected/server/index.svelte.js
+++ b/packages/svelte/tests/snapshot/samples/each-index-non-null/_expected/server/index.svelte.js
@@ -6,7 +6,7 @@ export default function Each_index_non_null($$payload) {
$$payload.out += ``;
for (let i = 0, $$length = each_array.length; i < $$length; i++) {
- $$payload.out += `index: ${$.escape(i)}
`;
+ $$payload.out += `index: ${i}
`;
}
$$payload.out += ``;
diff --git a/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/client/index.svelte.js b/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/client/index.svelte.js
index d520d1ef2488..b42be84c4da0 100644
--- a/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/client/index.svelte.js
+++ b/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/client/index.svelte.js
@@ -18,7 +18,7 @@ export default function Text_nodes_deriveds($$anchor) {
var p = root();
var text = $.child(p);
+ text.nodeValue = '00';
$.reset(p);
- $.template_effect(($0, $1) => $.set_text(text, `${$0 ?? ''}${$1 ?? ''}`), [text1, text2]);
$.append($$anchor, p);
}
\ No newline at end of file
diff --git a/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/server/index.svelte.js b/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/server/index.svelte.js
index 6f019647f58b..f53007638d92 100644
--- a/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/server/index.svelte.js
+++ b/packages/svelte/tests/snapshot/samples/text-nodes-deriveds/_expected/server/index.svelte.js
@@ -12,5 +12,5 @@ export default function Text_nodes_deriveds($$payload) {
return count2;
}
- $$payload.out += `${$.escape(text1())}${$.escape(text2())}
`;
+ $$payload.out += `00
`;
}
\ No newline at end of file