diff options
| author | Timm Baeder <tbaeder@redhat.com> | 2024-01-31 08:03:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-31 08:03:37 +0100 |
| commit | 5bb99edcb6726e5dcc20d2236ef51b11c248acb9 (patch) | |
| tree | a21ed54af79371d0ddca7f8b43cb851a19bae2df /clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp | |
| parent | f2816ff60c7dae0347beba9b11154b33e6311059 (diff) | |
| download | llvm-5bb99edcb6726e5dcc20d2236ef51b11c248acb9.zip llvm-5bb99edcb6726e5dcc20d2236ef51b11c248acb9.tar.gz llvm-5bb99edcb6726e5dcc20d2236ef51b11c248acb9.tar.bz2 | |
[clang][Interp] Add inline descriptor to global variables (#72892)
Some time ago, I did a similar patch for local variables.
Initializing global variables can fail as well:
```c++
constexpr int a = 1/0;
static_assert(a == 0);
```
... would succeed in the new interpreter, because we never saved the
fact that `a` has not been successfully initialized.
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp')
0 files changed, 0 insertions, 0 deletions