Bug 226537

Summary: Drop Checked::safeGet()
Product: WebKit Reporter: Chris Dumez <cdumez>
Component: Web Template FrameworkAssignee: Chris Dumez <cdumez>
Status: RESOLVED FIXED    
Severity: Normal CC: darin, ggaren, rniwa, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   
Bug Depends on: 226514    
Bug Blocks:    
Attachments:
Description Flags
Patch
none
Patch none

Description Chris Dumez 2021-06-02 08:13:55 PDT
Drop Checked::safeGet() and replace with uses of Checked::operator T() or Checked::value().
Comment 1 Chris Dumez 2021-06-02 08:16:30 PDT
Created attachment 430355 [details]
Patch
Comment 2 Chris Dumez 2021-06-02 08:36:18 PDT
Created attachment 430361 [details]
Patch
Comment 3 Geoffrey Garen 2021-06-02 11:04:33 PDT
Comment on attachment 430361 [details]
Patch

r=me
Comment 4 Darin Adler 2021-06-02 11:09:02 PDT
Looks good. In future code we write, I hope people will not need pairs of checked and unchecked local variables; just use Checked<> and it will typically do the right thing without naming everything xxxChecked.

By the way, I think the syntax Checked<uint32_t> will be better than CheckedUint32 some day, so I hope we can later move to that. For now, I think moving to the aliases is better, but I don’t think we need modes other than RecordOverflow. Presumably the "crash right away when we overflow" mode is there for optimization reasons, but it seems unnecessary. Seems like it would always be fine to crash when you go to fetch the value rather than eagerly crashing while doing the math.
Comment 5 EWS 2021-06-02 12:02:24 PDT
Committed r278369 (238396@main): <https://commits.webkit.org/238396@main>

All reviewed patches have been landed. Closing bug and clearing flags on attachment 430361 [details].
Comment 6 Radar WebKit Bug Importer 2021-06-02 12:03:20 PDT
<rdar://problem/78776138>