Existe-t-il un préprocesseur C qui élimine les blocs #ifdef basés sur des valeurs définies/non définies?

Question Originale

ce que je voudrais n'est pas un pré-processeur standard C, mais une variation sur elle qui accepterait de quelque part - probablement la ligne de commande via-DNAME1 et-UNAME2 options - une spécification de ce que les macros sont définis, et éliminerait alors le code mort.

il peut être plus facile de comprendre ce que je suis après avec quelques exemples:

#ifdef NAME1
#define ALBUQUERQUE "ambidextrous"
#else
#define PHANTASMAGORIA "ghostly"
#endif

si la commande était exécutée avec'- DNAME1', le la sortie serait:

#define ALBUQUERQUE "ambidextrous"

si la commande était exécutée avec '- UNAME1', le résultat serait:

#define PHANTASMAGORIA "ghostly"

si la commande était exécutée sans aucune option, la sortie serait la même que l'entrée.

C'est un cas simple - j'espère que le code pourrait traiter des cas plus complexes aussi.

pour illustrer avec un exemple réel mais encore simple:

#ifdef USE_VOID
#ifdef PLATFORM1
#define VOID void
#else
#undef VOID
typedef void    VOID;
#endif /* PLATFORM1 */
typedef void *  VOIDPTR;
#else
typedef mint     VOID;
typedef char *  VOIDPTR;
#endif /* USE_VOID */

j'aimerais lancer la commande avec -DUSE_VOID -UPLATFORM1 et obtenir la sortie:

#undef VOID
typedef void    VOID;
typedef void *  VOIDPTR;

autre exemple:

#ifndef DOUBLEPAD
#if (defined NT) || (defined OLDUNIX)
#define DOUBLEPAD 8
#else
#define DOUBLEPAD 0
#endif /* NT */
#endif /* !DOUBLEPAD */

idéalement, je voudrais lancer avec -UOLDUNIX et obtenir la sortie:

#ifndef DOUBLEPAD
#if (defined NT)
#define DOUBLEPAD 8
#else
#define DOUBLEPAD 0
#endif /* NT */
#endif /* !DOUBLEPAD */

cela peut pousser ma chance!

Motivation: grande, ancienne base de code avec beaucoup de code conditionnel. Beaucoup de conditions ne s'appliquent plus - la plate-forme OLDUNIX, par exemple, n'est plus faite et n'est plus supportée, il n'est donc pas nécessaire d'y faire référence dans le code. D'autres conditions sont toujours vraies. Par exemple, des fonctionnalités sont ajoutées avec la compilation conditionnelle de sorte qu'une seule version du code peut être utilisée à la fois pour les versions plus anciennes du logiciel où la fonctionnalité n'est pas disponible et pour les versions plus récentes où elle est disponible (plus ou moins). Finalement, les anciennes versions sans la fonctionnalité ne sont plus supportées - Tout utilise la fonctionnalité - la condition selon laquelle la caractéristique est présente ou non devrait être supprimée, et le code "quand la caractéristique est absente" devrait également être supprimé. J'aimerais avoir un outil pour faire le travail automatiquement parce qu'il sera plus rapide et plus fiable que de le faire manuellement (ce qui est plutôt critique lorsque la base de code comprend 21 500 fichiers source).

(une version très intelligente de l'outil pourrait lire #include 'd fichiers pour déterminer si les macros de contrôle-ceux spécifiés par -D ou-U sur la ligne de commande - sont définis dans ces fichiers. Je ne suis pas sûr que ce soit vraiment utile sauf comme diagnostic de secours. Quoi qu'il fasse d'autre, le pseudo-pré-processeur ne doit pas étendre les macros ou inclure des fichiers mot à mot. La sortie doit être source de, mais généralement plus simple que le code d'entrée.)

Rapport de situation (un an plus tard)

après un an d'utilisation, je suis très satisfait de sunifdef " recommandé par la réponse sélectionnée. Il n'a pas encore fait d'erreur, et je ne m'y attends pas. Le seul bémol que j'ai avec c'est stylistique. Compte tenu d'une entrée telle que:

#if (defined(A) && defined(B)) || defined(C) || (defined(D) && defined(E))

et exécuter avec '- UC' (C n'est jamais défini), la sortie est:

#if defined(A) && defined(B) || defined(D) && defined(E)

ceci est techniquement correct parce que '&&' se lie plus étroitement que '||', mais c'est une invitation ouverte à la confusion. Je le préfère à inclure des parenthèses autour de"&&", comme dans le original:

#if (defined(A) && defined(B)) || (defined(D) && defined(E))

cependant, étant donné l'obscurité d'une partie du code que je dois travailler avec, pour que d'être le plus grand nit-pick est un compliment fort; il est outil précieux pour moi.

---

Le Nouvel Enfant sur le Bloc

ayant vérifié L'URL pour inclusion dans les informations ci-dessus, je vois que (comme prévu) Il ya un nouveau programme appelé Coan qui est le successeur à "sunifdef". Il est disponible sur SourceForge depuis janvier 2010. Je vais le vérifier...d'autres rapports plus tard cette année, ou peut-être l'année prochaine, ou, parfois, ou jamais.