Opened 4 years ago
Closed 4 years ago
#212 closed defect (fixed)
Revert InferUnion change in new-ast
| Reported by: | f37yu | Owned by: | |
|---|---|---|---|
| Priority: | major | Component: | cfa-cc |
| Version: | 1.0 | Keywords: | |
| Cc: |
Description (last modified by )
The partially unresolved inferred parameters are actually useful as suggested by test results. In new-ast an optimization caused this to be no longer possible.
The previous change silenced errors in this case and dropped all unresolved inferred parameters, assuming those alternatives are always eliminated. Unfortunately, this does not always happen, so the memory optimization makes resolver incorrect.
Affected code:
ResolvExpr::InferMatcher? at SatisfyAssertions?.cpp:226
Expr::InferUnion? at Expr.hpp:68
Old implementation:
ResolvExpr::InferMatcher? at ResolveAssertions?.cc:327
Change History (2)
comment:1 Changed 4 years ago by
| Description: | modified (diff) |
|---|
comment:2 Changed 4 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
