luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Formatting.

Browse source
This commit is contained in:
Alexander McCord 2023-09-20 13:44:51 -07:00
parent ccef633a29
commit 8c486b8a5c
2 changed files with 16 additions and 68 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
Analysis/src/ConstraintGraphBuilder.cpp
View file

@ -538,13 +538,9 @@ ControlFlow ConstraintGraphBuilder::visit(const ScopePtr& scope, AstStat* stat)
else if (auto s = stat->as<AstStatRepeat>())
return visit(scope, s);
else if (stat->is<AstStatBreak>())
return FFlag::LuauLoopControlFlowAnalysis
? ControlFlow::Breaks
: ControlFlow::None;
return FFlag::LuauLoopControlFlowAnalysis ? ControlFlow::Breaks : ControlFlow::None;
else if (stat->is<AstStatContinue>())
return FFlag::LuauLoopControlFlowAnalysis
? ControlFlow::Continues
: ControlFlow::None;
return FFlag::LuauLoopControlFlowAnalysis ? ControlFlow::Continues : ControlFlow::None;
else if (auto r = stat->as<AstStatReturn>())
return visit(scope, r);
else if (auto e = stat->as<AstStatExpr>())
@ -1070,9 +1066,7 @@ ControlFlow ConstraintGraphBuilder::visit(const ScopePtr& scope, AstStatIf* ifSt
ScopePtr elseScope = childScope(ifStatement->elsebody ? ifStatement->elsebody : ifStatement, scope);
applyRefinements(elseScope, ifStatement->elseLocation.value_or(ifStatement->condition->location), refinementArena.negation(refinement));
const ControlFlow guardClauseFlows = FFlag::LuauLoopControlFlowAnalysis
? ExitingControlFlows
: ControlFlow::Returns | ControlFlow :: Throws;
const ControlFlow guardClauseFlows = FFlag::LuauLoopControlFlowAnalysis ? ExitingControlFlows : ControlFlow::Returns | ControlFlow::Throws;
ControlFlow thencf = visit(thenScope, ifStatement->thenbody);
ControlFlow elsecf = ControlFlow::None;
@ -1087,44 +1081,24 @@ ControlFlow ConstraintGraphBuilder::visit(const ScopePtr& scope, AstStatIf* ifSt
if (FFlag::LuauLoopControlFlowAnalysis)
{
if (thencf == elsecf)
{
return thencf;
}
if (
matches(thencf, FunctionExitControlFlows)
&& matches(elsecf, FunctionExitControlFlows)
)
{
else if (matches(thencf, FunctionExitControlFlows) && matches(elsecf, FunctionExitControlFlows))
return ControlFlow::MixedFunctionExit;
}
if (
matches(thencf, LoopExitControlFlows)
&& matches(elsecf, LoopExitControlFlows)
)
{
else if (matches(thencf, LoopExitControlFlows) && matches(elsecf, LoopExitControlFlows))
return ControlFlow::MixedLoopExit;
}
if (
matches(thencf, ExitingControlFlows)
&& matches(elsecf, ExitingControlFlows)
)
{
else if (matches(thencf, ExitingControlFlows) && matches(elsecf, ExitingControlFlows))
return ControlFlow::MixedExit;
}
else
return ControlFlow::None;
}
else
{
if (matches(thencf, ControlFlow::Returns | ControlFlow::Throws) && matches(elsecf, ControlFlow::Returns | ControlFlow::Throws))
{
return ControlFlow::Returns;
}
else
{
return ControlFlow::None;
}
}
}
static bool occursCheck(TypeId needle, TypeId haystack)
{

40
Analysis/src/TypeInfer.cpp
View file

@ -367,13 +367,9 @@ ControlFlow TypeChecker::check(const ScopePtr& scope, const AstStat& program)
else if (auto repeat = program.as<AstStatRepeat>())
return check(scope, *repeat);
else if (program.is<AstStatBreak>())
return FFlag::LuauLoopControlFlowAnalysis
? ControlFlow::Breaks
: ControlFlow::None;
return FFlag::LuauLoopControlFlowAnalysis ? ControlFlow::Breaks : ControlFlow::None;
else if (program.is<AstStatContinue>())
return FFlag::LuauLoopControlFlowAnalysis
? ControlFlow::Continues
: ControlFlow::None;
return FFlag::LuauLoopControlFlowAnalysis ? ControlFlow::Continues : ControlFlow::None;
else if (auto return_ = program.as<AstStatReturn>())
return check(scope, *return_);
else if (auto expr = program.as<AstStatExpr>())
@ -766,9 +762,7 @@ ControlFlow TypeChecker::check(const ScopePtr& scope, const AstStatIf& statement
ScopePtr elseScope = childScope(scope, statement.elsebody ? statement.elsebody->location : statement.location);
resolve(result.predicates, elseScope, false);
const ControlFlow guardClauseFlows = FFlag::LuauLoopControlFlowAnalysis
? ExitingControlFlows
: ControlFlow::Returns | ControlFlow :: Throws;
const ControlFlow guardClauseFlows = FFlag::LuauLoopControlFlowAnalysis ? ExitingControlFlows : ControlFlow::Returns | ControlFlow::Throws;
ControlFlow thencf = check(thenScope, *statement.thenbody);
ControlFlow elsecf = ControlFlow::None;
@ -783,44 +777,24 @@ ControlFlow TypeChecker::check(const ScopePtr& scope, const AstStatIf& statement
if (FFlag::LuauLoopControlFlowAnalysis)
{
if (thencf == elsecf)
{
return thencf;
}
if (
matches(thencf, FunctionExitControlFlows)
&& matches(elsecf, FunctionExitControlFlows)
)
{
else if (matches(thencf, FunctionExitControlFlows) && matches(elsecf, FunctionExitControlFlows))
return ControlFlow::MixedFunctionExit;
}
if (
matches(thencf, LoopExitControlFlows)
&& matches(elsecf, LoopExitControlFlows)
)
{
else if (matches(thencf, LoopExitControlFlows) && matches(elsecf, LoopExitControlFlows))
return ControlFlow::MixedLoopExit;
}
if (
matches(thencf, ExitingControlFlows)
&& matches(elsecf, ExitingControlFlows)
)
{
else if (matches(thencf, ExitingControlFlows) && matches(elsecf, ExitingControlFlows))
return ControlFlow::MixedExit;
}
else
return ControlFlow::None;
}
else
{
if (matches(thencf, ControlFlow::Returns | ControlFlow::Throws) && matches(elsecf, ControlFlow::Returns | ControlFlow::Throws))
{
return ControlFlow::Returns;
}
else
{
return ControlFlow::None;
}
}
}
else
{
check(thenScope, *statement.thenbody);