DrRataplan / xq-lsp / 29052965393

93%

push

github

fix: don't count literal fn:error() code calls as expected static errors

QT4's fn:error() test-cases pass an arbitrary caller-supplied QName as
the error code to test that a runtime propagates whatever is dynamically
named — the code has nothing to do with the query's static structure. The
harness classified these as expected static errors whenever the named
code happened to start with XPST/XQST, permanently inflating the
false-negative count for ~20 codes that a static analyzer can never
detect this way.

Detect queries whose only top-level expression is a literal fn:error()/
error() call (string/QName/`()` args, valid arity) and reclassify them as
no-static-error instead, so the harness stops flagging them as gaps.

1010 of 1183 branches covered (85.38%)

Branch coverage included in aggregate %.

3672 of 3846 relevant lines covered (95.48%)

440462.36 hits per line