lint |
peluche |
|---|---|
| PC-lint | |
Syntaxe
| lint fichier [options] |
Paramètres
| Nom | Description | Par défaut |
|---|---|---|
| Options d'inhibition des erreurs (- inhibe et + active les messages) |
||
| -/+e# | numéro de message # | Tous |
| -/+eau | arguments différents signés-non signés | Actif |
| -/+eas | Arguments de même taille (type différent) | Actif |
| -/+epp | Pointeur contre pointeur (même taille) | Actif |
| Options de taille | ||
| -sc# | sizeof(char) devient # | 1 |
| -ss# | sizeof(short) devient # | 2 |
| -si# | sizeof(int) devient # | 2 |
| -sl# | sizeof(long) devient # | 4 |
| -sf# | sizeof(float) devient # | 4 |
| -sd# | sizeof(double) devient # | 8 |
| -sp# | sizeof(tous pointeurs) devient # | 2 |
| -sb# | Nombre de bits dans un octet | 2 |
| -spD# | Taille d'un pointeur de données devient # | 2 |
| -spP# | Taille d'un pointeur de programme devient # | 2 |
| Options de verbosité | ||
| -v | Désactiver tous les messages de travail en cours | |
| -vm | Noms de modules uniquement | Par défaut |
| -vf | Noms de fichiers et de modules uniquement | |
| -v# | Chaque # lignes + noms de fichiers et de modules | |
| Options des drapeaux (+ active et - désactive le drapeau) |
||
| +/-fcu | Définit/réinitialise le drapeau char-is-unsigned | Inactif |
| +/-fdl | Définit/réinitialise le drapeau pointer-difference-is-long | Inactif |
| +/-fdr | Définit/réinitialise le drapeau deduce-return-mode | Actif |
| +/-fie | Définit/réinitialise le drapeau Integer-Model-for-Enum | Inactif |
| +/-fkp | Définit/réinitialise le pré-processeur K&R | Inactif |
| +/-fnc | Définit/réinitialise les commentaires imbriqués | Inactif |
| +/-fsa | Définit/réinitialise l'affectation de structure | Actif |
| +/-fsu | Définit/réinitialise le drapeau string-is-unsigned | Inactif |
| +/-ful | Définit/réinitialise le drapeau unsigned long | Actif |
| +/-fum | Définit/réinitialise le drapeau de membres unique | Inactif |
| +/-fva | Définit/réinitialise le drapeau d'arguments de variable | Inactif |
| +/-fvo | Définit/réinitialise le drapeau de type de données void | Actif |
| +/-fvr | Définit/réinitialise le drapeau varying-return-mode | Inactif |
| +/-fzl | Définit/réinitialise le drapeau sizeof-is-long | Inactif |
| +/-fzu | Définit/réinitialise le drapeau sizeof-is-unsigned | Inactif |
| Haute options | ||
| -h[s][C][N] | Contrôle la hauteur des messages d'erreur : s - espace entre les messages C - marqueur d'emplacement de l'erreur N - nombre de lignes dans les messages d'erreur |
|
| Autre options | ||
| -b | 8086 Modèle à grande mémoire à la C.I. | Inactif |
| -dname[=value] | Définir les variables du préprocesseur | |
| -i<prefix> | Préfixe de fichier inclus | |
| -library | Le fichier actuel ou suivant est une bibliothèque | Inactif |
| -mD | Suppose un modèle de données large | Inactif |
| -mL | Suppose un modèle de mémoire large 8086 | Inactif |
| -mP | Suppose un modèle de programme large | Inactif |
| -P | Exécute uniquement le préprocesseur | Inactif |
| -restore | Réinitialise l'état d'inhibition d'erreur | |
| -save | Enregistre l'état d'inhibition des erreurs | |
| -t# | définir la taille des tabulations à # | 8 |
| -u | vérification unitaire == -e714, -e552 et -e526 | |
| -unreachable | Un point du programme est inaccessible. | |
| -Ze | Activer les mots réservés MS | Inactif |
| -zero | Définit le code de sortie à 0 | Inactif |
Description
Cette commande permet de lancer le PC-Lint, soit l'analyseur statique de langage de programmation C.
Dernière mise à jour : Lundi, le 6 avril 2026