diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-03 11:48:37 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-06-04 16:32:12 +0200 |
| commit | ada3c2411aab46eb26753c428a0ca56c9adfc428 (patch) | |
| tree | d0e3e7ec9b79be427e4b03e03d20335a483cac05 /cparser/Cabshelper.ml | |
| parent | 130990b8c24db1ccc44dc1b85907904433351e8d (diff) | |
| download | compcert-ada3c2411aab46eb26753c428a0ca56c9adfc428.tar.gz compcert-ada3c2411aab46eb26753c428a0ca56c9adfc428.zip | |
Warn for defs and uses of static variables in nonstatic inline functions
Nonstatic inline functions can be expanded in several compilation units.
The static variables in question may differ between different expansions.
This is a manual merge and adaptation of pull request #P95 by @bschommer.
Diffstat (limited to 'cparser/Cabshelper.ml')
0 files changed, 0 insertions, 0 deletions