descriptor: Assume ParseScript is not being called with a P2WPKH context

brunoerg · brunoerg · commit 366ae00b779a · 2024-12-24T11:01:47.000-03:00
diff --git a/src/script/descriptor.cpp b/src/script/descriptor.cpp
@@ -1761,7 +1761,7 @@ struct KeyParser {
 std::vector<std::unique_ptr<DescriptorImpl>> ParseScript(uint32_t& key_exp_index, Span<const char>& sp, ParseScriptContext ctx, FlatSigningProvider& out, std::string& error)
 {
     using namespace script;
-
+    Assume(ctx == ParseScriptContext::TOP || ctx == ParseScriptContext::P2SH || ctx == ParseScriptContext::P2WSH || ctx == ParseScriptContext::P2TR);
     std::vector<std::unique_ptr<DescriptorImpl>> ret;
     auto expr = Expr(sp);
     if (Func("pk", expr)) {

Original file line number	Diff line number	Diff line change
`@@ -1761,7 +1761,7 @@ struct KeyParser {`
`1761`	`1761`	`std::vector<std::unique_ptr<DescriptorImpl>> ParseScript(uint32_t& key_exp_index, Span<const char>& sp, ParseScriptContext ctx, FlatSigningProvider& out, std::string& error)`
`1762`	`1762`	`{`
`1763`	`1763`	`using namespace script;`
`1764`		`-`
	`1764`	`+ Assume(ctx == ParseScriptContext::TOP \|\| ctx == ParseScriptContext::P2SH \|\| ctx == ParseScriptContext::P2WSH \|\| ctx == ParseScriptContext::P2TR);`
`1765`	`1765`	`std::vector<std::unique_ptr<DescriptorImpl>> ret;`
`1766`	`1766`	`auto expr = Expr(sp);`
`1767`	`1767`	`if (Func("pk", expr)) {`