PR #30551 #4362
codeql
on: dynamic
Matrix: analyze
Annotations
1 error and 1 warning
Analyze (javascript)
Error running analysis for javascript: Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.18.1/x64/codeql/codeql database run-queries --ram=14567 --threads=4 /home/runner/work/_temp/codeql_databases/javascript --expect-discarded-cache --min-disk-free=1024 -v --intra-layer-parallelism". Exit code was 100 and error was: Oops! A fatal internal error occurred. Details:
com.semmle.util.exception.CatastrophicError: An error occurred while evaluating Refinements::VarRefinementContext.getAValue/0#dispred#49f3bf90/2@i15#7e4667w0
Severe disk cache trouble (corruption or out of space) at /home/runner/work/_temp/codeql_databases/javascript/db-javascript/default/cache/pages/99/f5.pack: Failed to write item to disk
The RA to evaluate was:
{2} r1 = SCAN Refinements::TVarRefinementContext#019c0f37#prev_delta OUTPUT In.2, In.3
{2} r2 = JOIN r1 WITH AbstractValuesImpl::TAbstractBoolean#ca67d884_10#join_rhs ON FIRST 1 OUTPUT Rhs.1, Lhs.1
{2} | JOIN WITH num#Refinements::TBoolConstant#b83aabf0 ON FIRST 1 OUTPUT Lhs.1, Rhs.1
{2} r3 = r1 AND NOT AbstractValuesImpl::TAbstractBoolean#ca67d884_1#antijoin_rhs(FIRST 1)
{2} r4 = JOIN r3 WITH AbstractValuesImpl::TAbstractZero#8811fb25 ON FIRST 1 OUTPUT int _, Lhs.1
{2} | REWRITE WITH Out.0 := 0
{2} | JOIN WITH num#Refinements::TIntConstant#b3d80265 ON FIRST 1 OUTPUT Lhs.1, Rhs.1
{2} r5 = JOIN r3 WITH AbstractValuesImpl::TAbstractEmpty#9219630d ON FIRST 1 OUTPUT Lhs.0, Lhs.1
{2} | AND NOT AbstractValuesImpl::TAbstractZero#8811fb25(FIRST 1)
{2} | SCAN OUTPUT string _, In.1
{2} | REWRITE WITH Out.0 := ""
{2} | JOIN WITH num#Refinements::TStringConstant#7af5f166 ON FIRST 1 OUTPUT Lhs.1, Rhs.1
{2} r6 = JOIN r3 WITH AbstractValuesImpl::TAbstractNumString#25c27bba ON FIRST 1 OUTPUT Lhs.0, Lhs.1
{2} | AND NOT AbstractValuesImpl::TAbstractZero#8811fb25(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractEmpty#9219630d(FIRST 1)
{2} | JOIN WITH num#Refinements::TNumString#74ef7680 CARTESIAN PRODUCT OUTPUT Lhs.1, Rhs.0
{2} r7 = JOIN r3 WITH AbstractValuesImpl::TAbstractOtherString#2955f1de ON FIRST 1 OUTPUT Lhs.0, Lhs.1
{2} | AND NOT AbstractValuesImpl::TAbstractZero#8811fb25(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractEmpty#9219630d(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractNumString#25c27bba(FIRST 1)
{2} | JOIN WITH num#Refinements::TNonEmptyNonNumString#88155215 CARTESIAN PRODUCT OUTPUT Lhs.1, Rhs.0
{2} r8 = JOIN r3 WITH AbstractValuesImpl::TAbstractNonZero#3f9e0b49 ON FIRST 1 OUTPUT Lhs.0, Lhs.1
{2} | AND NOT AbstractValuesImpl::TAbstractZero#8811fb25(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractEmpty#9219630d(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractNumString#25c27bba(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractOtherString#2955f1de(FIRST 1)
{2} | JOIN WITH num#Refinements::TNonZeroNumber#352af27d CARTESIAN PRODUCT OUTPUT Lhs.1, Rhs.0
{2} r9 = r3 AND NOT AbstractValuesImpl::TAbstractZero#8811fb25(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractEmpty#9219630d(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractNumString#25c27bba(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractOtherString#2955f1de(FIRST 1)
{2} | AND NOT AbstractValuesImpl::TAbstractNonZero#3f9e0b49(FIRST 1)
{2} | JOIN WITH `AbstractValues::AbstractValue.getType/0#dispred#8050bad2` ON FIRST 1 OUTPUT Rhs.1, Lhs.1
{2} | JOIN WITH num#Refinements::TValueWithType#fb8ede41 ON FIRST 1 OUTPUT Lhs.1, Rhs.1
{2} r10 = r2 UNION r4 UNION r5 UNION r6 UNION r7 UNION r8 UNION r9
{2} | AND NOT `Refinements::VarRefinementContext.getAValue/0#dispred#49f3bf90#prev`(FIRST 2)
return r10
(eventual cause: IOException "No space left on device")
at com.semmle.inmemory.pipeline.PipelineInstance.wrapWithRaDump(PipelineInstance.java:168)
at com.semmle.inmemory.pipeline.PipelineInstance.exceptionCaught(PipelineInstance.java:152)
at com.semmle.inmemory.scheduler.exec
|
Analyze (javascript)
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 5 MB
|