diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 10:58:41 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 10:58:41 +0200 |
commit | e237804b607c1d3bc8217d6f14a35c003f6c8fc7 (patch) | |
tree | 5f3977778104e5640afda7c79cd9fd57d23457b6 /cparser/Rename.ml | |
parent | 60402c551f309b3eb87f83f2b67906229f688625 (diff) | |
download | compcert-e237804b607c1d3bc8217d6f14a35c003f6c8fc7.tar.gz compcert-e237804b607c1d3bc8217d6f14a35c003f6c8fc7.zip |
Renamed pedantic to implicit-int.
The only case where compcert raise a pedantic warning was for
implicit int parameters. This is the behavior of clang. However
since not all other pedantic warnings are supported the behavior
of gcc is adopted.
Bug 19872.
Diffstat (limited to 'cparser/Rename.ml')
0 files changed, 0 insertions, 0 deletions