Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h @ 145:1830386684a0
gcc-9.2.0
| author | anatofuz |
|---|---|
| date | Thu, 13 Feb 2020 11:34:05 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 131:84e7813d76e9 | 145:1830386684a0 |
|---|---|
| 1 #ifndef ANALYZER_DECLS_H | |
| 2 #define ANALYZER_DECLS_H | |
| 3 | |
| 4 /* Function decls with special meaning to the analyzer. | |
| 5 None of these are actually implemented. */ | |
| 6 | |
| 7 /* Trigger a breakpoint in the analyzer when reached. */ | |
| 8 extern void __analyzer_break (void); | |
| 9 | |
| 10 /* Dump copious information about the analyzer’s state when reached. */ | |
| 11 extern void __analyzer_dump (void); | |
| 12 | |
| 13 /* Dump information after analysis on all of the exploded nodes at this | |
| 14 program point. | |
| 15 | |
| 16 __analyzer_dump_exploded_nodes (0); | |
| 17 will dump just the number of nodes, and their IDs. | |
| 18 | |
| 19 __analyzer_dump_exploded_nodes (1); | |
| 20 will also dump all of the states within those nodes. */ | |
| 21 extern void __analyzer_dump_exploded_nodes (int); | |
| 22 | |
| 23 extern void __analyzer_dump_num_heap_regions (void); | |
| 24 | |
| 25 /* Emit a placeholder "note" diagnostic with a path to this call site, | |
| 26 if the analyzer finds a feasible path to it. */ | |
| 27 extern void __analyzer_dump_path (void); | |
| 28 | |
| 29 /* Dump the region_model's state to stderr. */ | |
| 30 extern void __analyzer_dump_region_model (void); | |
| 31 | |
| 32 /* Emit a warning with text "TRUE", FALSE" or "UNKNOWN" based on the | |
| 33 truthfulness of the argument. */ | |
| 34 extern void __analyzer_eval (int); | |
| 35 | |
| 36 #endif /* #ifndef ANALYZER_DECLS_H. */ |