Opened 5 years ago
Closed 5 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 by , 5 years ago
| Description: | modified (diff) |
|---|
comment:2 by , 5 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note:
See TracTickets
for help on using tickets.
