Repository navigation

Assertions in control flow analysis - #32695

Merged

Anders Hejlsberg (ahejlsberg) merged 44 commits into

masterfrom

assertionsInControlFlow

Sep 23, 2019

Commits on Jul 31, 2019
- Reflect effects of assertion calls in control flow analysis
  Anders Hejlsberg (ahejlsberg)
  committed
  e89acb6
Commits on Aug 3, 2019
- Support 'asserts' type predicates in control flow analysis
  Anders Hejlsberg (ahejlsberg)
  committed
  77f2a41
- Remove unused code
  Anders Hejlsberg (ahejlsberg)
  committed
  1f5bb97
- Accept new API baselines
  Anders Hejlsberg (ahejlsberg)
  committed
  fe70a62
Commits on Aug 5, 2019
- Address code review feedback
  Anders Hejlsberg (ahejlsberg)
  committed
  1c55e5d
Commits on Aug 8, 2019
- Reflect control flow effects of calls to never-returning functions
  Anders Hejlsberg (ahejlsberg)
  committed
  df02ad6
Commits on Aug 9, 2019
- Make flow nodes more monomorphic
  Anders Hejlsberg (ahejlsberg)
  committed
  99ab53e
- Accept baseline API changes
  Anders Hejlsberg (ahejlsberg)
  committed
  d5e08d4
- Less aggressive monomorphism for flow nodes
  Anders Hejlsberg (ahejlsberg)
  committed
  19f1d3b
- Accept API baseline changes
  Anders Hejlsberg (ahejlsberg)
  committed
  83212e7
- Merge branch 'master' into assertionsInControlFlow
  Anders Hejlsberg (ahejlsberg)
  committed
  259ba77
Commits on Aug 10, 2019
- Call getResolvedSignature only when needed for generics or overloads
  Anders Hejlsberg (ahejlsberg)
  committed
  cdeddf1
- Merge branch 'master' into assertionsInControlFlow
  Anders Hejlsberg (ahejlsberg)
  committed
  9791f1d
Commits on Aug 17, 2019
Commits on Sep 10, 2019
- Address CR feedback
  Anders Hejlsberg (ahejlsberg)
  committed
  2152874
Commits on Sep 11, 2019
- Accept new baselines
  Anders Hejlsberg (ahejlsberg)
  committed
  8791b62
- Merge branch 'master' into assertionsInControlFlow
  Anders Hejlsberg (ahejlsberg)
  committed
  5a180ba
Commits on Sep 12, 2019
- Use declared type for references in unreachable code
  Anders Hejlsberg (ahejlsberg)
  committed
  436339d
- Revert "Use declared type for references in unreachable code"
  Anders Hejlsberg (ahejlsberg)
  committed
  a9336ba
Commits on Sep 13, 2019
Commits on Sep 14, 2019
- Treat exhaustive switch statements like non-returning functions in CFA
  Anders Hejlsberg (ahejlsberg)
  committed
  cc6e493
Commits on Sep 15, 2019
Commits on Sep 16, 2019
Commits on Sep 17, 2019
- Cache last isReachableFlowNode result + switch statement CFA fix
  Anders Hejlsberg (ahejlsberg)
  committed
  8cbf694
- Accept new baselines
  Anders Hejlsberg (ahejlsberg)
  committed
  9466025
Commits on Sep 18, 2019
- Attach flow nodes only when allowUnreachableCode !== true
  Anders Hejlsberg (ahejlsberg)
  committed
  ba30fdc
- Properly handle try-finally statements in isReachableFlowNode
  Anders Hejlsberg (ahejlsberg)
  committed
  cafec55
Commits on Sep 21, 2019
- Add tests
  Anders Hejlsberg (ahejlsberg)
  committed
  21b5418
- Accept new baselines
  Anders Hejlsberg (ahejlsberg)
  committed
  97d69d4
- Merge branch 'master' into assertionsInControlFlow
  Anders Hejlsberg (ahejlsberg)
  committed
  c3dcc37
- Fix forEachChild
  Anders Hejlsberg (ahejlsberg)
  committed
  bcdf33d

Commits

Commits on Jul 31, 2019

Commits on Aug 3, 2019

Commits on Aug 5, 2019

Commits on Aug 8, 2019

Commits on Aug 9, 2019

Commits on Aug 10, 2019

Commits on Aug 17, 2019

Commits on Sep 10, 2019

Commits on Sep 11, 2019

Commits on Sep 12, 2019

Commits on Sep 13, 2019

Commits on Sep 14, 2019

Commits on Sep 15, 2019

Commits on Sep 16, 2019

Commits on Sep 17, 2019

Commits on Sep 18, 2019

Commits on Sep 21, 2019