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.  */
37