diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-29 09:15:36 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-29 09:15:36 +0200 |
commit | 21156a2fcf48764762c7f2209fa850024378d83a (patch) | |
tree | e56bb6ee6b8099b3520c4e97ccd1cd776ff9eb7a /cparser/Rename.ml | |
parent | c7832c32253cdc2123313731c7cbbace4fc8332c (diff) | |
download | compcert-kvx-21156a2fcf48764762c7f2209fa850024378d83a.tar.gz compcert-kvx-21156a2fcf48764762c7f2209fa850024378d83a.zip |
Classified all warnings and added various options.
Now each warning either has a name and can be turned on/off, made
into an error,etc. or is a warning that always will be triggered.
The message of the warnings are similar to the ones emited by
gcc/clang and all fit into one line.
Furthermore the diagnostics are now colored if colored output is
available.
Bug 18004
Diffstat (limited to 'cparser/Rename.ml')
-rw-r--r-- | cparser/Rename.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/cparser/Rename.ml b/cparser/Rename.ml index 664f6a28..c62c6763 100644 --- a/cparser/Rename.ml +++ b/cparser/Rename.ml @@ -94,7 +94,7 @@ let ident env id = try IdentMap.find id env.re_id with Not_found -> - Cerrors.fatal_error "Internal error: Rename: %s__%d unbound" + Cerrors.fatal_error no_loc "internal error: rename: %s__%d unbound" id.name id.stamp let rec typ env = function @@ -292,4 +292,3 @@ let program p file = globdecls (reserve_public (reserve_builtins()) file p) [] p - |