Should fold preserve types?

[Mike Stump]

On Monday, March 29, 2004, at 09:48 PM, Waldek Hebisch wrote:
> I have found multiple places where `fold' (from gcc-3.5-20040327)
> returns integers as results of comparisons.

Sounds like a bug in fold.

fold should preserve the type.  If it doesn't, that is a bug in fold, 
submit code to call fold_convert or otherwise preserve the original 
type.

If your frontend doesn't build the tree with the right type, then it is 
a bug in your frontend, build it with a boolean type.