xaizek / gcc-plugins (License: GPLv3+) (since 2018-12-07)
Some GCC plugins (actually only one was uploaded so far, and its functionality is not unique).
Commit f8ff6072ee4846db94d59505832f5cd46f941ca5

Update READMEs and TODO of inc-tree
Author: xaizek
Author date (UTC): 2015-11-16 20:57
Committer name: xaizek
Committer date (UTC): 2015-11-16 20:58
Parent(s): 2380da7c764c5a5c1bc543d657a15fb9972ff948
Signing key:
Tree: 54ba3071ed76c203e82f9d25dd2608dd3cc0071a
File Lines added Lines deleted
README.md 1 1
inc-tree/README.md 2 0
inc-tree/TODO.md 2 0
File README.md changed (mode: 100644) (index 00c5f9a..779aa44)
... ... plugin.
6 6
7 7 ### List of Plugins ### ### List of Plugins ###
8 8
9 * inc-tree -- prints all includes of a translation unit.
9 * inc-tree -- prints all includes of a translation unit (as `-H` option of GCC).
10 10
11 11 ### License ### ### License ###
12 12
File inc-tree/README.md changed (mode: 100644) (index ae8695b..02e6c03)
... ... The purpose of this plugin is to display tree of includes per compilation unit.
6 6 With its help one can answer from which place some particular include comes With its help one can answer from which place some particular include comes
7 7 from. from.
8 8
9 *Turns out there is already `-H` option for that.*
10
9 11 ### Supported Environment ### ### Supported Environment ###
10 12
11 13 Tested with GCC 4.9.3, should work with 4.9 and maybe with newer versions. Tested with GCC 4.9.3, should work with 4.9 and maybe with newer versions.
File inc-tree/TODO.md changed (mode: 100644) (index b8ac98c..05b167a)
3 3 * Maybe print results to `<source-file>.it` instead of standard output. * Maybe print results to `<source-file>.it` instead of standard output.
4 4
5 5 * Consider printing "real" include name (like `<<builtin>>` or `<<cmdline>>`. * Consider printing "real" include name (like `<<builtin>>` or `<<cmdline>>`.
6
7 * Maybe print summary of how many times each file was included.
Hints

Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/gcc-plugins

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/gcc-plugins

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master