Branch data Line data Source code
1 : : /* Regions of memory.
2 : : Copyright (C) 2019-2024 Free Software Foundation, Inc.
3 : : Contributed by David Malcolm <dmalcolm@redhat.com>.
4 : :
5 : : This file is part of GCC.
6 : :
7 : : GCC is free software; you can redistribute it and/or modify it
8 : : under the terms of the GNU General Public License as published by
9 : : the Free Software Foundation; either version 3, or (at your option)
10 : : any later version.
11 : :
12 : : GCC is distributed in the hope that it will be useful, but
13 : : WITHOUT ANY WARRANTY; without even the implied warranty of
14 : : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 : : General Public License for more details.
16 : :
17 : : You should have received a copy of the GNU General Public License
18 : : along with GCC; see the file COPYING3. If not see
19 : : <http://www.gnu.org/licenses/>. */
20 : :
21 : : #include "config.h"
22 : : #define INCLUDE_VECTOR
23 : : #include "system.h"
24 : : #include "coretypes.h"
25 : : #include "tree.h"
26 : : #include "diagnostic-core.h"
27 : : #include "gimple-pretty-print.h"
28 : : #include "function.h"
29 : : #include "basic-block.h"
30 : : #include "gimple.h"
31 : : #include "gimple-iterator.h"
32 : : #include "diagnostic-core.h"
33 : : #include "graphviz.h"
34 : : #include "options.h"
35 : : #include "cgraph.h"
36 : : #include "tree-dfa.h"
37 : : #include "stringpool.h"
38 : : #include "convert.h"
39 : : #include "target.h"
40 : : #include "fold-const.h"
41 : : #include "tree-pretty-print.h"
42 : : #include "diagnostic-color.h"
43 : : #include "bitmap.h"
44 : : #include "analyzer/analyzer.h"
45 : : #include "analyzer/analyzer-logging.h"
46 : : #include "ordered-hash-map.h"
47 : : #include "options.h"
48 : : #include "cgraph.h"
49 : : #include "cfg.h"
50 : : #include "digraph.h"
51 : : #include "analyzer/supergraph.h"
52 : : #include "sbitmap.h"
53 : : #include "analyzer/call-string.h"
54 : : #include "analyzer/program-point.h"
55 : : #include "analyzer/store.h"
56 : : #include "analyzer/region.h"
57 : : #include "analyzer/region-model.h"
58 : : #include "analyzer/sm.h"
59 : : #include "analyzer/program-state.h"
60 : : #include "text-art/dump.h"
61 : : #include "make-unique.h"
62 : :
63 : : #if ENABLE_ANALYZER
64 : :
65 : : namespace ana {
66 : :
67 : : region_offset
68 : 1298 : region_offset::make_byte_offset (const region *base_region,
69 : : const svalue *num_bytes_sval)
70 : : {
71 : 1298 : if (tree num_bytes_cst = num_bytes_sval->maybe_get_constant ())
72 : : {
73 : 878 : gcc_assert (TREE_CODE (num_bytes_cst) == INTEGER_CST);
74 : 878 : bit_offset_t num_bits = wi::to_offset (num_bytes_cst) * BITS_PER_UNIT;
75 : 878 : return make_concrete (base_region, num_bits);
76 : : }
77 : : else
78 : : {
79 : 420 : return make_symbolic (base_region, num_bytes_sval);
80 : : }
81 : : }
82 : :
83 : : const svalue &
84 : 580 : region_offset::calc_symbolic_bit_offset (region_model_manager *mgr) const
85 : : {
86 : 580 : if (symbolic_p ())
87 : : {
88 : 135 : const svalue *bits_per_byte
89 : 135 : = mgr->get_or_create_int_cst (NULL_TREE, BITS_PER_UNIT);
90 : 135 : return *mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
91 : 135 : m_sym_offset, bits_per_byte);
92 : : }
93 : : else
94 : 445 : return *mgr->get_or_create_int_cst (NULL_TREE, m_offset);
95 : : }
96 : :
97 : : const svalue *
98 : 206 : region_offset::calc_symbolic_byte_offset (region_model_manager *mgr) const
99 : : {
100 : 206 : if (symbolic_p ())
101 : : return m_sym_offset;
102 : : else
103 : : {
104 : 18 : byte_offset_t concrete_byte_offset;
105 : 18 : if (get_concrete_byte_offset (&concrete_byte_offset))
106 : 18 : return mgr->get_or_create_int_cst (size_type_node,
107 : : concrete_byte_offset);
108 : : else
109 : : /* Can't handle bitfields; return UNKNOWN. */
110 : 0 : return mgr->get_or_create_unknown_svalue (size_type_node);
111 : : }
112 : : }
113 : :
114 : : void
115 : 0 : region_offset::dump_to_pp (pretty_printer *pp, bool simple) const
116 : : {
117 : 0 : if (symbolic_p ())
118 : : {
119 : : /* We don't bother showing the base region. */
120 : 0 : pp_string (pp, "byte ");
121 : 0 : m_sym_offset->dump_to_pp (pp, simple);
122 : : }
123 : : else
124 : : {
125 : 0 : if (m_offset % BITS_PER_UNIT == 0)
126 : : {
127 : 0 : pp_string (pp, "byte ");
128 : 0 : pp_wide_int (pp, m_offset / BITS_PER_UNIT, SIGNED);
129 : : }
130 : : else
131 : : {
132 : 0 : pp_string (pp, "bit ");
133 : 0 : pp_wide_int (pp, m_offset, SIGNED);
134 : : }
135 : : }
136 : 0 : }
137 : :
138 : : DEBUG_FUNCTION void
139 : 0 : region_offset::dump (bool simple) const
140 : : {
141 : 0 : tree_dump_pretty_printer pp (stderr);
142 : 0 : dump_to_pp (&pp, simple);
143 : 0 : pp_newline (&pp);
144 : 0 : }
145 : :
146 : : /* An svalue that matches the pattern (BASE * FACTOR) + OFFSET
147 : : where FACTOR or OFFSET could be the identity (represented as NULL). */
148 : :
149 : : struct linear_op
150 : : {
151 : 5502 : linear_op (const svalue *base,
152 : : const svalue *factor,
153 : : const svalue *offset)
154 : 1900 : : m_base (base), m_factor (factor), m_offset (offset)
155 : : {
156 : : }
157 : :
158 : 3452 : bool maybe_get_cst_factor (bit_offset_t *out) const
159 : : {
160 : 3452 : if (m_factor == nullptr)
161 : : {
162 : 732 : *out = 1;
163 : 732 : return true;
164 : : }
165 : 2720 : if (tree cst_factor = m_factor->maybe_get_constant ())
166 : : {
167 : 2720 : *out = wi::to_offset (cst_factor);
168 : 2720 : return true;
169 : : }
170 : : return false;
171 : : }
172 : :
173 : 3126 : bool maybe_get_cst_offset (bit_offset_t *out) const
174 : : {
175 : 3126 : if (m_offset == nullptr)
176 : : {
177 : 842 : *out = 0;
178 : 842 : return true;
179 : : }
180 : 2284 : if (tree cst_offset = m_offset->maybe_get_constant ())
181 : : {
182 : 2222 : *out = wi::to_offset (cst_offset);
183 : 2222 : return true;
184 : : }
185 : : return false;
186 : : }
187 : :
188 : : static tristate
189 : 1675 : less (const linear_op &a, const linear_op &b)
190 : : {
191 : : /* Same base. */
192 : 1675 : if (a.m_base == b.m_base)
193 : : {
194 : 1611 : bit_offset_t a_wi_factor;
195 : 1611 : bit_offset_t b_wi_factor;
196 : 1611 : if (a.maybe_get_cst_factor (&a_wi_factor)
197 : 1611 : && b.maybe_get_cst_factor (&b_wi_factor))
198 : : {
199 : 1611 : if (a_wi_factor != b_wi_factor)
200 : 172 : return tristate (a_wi_factor < b_wi_factor);
201 : : else
202 : : {
203 : 1495 : bit_offset_t a_wi_offset;
204 : 1495 : bit_offset_t b_wi_offset;
205 : 1495 : if (a.maybe_get_cst_offset (&a_wi_offset)
206 : 1495 : && b.maybe_get_cst_offset (&b_wi_offset))
207 : 2498 : return tristate (a_wi_offset < b_wi_offset);
208 : : }
209 : : }
210 : : }
211 : 124 : return tristate::unknown ();
212 : : }
213 : :
214 : : static tristate
215 : 115 : le (const linear_op &a, const linear_op &b)
216 : : {
217 : : /* Same base. */
218 : 115 : if (a.m_base == b.m_base)
219 : : {
220 : 115 : bit_offset_t a_wi_factor;
221 : 115 : bit_offset_t b_wi_factor;
222 : 115 : if (a.maybe_get_cst_factor (&a_wi_factor)
223 : 115 : && b.maybe_get_cst_factor (&b_wi_factor))
224 : : {
225 : 115 : if (a_wi_factor != b_wi_factor)
226 : 32 : return tristate (a_wi_factor <= b_wi_factor);
227 : : else
228 : : {
229 : 99 : bit_offset_t a_wi_offset;
230 : 99 : bit_offset_t b_wi_offset;
231 : 99 : if (a.maybe_get_cst_offset (&a_wi_offset)
232 : 99 : && b.maybe_get_cst_offset (&b_wi_offset))
233 : 140 : return tristate (a_wi_offset <= b_wi_offset);
234 : : }
235 : : }
236 : : }
237 : 2 : return tristate::unknown ();
238 : : }
239 : :
240 : : static bool
241 : 3712 : from_svalue (const svalue &sval, linear_op *out)
242 : : {
243 : 3712 : switch (sval.get_kind ())
244 : : {
245 : : default:
246 : : break;
247 : 3602 : case SK_BINOP:
248 : 3602 : {
249 : 3602 : const binop_svalue &binop_sval ((const binop_svalue &)sval);
250 : 3602 : if (binop_sval.get_op () == MULT_EXPR)
251 : : {
252 : 1078 : *out = linear_op (binop_sval.get_arg0 (),
253 : : binop_sval.get_arg1 (),
254 : 1078 : NULL);
255 : 1078 : return true;
256 : : }
257 : 2524 : else if (binop_sval.get_op () == PLUS_EXPR)
258 : : {
259 : 2524 : if (binop_sval.get_arg0 ()->get_kind () == SK_BINOP)
260 : : {
261 : 1786 : const binop_svalue &inner_binop_sval
262 : 1786 : ((const binop_svalue &)*binop_sval.get_arg0 ());
263 : 1786 : if (inner_binop_sval.get_op () == MULT_EXPR)
264 : : {
265 : 1642 : *out = linear_op (inner_binop_sval.get_arg0 (),
266 : : inner_binop_sval.get_arg1 (),
267 : 1642 : binop_sval.get_arg1 ());
268 : 1642 : return true;
269 : : }
270 : : }
271 : :
272 : 882 : *out = linear_op (binop_sval.get_arg0 (),
273 : : NULL,
274 : 882 : binop_sval.get_arg1 ());
275 : 882 : return true;
276 : : }
277 : : }
278 : : break;
279 : : }
280 : : return false;
281 : : }
282 : :
283 : : const svalue *m_base;
284 : : const svalue *m_factor;
285 : : const svalue *m_offset;
286 : : };
287 : :
288 : : bool
289 : 23987 : operator< (const region_offset &a, const region_offset &b)
290 : : {
291 : 23987 : if (a.symbolic_p ())
292 : : {
293 : 2248 : if (b.symbolic_p ())
294 : : {
295 : : /* Symbolic vs symbolic. */
296 : 1775 : const svalue &a_sval = *a.get_symbolic_byte_offset ();
297 : 1775 : const svalue &b_sval = *b.get_symbolic_byte_offset ();
298 : :
299 : 1775 : linear_op op_a (NULL, NULL, NULL);
300 : 1775 : linear_op op_b (NULL, NULL, NULL);
301 : 1775 : if (linear_op::from_svalue (a_sval, &op_a)
302 : 1775 : && linear_op::from_svalue (b_sval, &op_b))
303 : : {
304 : 1675 : tristate ts = linear_op::less (op_a, op_b);
305 : 1675 : if (ts.is_true ())
306 : 1775 : return true;
307 : 1243 : else if (ts.is_false ())
308 : : return false;
309 : : }
310 : : /* Use svalue's deterministic order, for now. */
311 : 224 : return (svalue::cmp_ptr (a.get_symbolic_byte_offset (),
312 : : b.get_symbolic_byte_offset ())
313 : 224 : < 0);
314 : : }
315 : : else
316 : : /* Symbolic vs concrete: put all symbolic after all concrete. */
317 : : return false;
318 : : }
319 : : else
320 : : {
321 : 21739 : if (b.symbolic_p ())
322 : : /* Concrete vs symbolic: put all concrete before all symbolic. */
323 : : return true;
324 : : else
325 : : /* Concrete vs concrete. */
326 : 21286 : return a.get_bit_offset () < b.get_bit_offset ();
327 : : }
328 : : }
329 : :
330 : : bool
331 : 1567 : operator<= (const region_offset &a, const region_offset &b)
332 : : {
333 : 1567 : if (a.symbolic_p ())
334 : : {
335 : 176 : if (b.symbolic_p ())
336 : : {
337 : : /* Symbolic vs symbolic. */
338 : 125 : const svalue &a_sval = *a.get_symbolic_byte_offset ();
339 : 125 : const svalue &b_sval = *b.get_symbolic_byte_offset ();
340 : :
341 : 125 : linear_op op_a (NULL, NULL, NULL);
342 : 125 : linear_op op_b (NULL, NULL, NULL);
343 : 125 : if (linear_op::from_svalue (a_sval, &op_a)
344 : 125 : && linear_op::from_svalue (b_sval, &op_b))
345 : : {
346 : 115 : tristate ts = linear_op::le (op_a, op_b);
347 : 115 : if (ts.is_true ())
348 : 125 : return true;
349 : 61 : else if (ts.is_false ())
350 : : return false;
351 : : }
352 : : /* Use svalue's deterministic order, for now. */
353 : 12 : return (svalue::cmp_ptr (a.get_symbolic_byte_offset (),
354 : : b.get_symbolic_byte_offset ())
355 : 12 : <= 0);
356 : : }
357 : : else
358 : : /* Symbolic vs concrete: put all symbolic after all concrete. */
359 : : return false;
360 : : }
361 : : else
362 : : {
363 : 1391 : if (b.symbolic_p ())
364 : : /* Concrete vs symbolic: put all concrete before all symbolic. */
365 : : return true;
366 : : else
367 : : /* Concrete vs concrete. */
368 : 1300 : return a.get_bit_offset () <= b.get_bit_offset ();
369 : : }
370 : : }
371 : :
372 : : bool
373 : 30 : operator> (const region_offset &a, const region_offset &b)
374 : : {
375 : 30 : return b < a;
376 : : }
377 : :
378 : : bool
379 : 136 : operator>= (const region_offset &a, const region_offset &b)
380 : : {
381 : 136 : return b <= a;
382 : : }
383 : :
384 : : region_offset
385 : 5144 : strip_types (const region_offset &offset, region_model_manager &mgr)
386 : : {
387 : 5144 : if (offset.symbolic_p ())
388 : 973 : return region_offset::make_symbolic
389 : 973 : (offset.get_base_region (),
390 : : strip_types (offset.get_symbolic_byte_offset (),
391 : 973 : mgr));
392 : : else
393 : 4171 : return offset;
394 : : }
395 : :
396 : : /* class region and its various subclasses. */
397 : :
398 : : /* class region. */
399 : :
400 : 192122 : region::~region ()
401 : : {
402 : 192122 : delete m_cached_offset;
403 : 192122 : }
404 : :
405 : : /* Determine the base region for this region: when considering bindings
406 : : for this region, the base region is the ancestor which identifies
407 : : which cluster they should be partitioned into.
408 : : Regions within the same struct/union/array are in the same cluster.
409 : : Different decls are in different clusters. */
410 : :
411 : : const region *
412 : 43769779 : region::get_base_region () const
413 : : {
414 : 43769779 : const region *iter = this;
415 : 45760158 : while (iter)
416 : : {
417 : 45760158 : switch (iter->get_kind ())
418 : : {
419 : 1990379 : case RK_FIELD:
420 : 1990379 : case RK_ELEMENT:
421 : 1990379 : case RK_OFFSET:
422 : 1990379 : case RK_SIZED:
423 : 1990379 : case RK_BIT_RANGE:
424 : 1990379 : case RK_CAST:
425 : 1990379 : iter = iter->get_parent_region ();
426 : 1990379 : continue;
427 : : default:
428 : : return iter;
429 : : }
430 : : }
431 : : return iter;
432 : : }
433 : :
434 : : /* Return true if get_base_region() == this for this region. */
435 : :
436 : : bool
437 : 276707 : region::base_region_p () const
438 : : {
439 : 276707 : switch (get_kind ())
440 : : {
441 : : /* Region kinds representing a descendent of a base region. */
442 : : case RK_FIELD:
443 : : case RK_ELEMENT:
444 : : case RK_OFFSET:
445 : : case RK_SIZED:
446 : : case RK_CAST:
447 : : case RK_BIT_RANGE:
448 : : return false;
449 : :
450 : 213176 : default:
451 : 213176 : return true;
452 : : }
453 : : }
454 : :
455 : : /* Return true if this region is ELDER or one of its descendents. */
456 : :
457 : : bool
458 : 185784 : region::descendent_of_p (const region *elder) const
459 : : {
460 : 185784 : const region *iter = this;
461 : 675122 : while (iter)
462 : : {
463 : 540772 : if (iter == elder)
464 : : return true;
465 : 489338 : iter = iter->get_parent_region ();
466 : : }
467 : : return false;
468 : : }
469 : :
470 : : /* If this region is a frame_region, or a descendent of one, return it.
471 : : Otherwise return NULL. */
472 : :
473 : : const frame_region *
474 : 2382145 : region::maybe_get_frame_region () const
475 : : {
476 : 2382145 : const region *iter = this;
477 : 6382125 : while (iter)
478 : : {
479 : 5576974 : if (const frame_region *frame_reg = iter->dyn_cast_frame_region ())
480 : : return frame_reg;
481 : 3999980 : iter = iter->get_parent_region ();
482 : : }
483 : : return NULL;
484 : : }
485 : :
486 : : /* Get the memory space of this region. */
487 : :
488 : : enum memory_space
489 : 3417389 : region::get_memory_space () const
490 : : {
491 : 3417389 : const region *iter = this;
492 : 7251885 : while (iter)
493 : : {
494 : 6445604 : switch (iter->get_kind ())
495 : : {
496 : 3834496 : default:
497 : 3834496 : break;
498 : : case RK_GLOBALS:
499 : : return MEMSPACE_GLOBALS;
500 : : case RK_CODE:
501 : : case RK_FUNCTION:
502 : : case RK_LABEL:
503 : : return MEMSPACE_CODE;
504 : : case RK_FRAME:
505 : : case RK_STACK:
506 : : case RK_ALLOCA:
507 : : return MEMSPACE_STACK;
508 : : case RK_HEAP:
509 : : case RK_HEAP_ALLOCATED:
510 : : return MEMSPACE_HEAP;
511 : : case RK_STRING:
512 : : return MEMSPACE_READONLY_DATA;
513 : : case RK_PRIVATE:
514 : : return MEMSPACE_PRIVATE;
515 : : }
516 : 3834496 : iter = iter->get_parent_region ();
517 : : }
518 : : return MEMSPACE_UNKNOWN;
519 : : }
520 : :
521 : : /* Subroutine for use by region_model_manager::get_or_create_initial_value.
522 : : Return true if this region has an initial_svalue.
523 : : Return false if attempting to use INIT_VAL(this_region) should give
524 : : the "UNINITIALIZED" poison value. */
525 : :
526 : : bool
527 : 2765839 : region::can_have_initial_svalue_p () const
528 : : {
529 : 2765839 : const region *base_reg = get_base_region ();
530 : :
531 : : /* Check for memory spaces that are uninitialized by default. */
532 : 2765839 : enum memory_space mem_space = base_reg->get_memory_space ();
533 : 2765839 : switch (mem_space)
534 : : {
535 : 0 : default:
536 : 0 : gcc_unreachable ();
537 : : case MEMSPACE_UNKNOWN:
538 : : case MEMSPACE_CODE:
539 : : case MEMSPACE_GLOBALS:
540 : : case MEMSPACE_READONLY_DATA:
541 : : case MEMSPACE_PRIVATE:
542 : : /* Such regions have initial_svalues. */
543 : : return true;
544 : :
545 : : case MEMSPACE_HEAP:
546 : : /* Heap allocations are uninitialized by default. */
547 : : return false;
548 : :
549 : 1726568 : case MEMSPACE_STACK:
550 : 1726568 : if (tree decl = base_reg->maybe_get_decl ())
551 : : {
552 : : /* See the assertion in frame_region::get_region_for_local for the
553 : : tree codes we need to handle here. */
554 : 1718690 : switch (TREE_CODE (decl))
555 : : {
556 : 0 : default:
557 : 0 : gcc_unreachable ();
558 : :
559 : : case PARM_DECL:
560 : : /* Parameters have initial values. */
561 : : return true;
562 : :
563 : : case VAR_DECL:
564 : : case RESULT_DECL:
565 : : /* Function locals don't have initial values. */
566 : : return false;
567 : :
568 : 1606840 : case SSA_NAME:
569 : 1606840 : {
570 : 1606840 : tree ssa_name = decl;
571 : : /* SSA names that are the default defn of a PARM_DECL
572 : : have initial_svalues; other SSA names don't. */
573 : 1606840 : if (SSA_NAME_IS_DEFAULT_DEF (ssa_name)
574 : 1539993 : && SSA_NAME_VAR (ssa_name)
575 : 3146833 : && TREE_CODE (SSA_NAME_VAR (ssa_name)) == PARM_DECL)
576 : : return true;
577 : : else
578 : : return false;
579 : : }
580 : : }
581 : : }
582 : :
583 : : /* If we have an on-stack region that isn't associated with a decl
584 : : or SSA name, then we have VLA/alloca, which is uninitialized. */
585 : : return false;
586 : : }
587 : : }
588 : :
589 : : /* For regions within a global decl, get the svalue for the initial
590 : : value of this region when the program starts, caching the result. */
591 : :
592 : : const svalue *
593 : 7734 : region::get_initial_value_at_main (region_model_manager *mgr) const
594 : : {
595 : 7734 : if (!m_cached_init_sval_at_main)
596 : 336 : m_cached_init_sval_at_main = calc_initial_value_at_main (mgr);
597 : 7734 : return m_cached_init_sval_at_main;
598 : : }
599 : :
600 : : /* Implementation of region::get_initial_value_at_main. */
601 : :
602 : : const svalue *
603 : 336 : region::calc_initial_value_at_main (region_model_manager *mgr) const
604 : : {
605 : 336 : const decl_region *base_reg = get_base_region ()->dyn_cast_decl_region ();
606 : 336 : gcc_assert (base_reg);
607 : :
608 : : /* Attempt to get the initializer value for base_reg. */
609 : 672 : if (const svalue *base_reg_init
610 : 336 : = base_reg->get_svalue_for_initializer (mgr))
611 : : {
612 : 293 : if (this == base_reg)
613 : : return base_reg_init;
614 : : else
615 : : {
616 : : /* Get the value for REG within base_reg_init. */
617 : 175 : binding_cluster c (base_reg);
618 : 175 : c.bind (mgr->get_store_manager (), base_reg, base_reg_init);
619 : 175 : const svalue *sval
620 : 175 : = c.get_any_binding (mgr->get_store_manager (), this);
621 : 175 : if (sval)
622 : : {
623 : 174 : if (get_type ())
624 : 155 : sval = mgr->get_or_create_cast (get_type (), sval);
625 : 174 : return sval;
626 : : }
627 : 175 : }
628 : : }
629 : :
630 : : /* Otherwise, return INIT_VAL(REG). */
631 : 44 : return mgr->get_or_create_initial_value (this);
632 : : }
633 : :
634 : : /* If this region is a decl_region, return the decl.
635 : : Otherwise return NULL. */
636 : :
637 : : tree
638 : 2842081 : region::maybe_get_decl () const
639 : : {
640 : 2842081 : if (const decl_region *decl_reg = dyn_cast_decl_region ())
641 : 2422232 : return decl_reg->get_decl ();
642 : : return NULL_TREE;
643 : : }
644 : :
645 : : /* Get the region_offset for this region (calculating it on the
646 : : first call and caching it internally). */
647 : :
648 : : region_offset
649 : 4514240 : region::get_offset (region_model_manager *mgr) const
650 : : {
651 : 4514240 : if(!m_cached_offset)
652 : 132436 : m_cached_offset = new region_offset (calc_offset (mgr));
653 : 4514240 : return *m_cached_offset;
654 : : }
655 : :
656 : : /* Get the region_offset for immediately beyond this region. */
657 : :
658 : : region_offset
659 : 733 : region::get_next_offset (region_model_manager *mgr) const
660 : : {
661 : 733 : region_offset start = get_offset (mgr);
662 : :
663 : 733 : bit_size_t bit_size;
664 : 733 : if (get_bit_size (&bit_size))
665 : : {
666 : 715 : if (start.concrete_p ())
667 : : {
668 : 527 : bit_offset_t next_bit_offset = start.get_bit_offset () + bit_size;
669 : 527 : return region_offset::make_concrete (start.get_base_region (),
670 : : next_bit_offset);
671 : : }
672 : : }
673 : :
674 : 206 : const svalue *start_byte_offset_sval = start.calc_symbolic_byte_offset (mgr);
675 : 206 : const svalue *byte_size_sval = get_byte_size_sval (mgr);
676 : 206 : const svalue *sum_sval
677 : 206 : = mgr->get_or_create_binop (size_type_node,
678 : : PLUS_EXPR,
679 : : start_byte_offset_sval,
680 : : byte_size_sval);
681 : 206 : return region_offset::make_symbolic (start.get_base_region (),
682 : 206 : sum_sval);
683 : : }
684 : :
685 : : /* Base class implementation of region::get_byte_size vfunc.
686 : : If the size of this region (in bytes) is known statically, write it to *OUT
687 : : and return true.
688 : : Otherwise return false. */
689 : :
690 : : bool
691 : 300 : region::get_byte_size (byte_size_t *out) const
692 : : {
693 : 300 : tree type = get_type ();
694 : :
695 : : /* Bail out e.g. for heap-allocated regions. */
696 : 300 : if (!type)
697 : : return false;
698 : :
699 : 154 : HOST_WIDE_INT bytes = int_size_in_bytes (type);
700 : 154 : if (bytes == -1)
701 : : return false;
702 : 154 : *out = bytes;
703 : 154 : return true;
704 : : }
705 : :
706 : : /* Base implementation of region::get_byte_size_sval vfunc. */
707 : :
708 : : const svalue *
709 : 52121 : region::get_byte_size_sval (region_model_manager *mgr) const
710 : : {
711 : 52121 : tree type = get_type ();
712 : :
713 : : /* Bail out e.g. for heap-allocated regions. */
714 : 52121 : if (!type)
715 : 7441 : return mgr->get_or_create_unknown_svalue (size_type_node);
716 : :
717 : 44680 : HOST_WIDE_INT bytes = int_size_in_bytes (type);
718 : 44680 : if (bytes == -1)
719 : 586 : return mgr->get_or_create_unknown_svalue (size_type_node);
720 : :
721 : 44094 : tree byte_size = size_in_bytes (type);
722 : 44094 : if (TREE_TYPE (byte_size) != size_type_node)
723 : 44094 : byte_size = fold_build1 (NOP_EXPR, size_type_node, byte_size);
724 : 44094 : return mgr->get_or_create_constant_svalue (byte_size);
725 : : }
726 : :
727 : : /* Attempt to get the size of TYPE in bits.
728 : : If successful, return true and write the size to *OUT.
729 : : Otherwise return false. */
730 : :
731 : : bool
732 : 9039286 : int_size_in_bits (const_tree type, bit_size_t *out)
733 : : {
734 : 9039286 : if (INTEGRAL_TYPE_P (type))
735 : : {
736 : 3471100 : *out = TYPE_PRECISION (type);
737 : 3471100 : return true;
738 : : }
739 : :
740 : 5568186 : tree sz = TYPE_SIZE (type);
741 : 5568186 : if (sz
742 : 5549787 : && tree_fits_uhwi_p (sz)
743 : : /* If the size is zero, then we may have a zero-sized
744 : : array; handle such cases by returning false. */
745 : 11117786 : && !integer_zerop (sz))
746 : : {
747 : 5547001 : *out = TREE_INT_CST_LOW (sz);
748 : 5547001 : return true;
749 : : }
750 : : else
751 : 21185 : return false;
752 : : }
753 : :
754 : : /* Base implementation of region::get_bit_size_sval vfunc. */
755 : :
756 : : const svalue *
757 : 676253 : region::get_bit_size_sval (region_model_manager *mgr) const
758 : : {
759 : 676253 : tree type = get_type ();
760 : :
761 : : /* Bail out e.g. for heap-allocated regions. */
762 : 676253 : if (!type)
763 : 2209 : return mgr->get_or_create_unknown_svalue (size_type_node);
764 : :
765 : 674044 : bit_size_t bits;
766 : 674044 : if (!int_size_in_bits (type, &bits))
767 : 68 : return mgr->get_or_create_unknown_svalue (size_type_node);
768 : :
769 : 673976 : return mgr->get_or_create_int_cst (size_type_node, bits);
770 : : }
771 : :
772 : : /* If the size of this region (in bits) is known statically, write it to *OUT
773 : : and return true.
774 : : Otherwise return false. */
775 : :
776 : : bool
777 : 9962906 : region::get_bit_size (bit_size_t *out) const
778 : : {
779 : 9962906 : tree type = get_type ();
780 : :
781 : : /* Bail out e.g. for heap-allocated regions. */
782 : 9962906 : if (!type)
783 : : return false;
784 : :
785 : 8359584 : return int_size_in_bits (type, out);
786 : : }
787 : :
788 : : /* Get the field within RECORD_TYPE at BIT_OFFSET. */
789 : :
790 : : tree
791 : 1222 : get_field_at_bit_offset (tree record_type, bit_offset_t bit_offset)
792 : : {
793 : 1222 : gcc_assert (TREE_CODE (record_type) == RECORD_TYPE);
794 : 1222 : if (bit_offset < 0)
795 : : return NULL;
796 : :
797 : : /* Find the first field that has an offset > BIT_OFFSET,
798 : : then return the one preceding it.
799 : : Skip other trees within the chain, such as FUNCTION_DECLs. */
800 : 1222 : tree last_field = NULL_TREE;
801 : 12055 : for (tree iter = TYPE_FIELDS (record_type); iter != NULL_TREE;
802 : 10833 : iter = DECL_CHAIN (iter))
803 : : {
804 : 11450 : if (TREE_CODE (iter) == FIELD_DECL)
805 : : {
806 : 2876 : int iter_field_offset = int_bit_position (iter);
807 : 2876 : if (bit_offset < iter_field_offset)
808 : 617 : return last_field;
809 : 2259 : last_field = iter;
810 : : }
811 : : }
812 : : return last_field;
813 : : }
814 : :
815 : : /* Populate *OUT with descendent regions of type TYPE that match
816 : : RELATIVE_BIT_OFFSET and SIZE_IN_BITS within this region. */
817 : :
818 : : void
819 : 9415 : region::get_subregions_for_binding (region_model_manager *mgr,
820 : : bit_offset_t relative_bit_offset,
821 : : bit_size_t size_in_bits,
822 : : tree type,
823 : : auto_vec <const region *> *out) const
824 : : {
825 : 9415 : if (get_type () == NULL_TREE || type == NULL_TREE)
826 : : return;
827 : 9131 : if (relative_bit_offset == 0
828 : 9131 : && types_compatible_p (get_type (), type))
829 : : {
830 : 8292 : out->safe_push (this);
831 : 8292 : return;
832 : : }
833 : 839 : switch (TREE_CODE (get_type ()))
834 : : {
835 : 115 : case ARRAY_TYPE:
836 : 115 : {
837 : 115 : tree element_type = TREE_TYPE (get_type ());
838 : 115 : HOST_WIDE_INT hwi_byte_size = int_size_in_bytes (element_type);
839 : 115 : if (hwi_byte_size > 0)
840 : : {
841 : 115 : HOST_WIDE_INT bits_per_element
842 : : = hwi_byte_size << LOG2_BITS_PER_UNIT;
843 : 115 : HOST_WIDE_INT element_index
844 : 115 : = (relative_bit_offset.to_shwi () / bits_per_element);
845 : 115 : tree element_index_cst
846 : 115 : = build_int_cst (integer_type_node, element_index);
847 : 115 : HOST_WIDE_INT inner_bit_offset
848 : 115 : = relative_bit_offset.to_shwi () % bits_per_element;
849 : 115 : const region *subregion = mgr->get_element_region
850 : 115 : (this, element_type,
851 : : mgr->get_or_create_constant_svalue (element_index_cst));
852 : 115 : subregion->get_subregions_for_binding (mgr, inner_bit_offset,
853 : : size_in_bits, type, out);
854 : : }
855 : : }
856 : : break;
857 : 584 : case RECORD_TYPE:
858 : 584 : {
859 : : /* The bit offset might be *within* one of the fields (such as
860 : : with nested structs).
861 : : So we want to find the enclosing field, adjust the offset,
862 : : and repeat. */
863 : 584 : if (tree field = get_field_at_bit_offset (get_type (),
864 : : relative_bit_offset))
865 : : {
866 : 584 : int field_bit_offset = int_bit_position (field);
867 : 584 : const region *subregion = mgr->get_field_region (this, field);
868 : 584 : subregion->get_subregions_for_binding
869 : 584 : (mgr, relative_bit_offset - field_bit_offset,
870 : : size_in_bits, type, out);
871 : : }
872 : : }
873 : : break;
874 : 8 : case UNION_TYPE:
875 : 8 : {
876 : 24 : for (tree field = TYPE_FIELDS (get_type ()); field != NULL_TREE;
877 : 16 : field = DECL_CHAIN (field))
878 : : {
879 : 16 : if (TREE_CODE (field) != FIELD_DECL)
880 : 0 : continue;
881 : 16 : const region *subregion = mgr->get_field_region (this, field);
882 : 16 : subregion->get_subregions_for_binding (mgr,
883 : : relative_bit_offset,
884 : : size_in_bits,
885 : : type,
886 : : out);
887 : : }
888 : : }
889 : : break;
890 : : default:
891 : : /* Do nothing. */
892 : : break;
893 : : }
894 : : }
895 : :
896 : : /* Walk from this region up to the base region within its cluster, calculating
897 : : the offset relative to the base region, either as an offset in bits,
898 : : or a symbolic offset. */
899 : :
900 : : region_offset
901 : 132436 : region::calc_offset (region_model_manager *mgr) const
902 : : {
903 : 132436 : const region *iter_region = this;
904 : 132436 : bit_offset_t accum_bit_offset = 0;
905 : 132436 : const svalue *accum_byte_sval = NULL;
906 : :
907 : 158282 : while (iter_region)
908 : : {
909 : 158282 : switch (iter_region->get_kind ())
910 : : {
911 : 18959 : case RK_FIELD:
912 : 18959 : case RK_ELEMENT:
913 : 18959 : case RK_OFFSET:
914 : 18959 : case RK_BIT_RANGE:
915 : 18959 : if (accum_byte_sval)
916 : : {
917 : 3113 : const svalue *sval
918 : 3113 : = iter_region->get_relative_symbolic_offset (mgr);
919 : 3113 : accum_byte_sval
920 : 3113 : = mgr->get_or_create_binop (ptrdiff_type_node, PLUS_EXPR,
921 : : accum_byte_sval, sval);
922 : 3113 : iter_region = iter_region->get_parent_region ();
923 : : }
924 : : else
925 : : {
926 : 15846 : bit_offset_t rel_bit_offset;
927 : 15846 : if (iter_region->get_relative_concrete_offset (&rel_bit_offset))
928 : : {
929 : 13115 : accum_bit_offset += rel_bit_offset;
930 : 13115 : iter_region = iter_region->get_parent_region ();
931 : : }
932 : : else
933 : : {
934 : : /* If the iter_region is not concrete anymore, convert the
935 : : accumulated bits to a svalue in bytes and revisit the
936 : : iter_region collecting the symbolic value. */
937 : 2731 : byte_offset_t byte_offset = accum_bit_offset / BITS_PER_UNIT;
938 : 2731 : tree offset_tree = wide_int_to_tree (ptrdiff_type_node,
939 : : byte_offset);
940 : 2731 : accum_byte_sval
941 : 2731 : = mgr->get_or_create_constant_svalue (offset_tree);
942 : : }
943 : : }
944 : 18959 : continue;
945 : 6887 : case RK_SIZED:
946 : 6887 : case RK_CAST:
947 : 6887 : iter_region = iter_region->get_parent_region ();
948 : 6887 : continue;
949 : :
950 : 132436 : default:
951 : 132436 : return accum_byte_sval
952 : 132436 : ? region_offset::make_symbolic (iter_region,
953 : : accum_byte_sval)
954 : 129705 : : region_offset::make_concrete (iter_region,
955 : : accum_bit_offset);
956 : 25846 : }
957 : : }
958 : :
959 : 0 : return accum_byte_sval ? region_offset::make_symbolic (iter_region,
960 : : accum_byte_sval)
961 : 0 : : region_offset::make_concrete (iter_region,
962 : : accum_bit_offset);
963 : : }
964 : :
965 : : /* Base implementation of region::get_relative_concrete_offset vfunc. */
966 : :
967 : : bool
968 : 32 : region::get_relative_concrete_offset (bit_offset_t *) const
969 : : {
970 : 32 : return false;
971 : : }
972 : :
973 : : /* Base implementation of region::get_relative_symbolic_offset vfunc. */
974 : :
975 : : const svalue *
976 : 0 : region::get_relative_symbolic_offset (region_model_manager *mgr) const
977 : : {
978 : 0 : return mgr->get_or_create_unknown_svalue (ptrdiff_type_node);
979 : : }
980 : :
981 : : /* Attempt to get the position and size of this region expressed as a
982 : : concrete range of bytes relative to its parent.
983 : : If successful, return true and write to *OUT.
984 : : Otherwise return false. */
985 : :
986 : : bool
987 : 386 : region::get_relative_concrete_byte_range (byte_range *out) const
988 : : {
989 : : /* We must have a concrete offset relative to the parent. */
990 : 386 : bit_offset_t rel_bit_offset;
991 : 386 : if (!get_relative_concrete_offset (&rel_bit_offset))
992 : : return false;
993 : : /* ...which must be a whole number of bytes. */
994 : 300 : if (rel_bit_offset % BITS_PER_UNIT != 0)
995 : : return false;
996 : 300 : byte_offset_t start_byte_offset = rel_bit_offset / BITS_PER_UNIT;
997 : :
998 : : /* We must have a concrete size, which must be a whole number
999 : : of bytes. */
1000 : 300 : byte_size_t num_bytes;
1001 : 300 : if (!get_byte_size (&num_bytes))
1002 : : return false;
1003 : :
1004 : : /* Success. */
1005 : 154 : *out = byte_range (start_byte_offset, num_bytes);
1006 : 154 : return true;
1007 : : }
1008 : :
1009 : : /* Dump a description of this region to stderr. */
1010 : :
1011 : : DEBUG_FUNCTION void
1012 : 0 : region::dump (bool simple) const
1013 : : {
1014 : 0 : tree_dump_pretty_printer pp (stderr);
1015 : 0 : dump_to_pp (&pp, simple);
1016 : 0 : pp_newline (&pp);
1017 : 0 : }
1018 : :
1019 : : /* Dump a tree-like representation of this region and its constituent symbols
1020 : : to stderr, using global_dc's colorization and theming options.
1021 : :
1022 : : For example:
1023 : : . (gdb) call reg->dump()
1024 : : . (26): ‘int’: decl_region(‘x_10(D)’)
1025 : : . ╰─ parent: (9): frame_region(‘test_bitmask_2’, index: 0, depth: 1)
1026 : : . ╰─ parent: (1): stack region
1027 : : . ╰─ parent: (0): root region
1028 : : */
1029 : :
1030 : : DEBUG_FUNCTION void
1031 : 0 : region::dump () const
1032 : : {
1033 : 0 : text_art::dump (*this);
1034 : 0 : }
1035 : :
1036 : : /* Return a new json::string describing the region. */
1037 : :
1038 : : std::unique_ptr<json::value>
1039 : 8 : region::to_json () const
1040 : : {
1041 : 8 : label_text desc = get_desc (true);
1042 : 8 : auto reg_js = ::make_unique<json::string> (desc.get ());
1043 : 8 : return reg_js;
1044 : 8 : }
1045 : :
1046 : : bool
1047 : 34 : region::maybe_print_for_user (pretty_printer *pp,
1048 : : const region_model &) const
1049 : : {
1050 : 34 : switch (get_kind ())
1051 : : {
1052 : : default:
1053 : : break;
1054 : 34 : case RK_DECL:
1055 : 34 : {
1056 : 34 : const decl_region *reg = (const decl_region *)this;
1057 : 34 : tree decl = reg->get_decl ();
1058 : 34 : if (TREE_CODE (decl) == SSA_NAME)
1059 : 34 : decl = SSA_NAME_VAR (decl);
1060 : 34 : print_expr_for_user (pp, decl);
1061 : 34 : return true;
1062 : : }
1063 : : }
1064 : :
1065 : : return false;
1066 : : }
1067 : :
1068 : : /* Use DWI to create a text_art::widget describing this region in
1069 : : a tree-like form, using PREFIX as a prefix (e.g. for field names). */
1070 : :
1071 : : std::unique_ptr<text_art::tree_widget>
1072 : 0 : region::make_dump_widget (const text_art::dump_widget_info &dwi,
1073 : : const char *prefix) const
1074 : : {
1075 : 0 : pretty_printer pp;
1076 : 0 : pp_format_decoder (&pp) = default_tree_printer;
1077 : 0 : pp_show_color (&pp) = true;
1078 : :
1079 : 0 : if (prefix)
1080 : 0 : pp_printf (&pp, "%s: ", prefix);
1081 : :
1082 : 0 : pp_printf (&pp, "(%i): ", get_id ());
1083 : 0 : if (get_type ())
1084 : 0 : pp_printf (&pp, "%qT: ", get_type ());
1085 : :
1086 : 0 : print_dump_widget_label (&pp);
1087 : :
1088 : 0 : std::unique_ptr<text_art::tree_widget> w
1089 : 0 : (text_art::tree_widget::make (dwi, &pp));
1090 : :
1091 : 0 : add_dump_widget_children (*w, dwi);
1092 : :
1093 : 0 : if (m_parent)
1094 : 0 : w->add_child (m_parent->make_dump_widget (dwi, "parent"));
1095 : :
1096 : 0 : return w;
1097 : 0 : }
1098 : :
1099 : : void
1100 : 0 : region::add_dump_widget_children (text_art::tree_widget &,
1101 : : const text_art::dump_widget_info &) const
1102 : : {
1103 : : /* By default, add nothing (parent is added in make_dump_widget). */
1104 : 0 : }
1105 : :
1106 : : /* Generate a description of this region. */
1107 : :
1108 : : DEBUG_FUNCTION label_text
1109 : 8 : region::get_desc (bool simple) const
1110 : : {
1111 : 8 : pretty_printer pp;
1112 : 8 : pp_format_decoder (&pp) = default_tree_printer;
1113 : 8 : dump_to_pp (&pp, simple);
1114 : 8 : return label_text::take (xstrdup (pp_formatted_text (&pp)));
1115 : 8 : }
1116 : :
1117 : : /* Base implementation of region::accept vfunc.
1118 : : Subclass implementations should chain up to this. */
1119 : :
1120 : : void
1121 : 21965277 : region::accept (visitor *v) const
1122 : : {
1123 : 21965277 : v->visit_region (this);
1124 : 21965277 : if (m_parent)
1125 : 15630979 : m_parent->accept (v);
1126 : 21965277 : }
1127 : :
1128 : : /* Return true if this is a symbolic region for deferencing an
1129 : : unknown ptr.
1130 : : We shouldn't attempt to bind values for this region (but
1131 : : can unbind values for other regions). */
1132 : :
1133 : : bool
1134 : 4627018 : region::symbolic_for_unknown_ptr_p () const
1135 : : {
1136 : 4627018 : if (const symbolic_region *sym_reg = dyn_cast_symbolic_region ())
1137 : 519676 : if (sym_reg->get_pointer ()->get_kind () == SK_UNKNOWN)
1138 : : return true;
1139 : : return false;
1140 : : }
1141 : :
1142 : : /* Return true if this is a symbolic region. */
1143 : :
1144 : : bool
1145 : 681904 : region::symbolic_p () const
1146 : : {
1147 : 681904 : return get_kind () == RK_SYMBOLIC;
1148 : : }
1149 : :
1150 : : /* Return true if this region is known to be zero bits in size. */
1151 : :
1152 : : bool
1153 : 6464717 : region::empty_p () const
1154 : : {
1155 : 6464717 : bit_size_t num_bits;
1156 : 6464717 : if (get_bit_size (&num_bits))
1157 : 6085720 : if (num_bits == 0)
1158 : : return true;
1159 : : return false;
1160 : : }
1161 : :
1162 : : /* Return true if this is a region for a decl with name DECL_NAME.
1163 : : Intended for use when debugging (for assertions and conditional
1164 : : breakpoints). */
1165 : :
1166 : : DEBUG_FUNCTION bool
1167 : 0 : region::is_named_decl_p (const char *decl_name) const
1168 : : {
1169 : 0 : if (tree decl = maybe_get_decl ())
1170 : 0 : if (DECL_NAME (decl)
1171 : 0 : && !strcmp (IDENTIFIER_POINTER (DECL_NAME (decl)), decl_name))
1172 : 0 : return true;
1173 : : return false;
1174 : : }
1175 : :
1176 : : /* region's ctor. */
1177 : :
1178 : 192176 : region::region (complexity c, symbol::id_t id, const region *parent, tree type)
1179 : : : symbol (c, id),
1180 : 192176 : m_parent (parent), m_type (type),
1181 : 192176 : m_cached_offset (NULL), m_cached_init_sval_at_main (NULL)
1182 : : {
1183 : 192176 : gcc_assert (type == NULL_TREE || TYPE_P (type));
1184 : 192176 : }
1185 : :
1186 : : /* Comparator for use by vec<const region *>::qsort,
1187 : : using their IDs to order them. */
1188 : :
1189 : : int
1190 : 35794714 : region::cmp_ptr_ptr (const void *p1, const void *p2)
1191 : : {
1192 : 35794714 : const region * const *reg1 = (const region * const *)p1;
1193 : 35794714 : const region * const *reg2 = (const region * const *)p2;
1194 : :
1195 : 35794714 : return cmp_ids (*reg1, *reg2);
1196 : : }
1197 : :
1198 : : /* Determine if a pointer to this region must be non-NULL.
1199 : :
1200 : : Generally, pointers to regions must be non-NULL, but pointers
1201 : : to symbolic_regions might, in fact, be NULL.
1202 : :
1203 : : This allows us to simulate functions like malloc and calloc with:
1204 : : - only one "outcome" from each statement,
1205 : : - the idea that the pointer is on the heap if non-NULL
1206 : : - the possibility that the pointer could be NULL
1207 : : - the idea that successive values returned from malloc are non-equal
1208 : : - to be able to zero-fill for calloc. */
1209 : :
1210 : : bool
1211 : 12433 : region::non_null_p () const
1212 : : {
1213 : 12433 : switch (get_kind ())
1214 : : {
1215 : : default:
1216 : : return true;
1217 : : case RK_SYMBOLIC:
1218 : : /* Are we within a symbolic_region? If so, it could be NULL, and we
1219 : : have to fall back on the constraints. */
1220 : : return false;
1221 : : case RK_HEAP_ALLOCATED:
1222 : : return false;
1223 : : }
1224 : : }
1225 : :
1226 : : /* Return true iff this region is defined in terms of SVAL. */
1227 : :
1228 : : bool
1229 : 667226 : region::involves_p (const svalue *sval) const
1230 : : {
1231 : 667226 : if (const symbolic_region *symbolic_reg = dyn_cast_symbolic_region ())
1232 : : {
1233 : 63957 : if (symbolic_reg->get_pointer ()->involves_p (sval))
1234 : : return true;
1235 : : }
1236 : :
1237 : : return false;
1238 : : }
1239 : :
1240 : : /* Comparator for trees to impose a deterministic ordering on
1241 : : T1 and T2. */
1242 : :
1243 : : static int
1244 : 73560 : tree_cmp (const_tree t1, const_tree t2)
1245 : : {
1246 : 73560 : gcc_assert (t1);
1247 : 73560 : gcc_assert (t2);
1248 : :
1249 : : /* Test tree codes first. */
1250 : 73560 : if (TREE_CODE (t1) != TREE_CODE (t2))
1251 : 31744 : return TREE_CODE (t1) - TREE_CODE (t2);
1252 : :
1253 : : /* From this point on, we know T1 and T2 have the same tree code. */
1254 : :
1255 : 41816 : if (DECL_P (t1))
1256 : : {
1257 : 0 : if (DECL_NAME (t1) && DECL_NAME (t2))
1258 : 0 : return strcmp (IDENTIFIER_POINTER (DECL_NAME (t1)),
1259 : 0 : IDENTIFIER_POINTER (DECL_NAME (t2)));
1260 : : else
1261 : : {
1262 : 0 : if (DECL_NAME (t1))
1263 : : return -1;
1264 : 0 : else if (DECL_NAME (t2))
1265 : : return 1;
1266 : : else
1267 : 0 : return DECL_UID (t1) - DECL_UID (t2);
1268 : : }
1269 : : }
1270 : :
1271 : 41816 : switch (TREE_CODE (t1))
1272 : : {
1273 : 0 : case SSA_NAME:
1274 : 0 : {
1275 : 0 : if (SSA_NAME_VAR (t1) && SSA_NAME_VAR (t2))
1276 : : {
1277 : 0 : int var_cmp = tree_cmp (SSA_NAME_VAR (t1), SSA_NAME_VAR (t2));
1278 : 0 : if (var_cmp)
1279 : : return var_cmp;
1280 : 0 : return SSA_NAME_VERSION (t1) - SSA_NAME_VERSION (t2);
1281 : : }
1282 : : else
1283 : : {
1284 : 0 : if (SSA_NAME_VAR (t1))
1285 : : return -1;
1286 : 0 : else if (SSA_NAME_VAR (t2))
1287 : : return 1;
1288 : : else
1289 : 0 : return SSA_NAME_VERSION (t1) - SSA_NAME_VERSION (t2);
1290 : : }
1291 : : }
1292 : 8384 : break;
1293 : :
1294 : 8384 : case INTEGER_CST:
1295 : 8384 : return tree_int_cst_compare (t1, t2);
1296 : :
1297 : 33432 : case REAL_CST:
1298 : 33432 : {
1299 : 33432 : const real_value *rv1 = TREE_REAL_CST_PTR (t1);
1300 : 33432 : const real_value *rv2 = TREE_REAL_CST_PTR (t2);
1301 : 33432 : if (real_compare (UNORDERED_EXPR, rv1, rv2))
1302 : : {
1303 : : /* Impose an arbitrary order on NaNs relative to other NaNs
1304 : : and to non-NaNs. */
1305 : 25040 : if (int cmp_isnan = real_isnan (rv1) - real_isnan (rv2))
1306 : : return cmp_isnan;
1307 : 16800 : if (int cmp_issignaling_nan
1308 : 8400 : = real_issignaling_nan (rv1) - real_issignaling_nan (rv2))
1309 : : return cmp_issignaling_nan;
1310 : 4016 : return real_isneg (rv1) - real_isneg (rv2);
1311 : : }
1312 : 8392 : if (real_compare (LT_EXPR, rv1, rv2))
1313 : : return -1;
1314 : 5008 : if (real_compare (GT_EXPR, rv1, rv2))
1315 : : return 1;
1316 : : return 0;
1317 : : }
1318 : :
1319 : 0 : case STRING_CST:
1320 : 0 : return strcmp (TREE_STRING_POINTER (t1),
1321 : 0 : TREE_STRING_POINTER (t2));
1322 : :
1323 : 0 : default:
1324 : 0 : gcc_unreachable ();
1325 : : break;
1326 : : }
1327 : :
1328 : : gcc_unreachable ();
1329 : :
1330 : : return 0;
1331 : : }
1332 : :
1333 : : /* qsort comparator for trees to impose a deterministic ordering on
1334 : : P1 and P2. */
1335 : :
1336 : : int
1337 : 73560 : tree_cmp (const void *p1, const void *p2)
1338 : : {
1339 : 73560 : const_tree t1 = *(const_tree const *)p1;
1340 : 73560 : const_tree t2 = *(const_tree const *)p2;
1341 : :
1342 : 73560 : return tree_cmp (t1, t2);
1343 : : }
1344 : :
1345 : : /* class frame_region : public space_region. */
1346 : :
1347 : 26772 : frame_region::~frame_region ()
1348 : : {
1349 : 109582 : for (map_t::iterator iter = m_locals.begin ();
1350 : 109582 : iter != m_locals.end ();
1351 : 96196 : ++iter)
1352 : 96196 : delete (*iter).second;
1353 : 26772 : }
1354 : :
1355 : : void
1356 : 2779687 : frame_region::accept (visitor *v) const
1357 : : {
1358 : 4233040 : region::accept (v);
1359 : 4233040 : if (m_calling_frame)
1360 : : m_calling_frame->accept (v);
1361 : 2779687 : }
1362 : :
1363 : : /* Implementation of region::dump_to_pp vfunc for frame_region. */
1364 : :
1365 : : void
1366 : 4061 : frame_region::dump_to_pp (pretty_printer *pp, bool simple) const
1367 : : {
1368 : 4061 : if (simple)
1369 : 4060 : pp_printf (pp, "frame: %qs@%i", function_name (&m_fun), get_stack_depth ());
1370 : : else
1371 : 1 : pp_printf (pp, "frame_region(%qs, index: %i, depth: %i)",
1372 : 1 : function_name (&m_fun), m_index, get_stack_depth ());
1373 : 4061 : }
1374 : :
1375 : : void
1376 : 0 : frame_region::print_dump_widget_label (pretty_printer *pp) const
1377 : : {
1378 : 0 : pp_printf (pp, "frame_region(%qs, index: %i, depth: %i)",
1379 : 0 : function_name (&m_fun), m_index, get_stack_depth ());
1380 : 0 : }
1381 : :
1382 : : const decl_region *
1383 : 1291096 : frame_region::get_region_for_local (region_model_manager *mgr,
1384 : : tree expr,
1385 : : const region_model_context *ctxt) const
1386 : : {
1387 : 1291096 : if (CHECKING_P)
1388 : : {
1389 : : /* Verify that EXPR is a local or SSA name, and that it's for the
1390 : : correct function for this stack frame. */
1391 : 1291096 : gcc_assert (TREE_CODE (expr) == PARM_DECL
1392 : : || TREE_CODE (expr) == VAR_DECL
1393 : : || TREE_CODE (expr) == SSA_NAME
1394 : : || TREE_CODE (expr) == RESULT_DECL);
1395 : 1291096 : switch (TREE_CODE (expr))
1396 : : {
1397 : 0 : default:
1398 : 0 : gcc_unreachable ();
1399 : 76312 : case VAR_DECL:
1400 : 76312 : gcc_assert (!is_global_var (expr));
1401 : : /* Fall through. */
1402 : 105354 : case PARM_DECL:
1403 : 105354 : case RESULT_DECL:
1404 : 105354 : gcc_assert (DECL_CONTEXT (expr) == m_fun.decl);
1405 : : break;
1406 : 1185742 : case SSA_NAME:
1407 : 1185742 : {
1408 : 1185742 : if (tree var = SSA_NAME_VAR (expr))
1409 : : {
1410 : 563589 : if (DECL_P (var))
1411 : 563589 : gcc_assert (DECL_CONTEXT (var) == m_fun.decl);
1412 : : }
1413 : 622153 : else if (ctxt)
1414 : 321133 : if (const extrinsic_state *ext_state = ctxt->get_ext_state ())
1415 : 318444 : if (const supergraph *sg
1416 : 318444 : = ext_state->get_engine ()->get_supergraph ())
1417 : : {
1418 : 318444 : const gimple *def_stmt = SSA_NAME_DEF_STMT (expr);
1419 : 318444 : const supernode *snode
1420 : 318444 : = sg->get_supernode_for_stmt (def_stmt);
1421 : 318444 : gcc_assert (snode->get_function () == &m_fun);
1422 : : }
1423 : : }
1424 : : break;
1425 : : }
1426 : : }
1427 : :
1428 : : /* Ideally we'd use mutable here. */
1429 : 1291096 : map_t &mutable_locals = const_cast <map_t &> (m_locals);
1430 : :
1431 : 1291096 : if (decl_region **slot = mutable_locals.get (expr))
1432 : 1194900 : return *slot;
1433 : 96196 : decl_region *reg
1434 : 96196 : = new decl_region (mgr->alloc_symbol_id (), this, expr);
1435 : 96196 : mutable_locals.put (expr, reg);
1436 : 96196 : return reg;
1437 : : }
1438 : :
1439 : : /* class globals_region : public space_region. */
1440 : :
1441 : : /* Implementation of region::dump_to_pp vfunc for globals_region. */
1442 : :
1443 : : void
1444 : 2079 : globals_region::dump_to_pp (pretty_printer *pp, bool simple) const
1445 : : {
1446 : 2079 : if (simple)
1447 : 996 : pp_string (pp, "::");
1448 : : else
1449 : 1083 : pp_string (pp, "globals");
1450 : 2079 : }
1451 : :
1452 : : void
1453 : 0 : globals_region::print_dump_widget_label (pretty_printer *pp) const
1454 : : {
1455 : 0 : pp_string (pp, "globals");
1456 : 0 : }
1457 : :
1458 : : /* class code_region : public map_region. */
1459 : :
1460 : : /* Implementation of region::dump_to_pp vfunc for code_region. */
1461 : :
1462 : : void
1463 : 0 : code_region::dump_to_pp (pretty_printer *pp, bool simple) const
1464 : : {
1465 : 0 : if (simple)
1466 : 0 : pp_string (pp, "code region");
1467 : : else
1468 : 0 : pp_string (pp, "code_region()");
1469 : 0 : }
1470 : :
1471 : : void
1472 : 0 : code_region::print_dump_widget_label (pretty_printer *pp) const
1473 : : {
1474 : 0 : pp_string (pp, "code region");
1475 : 0 : }
1476 : :
1477 : : /* class function_region : public region. */
1478 : :
1479 : : /* Implementation of region::dump_to_pp vfunc for function_region. */
1480 : :
1481 : : void
1482 : 326 : function_region::dump_to_pp (pretty_printer *pp, bool simple) const
1483 : : {
1484 : 326 : if (simple)
1485 : : {
1486 : 326 : dump_quoted_tree (pp, m_fndecl);
1487 : : }
1488 : : else
1489 : : {
1490 : 0 : pp_string (pp, "function_region(");
1491 : 0 : dump_quoted_tree (pp, m_fndecl);
1492 : 0 : pp_string (pp, ")");
1493 : : }
1494 : 326 : }
1495 : :
1496 : : void
1497 : 0 : function_region::print_dump_widget_label (pretty_printer *pp) const
1498 : : {
1499 : 0 : pp_string (pp, "function_region(");
1500 : 0 : dump_quoted_tree (pp, m_fndecl);
1501 : 0 : pp_string (pp, ")");
1502 : 0 : }
1503 : :
1504 : : /* class label_region : public region. */
1505 : :
1506 : : /* Implementation of region::dump_to_pp vfunc for label_region. */
1507 : :
1508 : : void
1509 : 0 : label_region::dump_to_pp (pretty_printer *pp, bool simple) const
1510 : : {
1511 : 0 : if (simple)
1512 : : {
1513 : 0 : dump_quoted_tree (pp, m_label);
1514 : : }
1515 : : else
1516 : : {
1517 : 0 : pp_string (pp, "label_region(");
1518 : 0 : dump_quoted_tree (pp, m_label);
1519 : 0 : pp_string (pp, ")");
1520 : : }
1521 : 0 : }
1522 : :
1523 : : void
1524 : 0 : label_region::print_dump_widget_label (pretty_printer *pp) const
1525 : : {
1526 : 0 : pp_string (pp, "label_region(");
1527 : 0 : dump_quoted_tree (pp, m_label);
1528 : 0 : pp_string (pp, ")");
1529 : 0 : }
1530 : :
1531 : : /* class stack_region : public region. */
1532 : :
1533 : : /* Implementation of region::dump_to_pp vfunc for stack_region. */
1534 : :
1535 : : void
1536 : 0 : stack_region::dump_to_pp (pretty_printer *pp, bool simple) const
1537 : : {
1538 : 0 : if (simple)
1539 : 0 : pp_string (pp, "stack region");
1540 : : else
1541 : 0 : pp_string (pp, "stack_region()");
1542 : 0 : }
1543 : :
1544 : : void
1545 : 0 : stack_region::print_dump_widget_label (pretty_printer *pp) const
1546 : : {
1547 : 0 : pp_string (pp, "stack region");
1548 : 0 : }
1549 : :
1550 : : /* class heap_region : public region. */
1551 : :
1552 : : /* Implementation of region::dump_to_pp vfunc for heap_region. */
1553 : :
1554 : : void
1555 : 184 : heap_region::dump_to_pp (pretty_printer *pp, bool simple) const
1556 : : {
1557 : 184 : if (simple)
1558 : 184 : pp_string (pp, "heap region");
1559 : : else
1560 : 0 : pp_string (pp, "heap_region()");
1561 : 184 : }
1562 : :
1563 : : void
1564 : 0 : heap_region::print_dump_widget_label (pretty_printer *pp) const
1565 : : {
1566 : 0 : pp_string (pp, "heap_region");
1567 : 0 : }
1568 : :
1569 : : /* class root_region : public region. */
1570 : :
1571 : : /* root_region's ctor. */
1572 : :
1573 : 3769 : root_region::root_region (symbol::id_t id)
1574 : 3769 : : region (complexity (1, 1), id, NULL, NULL_TREE)
1575 : : {
1576 : 3769 : }
1577 : :
1578 : : /* Implementation of region::dump_to_pp vfunc for root_region. */
1579 : :
1580 : : void
1581 : 1393 : root_region::dump_to_pp (pretty_printer *pp, bool simple) const
1582 : : {
1583 : 1393 : if (simple)
1584 : 1273 : pp_string (pp, "root region");
1585 : : else
1586 : 120 : pp_string (pp, "root_region()");
1587 : 1393 : }
1588 : :
1589 : : void
1590 : 0 : root_region::print_dump_widget_label (pretty_printer *pp) const
1591 : : {
1592 : 0 : pp_string (pp, "root region");
1593 : 0 : }
1594 : :
1595 : : /* class thread_local_region : public space_region. */
1596 : :
1597 : : void
1598 : 0 : thread_local_region::dump_to_pp (pretty_printer *pp, bool simple) const
1599 : : {
1600 : 0 : if (simple)
1601 : 0 : pp_string (pp, "thread_local_region");
1602 : : else
1603 : 0 : pp_string (pp, "thread_local_region()");
1604 : 0 : }
1605 : :
1606 : : void
1607 : 0 : thread_local_region::print_dump_widget_label (pretty_printer *pp) const
1608 : : {
1609 : 0 : pp_string (pp, "thread_local_region");
1610 : 0 : }
1611 : :
1612 : : /* class symbolic_region : public map_region. */
1613 : :
1614 : : /* symbolic_region's ctor. */
1615 : :
1616 : 8019 : symbolic_region::symbolic_region (symbol::id_t id, region *parent,
1617 : 8019 : const svalue *sval_ptr)
1618 : 8019 : : region (complexity::from_pair (parent, sval_ptr), id, parent,
1619 : 8019 : (sval_ptr->get_type ()
1620 : 7938 : ? TREE_TYPE (sval_ptr->get_type ())
1621 : : : NULL_TREE)),
1622 : 23976 : m_sval_ptr (sval_ptr)
1623 : : {
1624 : 8019 : }
1625 : :
1626 : : /* Implementation of region::accept vfunc for symbolic_region. */
1627 : :
1628 : : void
1629 : 678464 : symbolic_region::accept (visitor *v) const
1630 : : {
1631 : 678464 : region::accept (v);
1632 : 678464 : m_sval_ptr->accept (v);
1633 : 678464 : }
1634 : :
1635 : : /* Implementation of region::dump_to_pp vfunc for symbolic_region. */
1636 : :
1637 : : void
1638 : 6825 : symbolic_region::dump_to_pp (pretty_printer *pp, bool simple) const
1639 : : {
1640 : 6825 : if (simple)
1641 : : {
1642 : 6705 : pp_string (pp, "(*");
1643 : 6705 : m_sval_ptr->dump_to_pp (pp, simple);
1644 : 6705 : pp_string (pp, ")");
1645 : : }
1646 : : else
1647 : : {
1648 : 120 : pp_string (pp, "symbolic_region(");
1649 : 120 : get_parent_region ()->dump_to_pp (pp, simple);
1650 : 120 : if (get_type ())
1651 : : {
1652 : 120 : pp_string (pp, ", ");
1653 : 120 : print_quoted_type (pp, get_type ());
1654 : : }
1655 : 120 : pp_string (pp, ", ");
1656 : 120 : m_sval_ptr->dump_to_pp (pp, simple);
1657 : 120 : pp_string (pp, ")");
1658 : : }
1659 : 6825 : }
1660 : :
1661 : : void
1662 : 0 : symbolic_region::print_dump_widget_label (pretty_printer *pp) const
1663 : : {
1664 : 0 : pp_string (pp, "symbolic_region: %<*%>");
1665 : 0 : }
1666 : :
1667 : : void
1668 : 0 : symbolic_region::
1669 : : add_dump_widget_children (text_art::tree_widget &w,
1670 : : const text_art::dump_widget_info &dwi) const
1671 : : {
1672 : 0 : w.add_child (m_sval_ptr->make_dump_widget (dwi, "m_sval_ptr"));
1673 : 0 : }
1674 : :
1675 : : /* class decl_region : public region. */
1676 : :
1677 : : /* Implementation of region::dump_to_pp vfunc for decl_region. */
1678 : :
1679 : : void
1680 : 21174 : decl_region::dump_to_pp (pretty_printer *pp, bool simple) const
1681 : : {
1682 : 21174 : if (simple)
1683 : 20090 : pp_printf (pp, "%E", m_decl);
1684 : : else
1685 : : {
1686 : 1084 : pp_string (pp, "decl_region(");
1687 : 1084 : get_parent_region ()->dump_to_pp (pp, simple);
1688 : 1084 : pp_string (pp, ", ");
1689 : 1084 : print_quoted_type (pp, get_type ());
1690 : 1084 : pp_printf (pp, ", %qE)", m_decl);
1691 : : }
1692 : 21174 : }
1693 : :
1694 : : void
1695 : 0 : decl_region::print_dump_widget_label (pretty_printer *pp) const
1696 : : {
1697 : 0 : pp_printf (pp, "decl_region(%qE)", m_decl);
1698 : 0 : }
1699 : :
1700 : : /* Get the stack depth for the frame containing this decl, or 0
1701 : : for a global. */
1702 : :
1703 : : int
1704 : 11078 : decl_region::get_stack_depth () const
1705 : : {
1706 : 11078 : if (get_parent_region () == NULL)
1707 : : return 0;
1708 : 22156 : if (const frame_region *frame_reg
1709 : 11078 : = get_parent_region ()->dyn_cast_frame_region ())
1710 : 10552 : return frame_reg->get_stack_depth ();
1711 : : return 0;
1712 : : }
1713 : :
1714 : : /* If the underlying decl is in the global constant pool,
1715 : : return an svalue representing the constant value.
1716 : : Otherwise return NULL. */
1717 : :
1718 : : const svalue *
1719 : 2956397 : decl_region::maybe_get_constant_value (region_model_manager *mgr) const
1720 : : {
1721 : 2956397 : if (VAR_P (m_decl)
1722 : 409567 : && DECL_IN_CONSTANT_POOL (m_decl)
1723 : 4 : && DECL_INITIAL (m_decl)
1724 : 2956401 : && TREE_CODE (DECL_INITIAL (m_decl)) == CONSTRUCTOR)
1725 : 4 : return get_svalue_for_constructor (DECL_INITIAL (m_decl), mgr);
1726 : : return NULL;
1727 : : }
1728 : :
1729 : : /* Implementation of decl_region::get_svalue_for_constructor
1730 : : for when the cached value hasn't yet been calculated. */
1731 : :
1732 : : const svalue *
1733 : 105 : decl_region::calc_svalue_for_constructor (tree ctor,
1734 : : region_model_manager *mgr) const
1735 : : {
1736 : : /* Create a binding map, applying ctor to it, using this
1737 : : decl_region as the base region when building child regions
1738 : : for offset calculations. */
1739 : 105 : binding_map map;
1740 : 105 : if (!map.apply_ctor_to_region (this, ctor, mgr))
1741 : 1 : return mgr->get_or_create_unknown_svalue (get_type ());
1742 : :
1743 : : /* Return a compound svalue for the map we built. */
1744 : 104 : return mgr->get_or_create_compound_svalue (get_type (), map);
1745 : 105 : }
1746 : :
1747 : : /* Get an svalue for CTOR, a CONSTRUCTOR for this region's decl. */
1748 : :
1749 : : const svalue *
1750 : 191 : decl_region::get_svalue_for_constructor (tree ctor,
1751 : : region_model_manager *mgr) const
1752 : : {
1753 : 191 : gcc_assert (!TREE_CLOBBER_P (ctor));
1754 : 191 : gcc_assert (ctor == DECL_INITIAL (m_decl));
1755 : :
1756 : 191 : if (!m_ctor_svalue)
1757 : 105 : m_ctor_svalue = calc_svalue_for_constructor (ctor, mgr);
1758 : :
1759 : 191 : return m_ctor_svalue;
1760 : : }
1761 : :
1762 : : /* For use on decl_regions for global variables.
1763 : :
1764 : : Get an svalue for the initial value of this region at entry to
1765 : : "main" (either based on DECL_INITIAL, or implicit initialization to
1766 : : zero.
1767 : :
1768 : : Return NULL if there is a problem. */
1769 : :
1770 : : const svalue *
1771 : 336 : decl_region::get_svalue_for_initializer (region_model_manager *mgr) const
1772 : : {
1773 : 336 : tree init = DECL_INITIAL (m_decl);
1774 : 336 : if (!init)
1775 : : {
1776 : : /* If we have an "extern" decl then there may be an initializer in
1777 : : another TU. */
1778 : 72 : if (DECL_EXTERNAL (m_decl))
1779 : : return NULL;
1780 : :
1781 : 33 : if (empty_p ())
1782 : : return NULL;
1783 : :
1784 : : /* Implicit initialization to zero; use a compound_svalue for it.
1785 : : Doing so requires that we have a concrete binding for this region,
1786 : : which can fail if we have a region with unknown size
1787 : : (e.g. "extern const char arr[];"). */
1788 : 33 : const binding_key *binding
1789 : 33 : = binding_key::make (mgr->get_store_manager (), this);
1790 : 33 : if (binding->symbolic_p ())
1791 : : return NULL;
1792 : :
1793 : : /* If we don't care about tracking the content of this region, then
1794 : : it's unused, and the value doesn't matter. */
1795 : 33 : if (!tracked_p ())
1796 : : return NULL;
1797 : :
1798 : 33 : binding_cluster c (this);
1799 : 33 : c.zero_fill_region (mgr->get_store_manager (), this);
1800 : 33 : return mgr->get_or_create_compound_svalue (TREE_TYPE (m_decl),
1801 : : c.get_map ());
1802 : 33 : }
1803 : :
1804 : : /* LTO can write out error_mark_node as the DECL_INITIAL for simple scalar
1805 : : values (to avoid writing out an extra section). */
1806 : 264 : if (init == error_mark_node)
1807 : : return NULL;
1808 : :
1809 : 260 : if (TREE_CODE (init) == CONSTRUCTOR)
1810 : 187 : return get_svalue_for_constructor (init, mgr);
1811 : :
1812 : : /* Reuse the get_rvalue logic from region_model. */
1813 : 73 : region_model m (mgr);
1814 : 73 : return m.get_rvalue (path_var (init, 0), NULL);
1815 : 73 : }
1816 : :
1817 : : /* Subroutine of symnode_requires_tracking_p; return true if REF
1818 : : might imply that we should be tracking the value of its decl. */
1819 : :
1820 : : static bool
1821 : 4163 : ipa_ref_requires_tracking (ipa_ref *ref)
1822 : : {
1823 : : /* If we have a load/store/alias of the symbol, then we'll track
1824 : : the decl's value. */
1825 : 4163 : if (ref->use != IPA_REF_ADDR)
1826 : : return true;
1827 : :
1828 : 4132 : if (ref->stmt == NULL)
1829 : : return true;
1830 : :
1831 : 4132 : switch (ref->stmt->code)
1832 : : {
1833 : : default:
1834 : : return true;
1835 : 4101 : case GIMPLE_CALL:
1836 : 4101 : {
1837 : 4148 : cgraph_node *caller_cnode = dyn_cast <cgraph_node *> (ref->referring);
1838 : 4101 : if (caller_cnode == NULL)
1839 : : return true;
1840 : 4101 : cgraph_edge *edge = caller_cnode->get_edge (ref->stmt);
1841 : 4101 : if (!edge)
1842 : : return true;
1843 : 4101 : if (edge->callee == NULL)
1844 : : return true; /* e.g. call through function ptr. */
1845 : 4100 : if (edge->callee->definition)
1846 : : return true;
1847 : : /* If we get here, then this ref is a pointer passed to
1848 : : a function we don't have the definition for. */
1849 : : return false;
1850 : : }
1851 : 17 : break;
1852 : 17 : case GIMPLE_ASM:
1853 : 17 : {
1854 : 17 : const gasm *asm_stmt = as_a <const gasm *> (ref->stmt);
1855 : 17 : if (gimple_asm_noutputs (asm_stmt) > 0)
1856 : : return true;
1857 : 17 : if (gimple_asm_nclobbers (asm_stmt) > 0)
1858 : : return true;
1859 : : /* If we get here, then this ref is the decl being passed
1860 : : by pointer to asm with no outputs. */
1861 : : return false;
1862 : : }
1863 : : break;
1864 : : }
1865 : : }
1866 : :
1867 : : /* Determine if the decl for SYMNODE should have binding_clusters
1868 : : in our state objects; return false to optimize away tracking
1869 : : certain decls in our state objects, as an optimization. */
1870 : :
1871 : : static bool
1872 : 5332 : symnode_requires_tracking_p (symtab_node *symnode)
1873 : : {
1874 : 5332 : gcc_assert (symnode);
1875 : 5332 : if (symnode->externally_visible)
1876 : : return true;
1877 : 4673 : tree context_fndecl = DECL_CONTEXT (symnode->decl);
1878 : 4673 : if (context_fndecl == NULL)
1879 : : return true;
1880 : 4660 : if (TREE_CODE (context_fndecl) != FUNCTION_DECL)
1881 : : return true;
1882 : 16476 : for (auto ref : symnode->ref_list.referring)
1883 : 4163 : if (ipa_ref_requires_tracking (ref))
1884 : : return true;
1885 : :
1886 : : /* If we get here, then we don't have uses of this decl that require
1887 : : tracking; we never read from it or write to it explicitly. */
1888 : : return false;
1889 : : }
1890 : :
1891 : : /* Subroutine of decl_region ctor: determine whether this decl_region
1892 : : can have binding_clusters; return false to optimize away tracking
1893 : : of certain decls in our state objects, as an optimization. */
1894 : :
1895 : : bool
1896 : 102452 : decl_region::calc_tracked_p (tree decl)
1897 : : {
1898 : : /* Precondition of symtab_node::get. */
1899 : 102452 : if (TREE_CODE (decl) == VAR_DECL
1900 : 102452 : && (TREE_STATIC (decl) || DECL_EXTERNAL (decl) || in_lto_p))
1901 : 6258 : if (symtab_node *symnode = symtab_node::get (decl))
1902 : 5332 : return symnode_requires_tracking_p (symnode);
1903 : : return true;
1904 : : }
1905 : :
1906 : : /* class field_region : public region. */
1907 : :
1908 : : /* Implementation of region::dump_to_pp vfunc for field_region. */
1909 : :
1910 : : void
1911 : 2720 : field_region::dump_to_pp (pretty_printer *pp, bool simple) const
1912 : : {
1913 : 2720 : if (simple)
1914 : : {
1915 : 2720 : get_parent_region ()->dump_to_pp (pp, simple);
1916 : 2720 : pp_string (pp, ".");
1917 : 2720 : pp_printf (pp, "%E", m_field);
1918 : : }
1919 : : else
1920 : : {
1921 : 0 : pp_string (pp, "field_region(");
1922 : 0 : get_parent_region ()->dump_to_pp (pp, simple);
1923 : 0 : pp_string (pp, ", ");
1924 : 0 : print_quoted_type (pp, get_type ());
1925 : 0 : pp_printf (pp, ", %qE)", m_field);
1926 : : }
1927 : 2720 : }
1928 : :
1929 : : void
1930 : 0 : field_region::print_dump_widget_label (pretty_printer *pp) const
1931 : : {
1932 : 0 : pp_printf (pp, "field_region(%qE)", m_field);
1933 : 0 : }
1934 : :
1935 : : /* Implementation of region::get_relative_concrete_offset vfunc
1936 : : for field_region. */
1937 : :
1938 : : bool
1939 : 8423 : field_region::get_relative_concrete_offset (bit_offset_t *out) const
1940 : : {
1941 : : /* Compare with e.g. gimple-fold.cc's
1942 : : fold_nonarray_ctor_reference. */
1943 : 8423 : tree byte_offset = DECL_FIELD_OFFSET (m_field);
1944 : 8423 : if (TREE_CODE (byte_offset) != INTEGER_CST)
1945 : : return false;
1946 : 8421 : tree field_offset = DECL_FIELD_BIT_OFFSET (m_field);
1947 : : /* Compute bit offset of the field. */
1948 : 8421 : offset_int bitoffset
1949 : 8421 : = (wi::to_offset (field_offset)
1950 : 8421 : + (wi::to_offset (byte_offset) << LOG2_BITS_PER_UNIT));
1951 : 8421 : *out = bitoffset;
1952 : 8421 : return true;
1953 : : }
1954 : :
1955 : :
1956 : : /* Implementation of region::get_relative_symbolic_offset vfunc
1957 : : for field_region.
1958 : : If known, the returned svalue is equal to the offset converted to bytes and
1959 : : rounded off. */
1960 : :
1961 : : const svalue *
1962 : 349 : field_region::get_relative_symbolic_offset (region_model_manager *mgr) const
1963 : : {
1964 : 349 : bit_offset_t out;
1965 : 349 : if (get_relative_concrete_offset (&out))
1966 : : {
1967 : 348 : tree cst_tree
1968 : 348 : = wide_int_to_tree (ptrdiff_type_node, out / BITS_PER_UNIT);
1969 : 348 : return mgr->get_or_create_constant_svalue (cst_tree);
1970 : : }
1971 : 1 : return mgr->get_or_create_unknown_svalue (ptrdiff_type_node);
1972 : : }
1973 : :
1974 : : /* class element_region : public region. */
1975 : :
1976 : : /* Implementation of region::accept vfunc for element_region. */
1977 : :
1978 : : void
1979 : 288744 : element_region::accept (visitor *v) const
1980 : : {
1981 : 288744 : region::accept (v);
1982 : 288744 : m_index->accept (v);
1983 : 288744 : }
1984 : :
1985 : : /* Implementation of region::dump_to_pp vfunc for element_region. */
1986 : :
1987 : : void
1988 : 206 : element_region::dump_to_pp (pretty_printer *pp, bool simple) const
1989 : : {
1990 : 206 : if (simple)
1991 : : {
1992 : : //pp_string (pp, "(");
1993 : 206 : get_parent_region ()->dump_to_pp (pp, simple);
1994 : 206 : pp_string (pp, "[");
1995 : 206 : m_index->dump_to_pp (pp, simple);
1996 : 206 : pp_string (pp, "]");
1997 : : //pp_string (pp, ")");
1998 : : }
1999 : : else
2000 : : {
2001 : 0 : pp_string (pp, "element_region(");
2002 : 0 : get_parent_region ()->dump_to_pp (pp, simple);
2003 : 0 : pp_string (pp, ", ");
2004 : 0 : print_quoted_type (pp, get_type ());
2005 : 0 : pp_string (pp, ", ");
2006 : 0 : m_index->dump_to_pp (pp, simple);
2007 : 0 : pp_printf (pp, ")");
2008 : : }
2009 : 206 : }
2010 : :
2011 : : void
2012 : 0 : element_region::print_dump_widget_label (pretty_printer *pp) const
2013 : : {
2014 : 0 : pp_printf (pp, "element_region: %<[]%>");
2015 : 0 : }
2016 : :
2017 : : void
2018 : 0 : element_region::
2019 : : add_dump_widget_children (text_art::tree_widget &w,
2020 : : const text_art::dump_widget_info &dwi) const
2021 : : {
2022 : 0 : w.add_child (m_index->make_dump_widget (dwi, "m_index"));
2023 : 0 : }
2024 : :
2025 : : /* Implementation of region::get_relative_concrete_offset vfunc
2026 : : for element_region. */
2027 : :
2028 : : bool
2029 : 4273 : element_region::get_relative_concrete_offset (bit_offset_t *out) const
2030 : : {
2031 : 4273 : if (tree idx_cst = m_index->maybe_get_constant ())
2032 : : {
2033 : 3038 : gcc_assert (TREE_CODE (idx_cst) == INTEGER_CST);
2034 : :
2035 : 3038 : tree elem_type = get_type ();
2036 : 3038 : offset_int element_idx = wi::to_offset (idx_cst);
2037 : :
2038 : : /* First, use int_size_in_bytes, to reject the case where we
2039 : : have an incomplete type, or a non-constant value. */
2040 : 3038 : HOST_WIDE_INT hwi_byte_size = int_size_in_bytes (elem_type);
2041 : 3038 : if (hwi_byte_size > 0)
2042 : : {
2043 : 3034 : offset_int element_bit_size
2044 : 3034 : = hwi_byte_size << LOG2_BITS_PER_UNIT;
2045 : 3034 : offset_int element_bit_offset
2046 : 3034 : = element_idx * element_bit_size;
2047 : 3034 : *out = element_bit_offset;
2048 : 3034 : return true;
2049 : : }
2050 : : }
2051 : : return false;
2052 : : }
2053 : :
2054 : : /* Implementation of region::get_relative_symbolic_offset vfunc
2055 : : for element_region. */
2056 : :
2057 : : const svalue *
2058 : 1215 : element_region::get_relative_symbolic_offset (region_model_manager *mgr) const
2059 : : {
2060 : 1215 : tree elem_type = get_type ();
2061 : :
2062 : : /* First, use int_size_in_bytes, to reject the case where we
2063 : : have an incomplete type, or a non-constant value. */
2064 : 1215 : HOST_WIDE_INT hwi_byte_size = int_size_in_bytes (elem_type);
2065 : 1215 : if (hwi_byte_size > 0)
2066 : : {
2067 : 1201 : tree byte_size_tree = wide_int_to_tree (ptrdiff_type_node,
2068 : : hwi_byte_size);
2069 : 1201 : const svalue *byte_size_sval
2070 : 1201 : = mgr->get_or_create_constant_svalue (byte_size_tree);
2071 : 1201 : return mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
2072 : 1201 : m_index, byte_size_sval);
2073 : : }
2074 : 14 : return mgr->get_or_create_unknown_svalue (ptrdiff_type_node);
2075 : : }
2076 : :
2077 : : /* class offset_region : public region. */
2078 : :
2079 : : /* Implementation of region::accept vfunc for offset_region. */
2080 : :
2081 : : void
2082 : 100882 : offset_region::accept (visitor *v) const
2083 : : {
2084 : 100882 : region::accept (v);
2085 : 100882 : m_byte_offset->accept (v);
2086 : 100882 : }
2087 : :
2088 : : /* Implementation of region::dump_to_pp vfunc for offset_region. */
2089 : :
2090 : : void
2091 : 2292 : offset_region::dump_to_pp (pretty_printer *pp, bool simple) const
2092 : : {
2093 : 2292 : if (simple)
2094 : : {
2095 : : //pp_string (pp, "(");
2096 : 2206 : get_parent_region ()->dump_to_pp (pp, simple);
2097 : 2206 : pp_string (pp, "+");
2098 : 2206 : m_byte_offset->dump_to_pp (pp, simple);
2099 : : //pp_string (pp, ")");
2100 : : }
2101 : : else
2102 : : {
2103 : 86 : pp_string (pp, "offset_region(");
2104 : 86 : get_parent_region ()->dump_to_pp (pp, simple);
2105 : 86 : pp_string (pp, ", ");
2106 : 86 : print_quoted_type (pp, get_type ());
2107 : 86 : pp_string (pp, ", ");
2108 : 86 : m_byte_offset->dump_to_pp (pp, simple);
2109 : 86 : pp_printf (pp, ")");
2110 : : }
2111 : 2292 : }
2112 : :
2113 : : void
2114 : 0 : offset_region::print_dump_widget_label (pretty_printer *pp) const
2115 : : {
2116 : 0 : pp_printf (pp, "offset_region");
2117 : 0 : }
2118 : :
2119 : : void
2120 : 0 : offset_region::
2121 : : add_dump_widget_children (text_art::tree_widget &w,
2122 : : const text_art::dump_widget_info &dwi) const
2123 : : {
2124 : 0 : w.add_child (m_byte_offset->make_dump_widget (dwi, "m_byte_offset"));
2125 : 0 : }
2126 : :
2127 : : const svalue *
2128 : 0 : offset_region::get_bit_offset (region_model_manager *mgr) const
2129 : : {
2130 : 0 : const svalue *bits_per_byte_sval
2131 : 0 : = mgr->get_or_create_int_cst (NULL_TREE, BITS_PER_UNIT);
2132 : 0 : return mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
2133 : 0 : m_byte_offset, bits_per_byte_sval);
2134 : : }
2135 : :
2136 : : /* Implementation of region::get_relative_concrete_offset vfunc
2137 : : for offset_region. */
2138 : :
2139 : : bool
2140 : 3697 : offset_region::get_relative_concrete_offset (bit_offset_t *out) const
2141 : : {
2142 : 3697 : if (tree byte_offset_cst = m_byte_offset->maybe_get_constant ())
2143 : : {
2144 : 2152 : gcc_assert (TREE_CODE (byte_offset_cst) == INTEGER_CST);
2145 : : /* Use a signed value for the byte offset, to handle
2146 : : negative offsets. */
2147 : 2152 : HOST_WIDE_INT byte_offset
2148 : 2152 : = wi::to_offset (byte_offset_cst).to_shwi ();
2149 : 2152 : HOST_WIDE_INT bit_offset = byte_offset * BITS_PER_UNIT;
2150 : 2152 : *out = bit_offset;
2151 : 2152 : return true;
2152 : : }
2153 : : return false;
2154 : : }
2155 : :
2156 : : /* Implementation of region::get_relative_symbolic_offset vfunc
2157 : : for offset_region. */
2158 : :
2159 : : const svalue *
2160 : 1549 : offset_region::get_relative_symbolic_offset (region_model_manager *mgr
2161 : : ATTRIBUTE_UNUSED) const
2162 : : {
2163 : 1549 : return get_byte_offset ();
2164 : : }
2165 : :
2166 : : /* class sized_region : public region. */
2167 : :
2168 : : /* Implementation of region::accept vfunc for sized_region. */
2169 : :
2170 : : void
2171 : 15435 : sized_region::accept (visitor *v) const
2172 : : {
2173 : 15435 : region::accept (v);
2174 : 15435 : m_byte_size_sval->accept (v);
2175 : 15435 : }
2176 : :
2177 : : /* Implementation of region::dump_to_pp vfunc for sized_region. */
2178 : :
2179 : : void
2180 : 70 : sized_region::dump_to_pp (pretty_printer *pp, bool simple) const
2181 : : {
2182 : 70 : if (simple)
2183 : : {
2184 : 70 : pp_string (pp, "SIZED_REG(");
2185 : 70 : get_parent_region ()->dump_to_pp (pp, simple);
2186 : 70 : pp_string (pp, ", ");
2187 : 70 : m_byte_size_sval->dump_to_pp (pp, simple);
2188 : 70 : pp_string (pp, ")");
2189 : : }
2190 : : else
2191 : : {
2192 : 0 : pp_string (pp, "sized_region(");
2193 : 0 : get_parent_region ()->dump_to_pp (pp, simple);
2194 : 0 : pp_string (pp, ", ");
2195 : 0 : m_byte_size_sval->dump_to_pp (pp, simple);
2196 : 0 : pp_printf (pp, ")");
2197 : : }
2198 : 70 : }
2199 : :
2200 : : void
2201 : 0 : sized_region::print_dump_widget_label (pretty_printer *pp) const
2202 : : {
2203 : 0 : pp_printf (pp, "sized_region");
2204 : 0 : }
2205 : :
2206 : : void
2207 : 0 : sized_region::
2208 : : add_dump_widget_children (text_art::tree_widget &w,
2209 : : const text_art::dump_widget_info &dwi) const
2210 : : {
2211 : 0 : w.add_child (m_byte_size_sval->make_dump_widget (dwi, "m_byte_size_sval"));
2212 : 0 : }
2213 : :
2214 : : /* Implementation of region::get_byte_size vfunc for sized_region. */
2215 : :
2216 : : bool
2217 : 29450 : sized_region::get_byte_size (byte_size_t *out) const
2218 : : {
2219 : 29450 : if (tree cst = m_byte_size_sval->maybe_get_constant ())
2220 : : {
2221 : 23301 : gcc_assert (TREE_CODE (cst) == INTEGER_CST);
2222 : 23301 : *out = tree_to_uhwi (cst);
2223 : 23301 : return true;
2224 : : }
2225 : : return false;
2226 : : }
2227 : :
2228 : : /* Implementation of region::get_bit_size vfunc for sized_region. */
2229 : :
2230 : : bool
2231 : 29450 : sized_region::get_bit_size (bit_size_t *out) const
2232 : : {
2233 : 29450 : byte_size_t byte_size;
2234 : 29450 : if (!get_byte_size (&byte_size))
2235 : : return false;
2236 : 23301 : *out = byte_size * BITS_PER_UNIT;
2237 : 23301 : return true;
2238 : : }
2239 : :
2240 : : /* Implementation of region::get_bit_size_sval vfunc for sized_region. */
2241 : :
2242 : : const svalue *
2243 : 5535 : sized_region::get_bit_size_sval (region_model_manager *mgr) const
2244 : : {
2245 : 5535 : const svalue *bits_per_byte_sval
2246 : 5535 : = mgr->get_or_create_int_cst (NULL_TREE, BITS_PER_UNIT);
2247 : 5535 : return mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
2248 : 5535 : m_byte_size_sval, bits_per_byte_sval);
2249 : : }
2250 : :
2251 : : /* class cast_region : public region. */
2252 : :
2253 : : /* Implementation of region::dump_to_pp vfunc for cast_region. */
2254 : :
2255 : : void
2256 : 1382 : cast_region::dump_to_pp (pretty_printer *pp, bool simple) const
2257 : : {
2258 : 1382 : if (simple)
2259 : : {
2260 : 1338 : pp_string (pp, "CAST_REG(");
2261 : 1338 : print_quoted_type (pp, get_type ());
2262 : 1338 : pp_string (pp, ", ");
2263 : 1338 : get_parent_region ()->dump_to_pp (pp, simple);
2264 : 1338 : pp_string (pp, ")");
2265 : : }
2266 : : else
2267 : : {
2268 : 44 : pp_string (pp, "cast_region(");
2269 : 44 : get_parent_region ()->dump_to_pp (pp, simple);
2270 : 44 : pp_string (pp, ", ");
2271 : 44 : print_quoted_type (pp, get_type ());
2272 : 44 : pp_printf (pp, ")");
2273 : : }
2274 : 1382 : }
2275 : :
2276 : : void
2277 : 0 : cast_region::print_dump_widget_label (pretty_printer *pp) const
2278 : : {
2279 : 0 : pp_printf (pp, "cast_region");
2280 : 0 : }
2281 : :
2282 : : /* Implementation of region::get_relative_concrete_offset vfunc
2283 : : for cast_region. */
2284 : :
2285 : : bool
2286 : 20 : cast_region::get_relative_concrete_offset (bit_offset_t *out) const
2287 : : {
2288 : 20 : *out = (int) 0;
2289 : 20 : return true;
2290 : : }
2291 : :
2292 : : /* class heap_allocated_region : public region. */
2293 : :
2294 : : /* Implementation of region::dump_to_pp vfunc for heap_allocated_region. */
2295 : :
2296 : : void
2297 : 2193 : heap_allocated_region::dump_to_pp (pretty_printer *pp, bool simple) const
2298 : : {
2299 : 2193 : if (simple)
2300 : 2193 : pp_printf (pp, "HEAP_ALLOCATED_REGION(%i)", get_id ());
2301 : : else
2302 : 0 : pp_printf (pp, "heap_allocated_region(%i)", get_id ());
2303 : 2193 : }
2304 : :
2305 : : void
2306 : 0 : heap_allocated_region::print_dump_widget_label (pretty_printer *pp) const
2307 : : {
2308 : 0 : pp_printf (pp, "heap_allocated_region");
2309 : 0 : }
2310 : :
2311 : : /* class alloca_region : public region. */
2312 : :
2313 : : /* Implementation of region::dump_to_pp vfunc for alloca_region. */
2314 : :
2315 : : void
2316 : 0 : alloca_region::dump_to_pp (pretty_printer *pp, bool simple) const
2317 : : {
2318 : 0 : if (simple)
2319 : 0 : pp_printf (pp, "ALLOCA_REGION(%i)", get_id ());
2320 : : else
2321 : 0 : pp_printf (pp, "alloca_region(%i)", get_id ());
2322 : 0 : }
2323 : :
2324 : : void
2325 : 0 : alloca_region::print_dump_widget_label (pretty_printer *pp) const
2326 : : {
2327 : 0 : pp_printf (pp, "alloca_region");
2328 : 0 : }
2329 : :
2330 : : /* class string_region : public region. */
2331 : :
2332 : : /* Implementation of region::dump_to_pp vfunc for string_region. */
2333 : :
2334 : : void
2335 : 0 : string_region::dump_to_pp (pretty_printer *pp, bool simple) const
2336 : : {
2337 : 0 : if (simple)
2338 : 0 : dump_tree (pp, m_string_cst);
2339 : : else
2340 : : {
2341 : 0 : pp_string (pp, "string_region(");
2342 : 0 : dump_tree (pp, m_string_cst);
2343 : 0 : if (!flag_dump_noaddr)
2344 : : {
2345 : 0 : pp_string (pp, " (");
2346 : 0 : pp_pointer (pp, m_string_cst);
2347 : 0 : pp_string (pp, "))");
2348 : : }
2349 : : }
2350 : 0 : }
2351 : :
2352 : : void
2353 : 0 : string_region::print_dump_widget_label (pretty_printer *pp) const
2354 : : {
2355 : 0 : pp_string (pp, "string_region(");
2356 : 0 : dump_tree (pp, m_string_cst);
2357 : 0 : pp_string (pp, ")");
2358 : 0 : }
2359 : :
2360 : : /* class bit_range_region : public region. */
2361 : :
2362 : : /* Implementation of region::dump_to_pp vfunc for bit_range_region. */
2363 : :
2364 : : void
2365 : 0 : bit_range_region::dump_to_pp (pretty_printer *pp, bool simple) const
2366 : : {
2367 : 0 : if (simple)
2368 : : {
2369 : 0 : pp_string (pp, "BIT_RANGE_REG(");
2370 : 0 : get_parent_region ()->dump_to_pp (pp, simple);
2371 : 0 : pp_string (pp, ", ");
2372 : 0 : m_bits.dump_to_pp (pp);
2373 : 0 : pp_string (pp, ")");
2374 : : }
2375 : : else
2376 : : {
2377 : 0 : pp_string (pp, "bit_range_region(");
2378 : 0 : get_parent_region ()->dump_to_pp (pp, simple);
2379 : 0 : pp_string (pp, ", ");
2380 : 0 : m_bits.dump_to_pp (pp);
2381 : 0 : pp_printf (pp, ")");
2382 : : }
2383 : 0 : }
2384 : :
2385 : : void
2386 : 0 : bit_range_region::print_dump_widget_label (pretty_printer *pp) const
2387 : : {
2388 : 0 : pp_printf (pp, "bit_range_region(m_bits: ");
2389 : 0 : m_bits.dump_to_pp (pp);
2390 : 0 : pp_string (pp, ")");
2391 : 0 : }
2392 : :
2393 : : /* Implementation of region::get_byte_size vfunc for bit_range_region. */
2394 : :
2395 : : bool
2396 : 0 : bit_range_region::get_byte_size (byte_size_t *out) const
2397 : : {
2398 : 0 : if (m_bits.m_size_in_bits % BITS_PER_UNIT == 0)
2399 : : {
2400 : 0 : *out = m_bits.m_size_in_bits / BITS_PER_UNIT;
2401 : 0 : return true;
2402 : : }
2403 : : return false;
2404 : : }
2405 : :
2406 : : /* Implementation of region::get_bit_size vfunc for bit_range_region. */
2407 : :
2408 : : bool
2409 : 738 : bit_range_region::get_bit_size (bit_size_t *out) const
2410 : : {
2411 : 738 : *out = m_bits.m_size_in_bits;
2412 : 738 : return true;
2413 : : }
2414 : :
2415 : : /* Implementation of region::get_byte_size_sval vfunc for bit_range_region. */
2416 : :
2417 : : const svalue *
2418 : 48 : bit_range_region::get_byte_size_sval (region_model_manager *mgr) const
2419 : : {
2420 : 48 : if (m_bits.m_size_in_bits % BITS_PER_UNIT != 0)
2421 : 0 : return mgr->get_or_create_unknown_svalue (size_type_node);
2422 : :
2423 : 48 : HOST_WIDE_INT num_bytes = m_bits.m_size_in_bits.to_shwi () / BITS_PER_UNIT;
2424 : 48 : return mgr->get_or_create_int_cst (size_type_node, num_bytes);
2425 : : }
2426 : :
2427 : : /* Implementation of region::get_bit_size_sval vfunc for bit_range_region. */
2428 : :
2429 : : const svalue *
2430 : 136 : bit_range_region::get_bit_size_sval (region_model_manager *mgr) const
2431 : : {
2432 : 136 : return mgr->get_or_create_int_cst (size_type_node,
2433 : 136 : m_bits.m_size_in_bits);
2434 : : }
2435 : :
2436 : : /* Implementation of region::get_relative_concrete_offset vfunc for
2437 : : bit_range_region. */
2438 : :
2439 : : bool
2440 : 136 : bit_range_region::get_relative_concrete_offset (bit_offset_t *out) const
2441 : : {
2442 : 136 : *out = m_bits.get_start_bit_offset ();
2443 : 136 : return true;
2444 : : }
2445 : :
2446 : : /* Implementation of region::get_relative_symbolic_offset vfunc for
2447 : : bit_range_region.
2448 : : The returned svalue is equal to the offset converted to bytes and
2449 : : rounded off. */
2450 : :
2451 : : const svalue *
2452 : 0 : bit_range_region::get_relative_symbolic_offset (region_model_manager *mgr)
2453 : : const
2454 : : {
2455 : 0 : byte_offset_t start_byte = m_bits.get_start_bit_offset () / BITS_PER_UNIT;
2456 : 0 : tree start_bit_tree = wide_int_to_tree (ptrdiff_type_node, start_byte);
2457 : 0 : return mgr->get_or_create_constant_svalue (start_bit_tree);
2458 : : }
2459 : :
2460 : : /* class var_arg_region : public region. */
2461 : :
2462 : : void
2463 : 0 : var_arg_region::dump_to_pp (pretty_printer *pp, bool simple) const
2464 : : {
2465 : 0 : if (simple)
2466 : : {
2467 : 0 : pp_string (pp, "VAR_ARG_REG(");
2468 : 0 : get_parent_region ()->dump_to_pp (pp, simple);
2469 : 0 : pp_printf (pp, ", arg_idx: %d)", m_idx);
2470 : : }
2471 : : else
2472 : : {
2473 : 0 : pp_string (pp, "var_arg_region(");
2474 : 0 : get_parent_region ()->dump_to_pp (pp, simple);
2475 : 0 : pp_printf (pp, ", arg_idx: %d)", m_idx);
2476 : : }
2477 : 0 : }
2478 : :
2479 : : void
2480 : 0 : var_arg_region::print_dump_widget_label (pretty_printer *pp) const
2481 : : {
2482 : 0 : pp_printf (pp, "var_arg_region(arg_idx: %i)", m_idx);
2483 : 0 : }
2484 : :
2485 : : /* Get the frame_region for this var_arg_region. */
2486 : :
2487 : : const frame_region *
2488 : 523 : var_arg_region::get_frame_region () const
2489 : : {
2490 : 523 : gcc_assert (get_parent_region ());
2491 : 523 : return as_a <const frame_region *> (get_parent_region ());
2492 : : }
2493 : :
2494 : : /* class errno_region : public region. */
2495 : :
2496 : : void
2497 : 0 : errno_region::dump_to_pp (pretty_printer *pp, bool simple) const
2498 : : {
2499 : 0 : if (simple)
2500 : 0 : pp_string (pp, "errno_region");
2501 : : else
2502 : 0 : pp_string (pp, "errno_region()");
2503 : 0 : }
2504 : :
2505 : : void
2506 : 0 : errno_region::print_dump_widget_label (pretty_printer *pp) const
2507 : : {
2508 : 0 : pp_printf (pp, "errno_region");
2509 : 0 : }
2510 : :
2511 : : /* class private_region : public region. */
2512 : :
2513 : : void
2514 : 0 : private_region::dump_to_pp (pretty_printer *pp, bool simple) const
2515 : : {
2516 : 0 : if (simple)
2517 : 0 : pp_printf (pp, "PRIVATE_REG(%qs)", m_desc);
2518 : : else
2519 : 0 : pp_printf (pp, "private_region(%qs)", m_desc);
2520 : 0 : }
2521 : :
2522 : : void
2523 : 0 : private_region::print_dump_widget_label (pretty_printer *pp) const
2524 : : {
2525 : 0 : pp_printf (pp, "private_region(%qs)", m_desc);
2526 : 0 : }
2527 : :
2528 : : /* class unknown_region : public region. */
2529 : :
2530 : : /* Implementation of region::dump_to_pp vfunc for unknown_region. */
2531 : :
2532 : : void
2533 : 0 : unknown_region::dump_to_pp (pretty_printer *pp, bool /*simple*/) const
2534 : : {
2535 : 0 : pp_string (pp, "UNKNOWN_REGION");
2536 : 0 : }
2537 : :
2538 : : void
2539 : 0 : unknown_region::print_dump_widget_label (pretty_printer *pp) const
2540 : : {
2541 : 0 : pp_printf (pp, "unknown_region");
2542 : 0 : }
2543 : :
2544 : : } // namespace ana
2545 : :
2546 : : #endif /* #if ENABLE_ANALYZER */
|