On Fri, 1 May 2015, Jeff Law wrote:

> Slight refactoring of the condition by using types_match as suggested by 
> Richi.  I also applied the new types_match to 2 other patterns in match.pd 
> where it seemed clearly appropriate.

I would like to propose this small tweak (regtested ok). If we had a 
different type for trees and types, this would be overloading the 
function. We already do this in a few places, and I find the resulting 
shorter code more readable.

2015-05-14  Marc Glisse  <marc.glisse@inria.fr>

 	* generic-match-head.c (types_match): Handle non-types.
 	* gimple-match-head.c (types_match): Likewise.
 	* match.pd: Remove unnecessary TREE_TYPE for types_match.

-- 
Marc Glisse