Update tree-sitter-solidity grammar to v1.2.13

[malaverdiere]

Automated grammar update for solidity.

• Upstream: https://github.com/JoranHonig/tree-sitter-solidity.git
• 4e79c49eb4cb68f417411f97a0b9cbd4d5862752 → 4e938a46c7030dd001bc99e1ac0f0c750ac98254 (v1.2.13)
• tree-sitter version: 0.26.3
• Compare: JoranHonig/tree-sitter-solidity@4e79c49...v1.2.13

Corpus snapshots were auto-regenerated. Please review the parse-tree changes below — especially any :error (error-recovery) cases, which tree-sitter test --update does not touch automatically.

⚠️ The fix-semgrep-grammar skill patched the extension grammar and/or its tests for this bump (test-lang failed on the raw bump, typically a mechanical upstream CST rename). Scrutinize those changes in the diff.

Corpus snapshot diff

diff --git a/lang/semgrep-grammars/src/semgrep-solidity/test/corpus/semgrep.txt b/lang/semgrep-grammars/src/semgrep-solidity/test/corpus/semgrep.txt
index e9e09a2..c1d174a 100644
--- a/lang/semgrep-grammars/src/semgrep-solidity/test/corpus/semgrep.txt
+++ b/lang/semgrep-grammars/src/semgrep-solidity/test/corpus/semgrep.txt
@@ -43,7 +43,11 @@ for(...) {
 ---
 
 (source_file
-  (for_statement (ellipsis) (block_statement)))
+  (statement
+    (for_statement
+      (ellipsis)
+      (statement
+        (block_statement)))))
 
 =====================================
 Constructor pattern
@@ -57,8 +61,9 @@ constructor (...) {
         (parameter
           (ellipsis))
         (function_body
-          (expression_statement
-            (ellipsis)))))
+          (statement
+            (expression_statement
+              (ellipsis))))))
 
 =====================================
 Modifier pattern
@@ -74,8 +79,9 @@ modifier $M(...) {
         (parameter
           (ellipsis))
         (function_body
-          (expression_statement
-            (ellipsis)))))
+          (statement
+            (expression_statement
+              (ellipsis))))))
 
 =====================================
 Inheritance ellipsis pattern
@@ -107,7 +113,8 @@ enum $X {
 (source_file
       (enum_declaration
         (identifier)
-        (ellipsis)))
+        (enum_body
+          (ellipsis))))
 
 =====================================
 Event pattern
@@ -119,5 +126,5 @@ event $EV(...);
 (source_file
       (event_definition
         (identifier)
-        (event_paramater
+        (event_parameter
           (ellipsis))))

test-lang output (tail)

test-lang solidity exits 0 after fix-semgrep-grammar adapted the extension grammar (4/15 iterations).

Companion PRs:

• https://github.com/semgrep/semgrep-proprietary/pull/6563
• Update tree-sitter-solidity grammar to v1.2.13 semgrep-solidity#3
• fix: Solidity move basic-oracle-manipulation test annotation to the matched line semgrep-rules#3997

Relates to LANG-207 but does NOT close it.

[malaverdiere]

Downstream grammar PR:

• Update tree-sitter-solidity grammar to v1.2.13 semgrep-solidity#3

[malaverdiere]

Downstream integration complete and compiles.

Draft proprietary PR: https://github.com/semgrep/semgrep-proprietary/pull/6721

• Submodule bumped to grammar-update/solidity/v1.2.13 (3fcae06, ocaml-tree-sitter a5df35a)
• Parse_solidity_tree_sitter.ml adapted to the new CST
• Minimal parsing tests added for transient storage, layout specifiers, Yul hex strings, using … global, and named call arguments
• Verified locally: dune build OSS/languages/solidity/generic succeeds

[brandonspark]

can remove this comment now