[PATCH] Macro and conditional checking feature addition to the modularize tool

[Thompson, John]

The enclosed patch implements a much reworked new feature in the modularize tool for checking for inconsistent macro expansions and inconsistent condition expression evaluations in conditional directives with respect to C++ modules.  It also includes a modified test for it.

This is an implementation of the proposal I posted previously (but received no feedback), written up in this Google Doc:  https://docs.google.com/document/d/1dxXKI8r-3NwQDR6Zm-JT9kh-hWrruw8tUKmG9emY8AU/edit?usp=sharing

For details about the implementation in prose form, I've written the following Google Docs document, with comments enabled: https://docs.google.com/document/d/1TBQF3nzk66Sw0hJV0cCsNFvwF_zQuO5WbjoMmPtEfHU/edit?usp=sharing

The patch is relative to the "extra" directory at tools/clang/extra.

I'm sorry it's such a large patch.  I've tried to put as much as I can of the new feature code in a new .h interface and .cpp implementation file, with just the bare minimum API to connect it to Modularize.cpp.

I'd appreciate your review feedback for this patch and/or permission to check in.

Thanks.

-John

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130719/c5174149/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: mod_2013_07_19_patch.txt
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130719/c5174149/attachment.txt>