llvm-project
d712c5ed - [clang][dataflow] Make optional checker work for types derived from optional. (#84138)

Commit
1 year ago
[clang][dataflow] Make optional checker work for types derived from optional. (#84138) `llvm::MaybeAlign` does this, for example. It's not an option to simply ignore these derived classes because they get cast back to the optional classes (for example, simply when calling the optional member functions), and our transfer functions will then run on those optional classes and therefore require them to be properly initialized.
Author
Parents
Loading