Switch the empty and tombstone key enumerators to not have explicit
authorChandler Carruth <chandlerc@gmail.com>
Sat, 5 Jan 2013 08:47:26 +0000 (08:47 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Sat, 5 Jan 2013 08:47:26 +0000 (08:47 +0000)
commit6f78fbbc630d2b86fb752574f5ad74473f57dfb1
tree608fb966bcd4a8cdc89cc449dadc9853a9088956
parentba7a4e69e8d45f63119abc69375f25124cc68535
Switch the empty and tombstone key enumerators to not have explicit
values -- that's not required to fix the bug that was cropping up, and
the values selected made the enumeration's underlying type signed and
introduced some warnings. This fixes the -Werror build.

The underlying issue here was that the DenseMapInfo was casting values
completely outside the range of the underlying storage of the
enumeration to the enumeration's type. GCC went and "optimized" that
into infloops and other misbehavior. By providing designated special
values for these keys in the dense map, we ensure they are indeed
representable and that they won't be used for anything else.

It might be better to reuse None for the empty key and have the
tombstone share the value of the sentinel enumerator, but honestly
having 2 extra enumerators seemed not to matter and this seems a bit
simpler. I'll let Bill shuffle this around (or ask me to shuffle it
around) if he prefers it to look a different way.

I also made the switch a bit more clear (and produce a better assert)
that the enumerators are *never* going to show up and are errors if they
do.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171614 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/IR/Attributes.h
lib/IR/Attributes.cpp