Daily bump.
[official-gcc.git] / gcc / gimple-ssa-isolate-paths.c
blob2dafe849ad3f30ad0e165e5f69a4306a0aaebbe9
1 /* Detect paths through the CFG which can never be executed in a conforming
2 program and isolate them.
4 Copyright (C) 2013-2021 Free Software Foundation, Inc.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "backend.h"
26 #include "tree.h"
27 #include "gimple.h"
28 #include "cfghooks.h"
29 #include "tree-pass.h"
30 #include "ssa.h"
31 #include "diagnostic-core.h"
32 #include "fold-const.h"
33 #include "gimple-iterator.h"
34 #include "gimple-walk.h"
35 #include "tree-ssa.h"
36 #include "cfgloop.h"
37 #include "tree-cfg.h"
38 #include "cfganal.h"
39 #include "intl.h"
42 static bool cfg_altered;
44 /* Callback for walk_stmt_load_store_ops.
46 Return TRUE if OP will dereference the tree stored in DATA, FALSE
47 otherwise.
49 This routine only makes a superficial check for a dereference. Thus,
50 it must only be used if it is safe to return a false negative. */
51 static bool
52 check_loadstore (gimple *stmt, tree op, tree, void *data)
54 if ((TREE_CODE (op) == MEM_REF || TREE_CODE (op) == TARGET_MEM_REF)
55 && operand_equal_p (TREE_OPERAND (op, 0), (tree)data, 0))
57 TREE_THIS_VOLATILE (op) = 1;
58 TREE_SIDE_EFFECTS (op) = 1;
59 update_stmt (stmt);
60 return true;
62 return false;
65 /* Insert a trap after SI and split the block after the trap. */
67 static void
68 insert_trap (gimple_stmt_iterator *si_p, tree op)
70 /* We want the NULL pointer dereference to actually occur so that
71 code that wishes to catch the signal can do so.
73 If the dereference is a load, then there's nothing to do as the
74 LHS will be a throw-away SSA_NAME and the RHS is the NULL dereference.
76 If the dereference is a store and we can easily transform the RHS,
77 then simplify the RHS to enable more DCE. Note that we require the
78 statement to be a GIMPLE_ASSIGN which filters out calls on the RHS. */
79 gimple *stmt = gsi_stmt (*si_p);
80 if (walk_stmt_load_store_ops (stmt, (void *)op, NULL, check_loadstore)
81 && is_gimple_assign (stmt)
82 && INTEGRAL_TYPE_P (TREE_TYPE (gimple_assign_lhs (stmt))))
84 /* We just need to turn the RHS into zero converted to the proper
85 type. */
86 tree type = TREE_TYPE (gimple_assign_lhs (stmt));
87 gimple_assign_set_rhs_code (stmt, INTEGER_CST);
88 gimple_assign_set_rhs1 (stmt, fold_convert (type, integer_zero_node));
89 update_stmt (stmt);
92 gcall *new_stmt
93 = gimple_build_call (builtin_decl_explicit (BUILT_IN_TRAP), 0);
94 gimple_seq seq = NULL;
95 gimple_seq_add_stmt (&seq, new_stmt);
97 /* If we had a NULL pointer dereference, then we want to insert the
98 __builtin_trap after the statement, for the other cases we want
99 to insert before the statement. */
100 if (walk_stmt_load_store_ops (stmt, (void *)op,
101 check_loadstore,
102 check_loadstore))
104 gsi_insert_after (si_p, seq, GSI_NEW_STMT);
105 if (stmt_ends_bb_p (stmt))
107 split_block (gimple_bb (stmt), stmt);
108 return;
111 else
112 gsi_insert_before (si_p, seq, GSI_NEW_STMT);
114 split_block (gimple_bb (new_stmt), new_stmt);
115 *si_p = gsi_for_stmt (stmt);
118 /* BB when reached via incoming edge E will exhibit undefined behavior
119 at STMT. Isolate and optimize the path which exhibits undefined
120 behavior.
122 Isolation is simple. Duplicate BB and redirect E to BB'.
124 Optimization is simple as well. Replace STMT in BB' with an
125 unconditional trap and remove all outgoing edges from BB'.
127 If RET_ZERO, do not trap, only return NULL.
129 DUPLICATE is a pre-existing duplicate, use it as BB' if it exists.
131 Return BB' (which may be equal to DUPLICATE). */
133 ATTRIBUTE_RETURNS_NONNULL basic_block
134 isolate_path (basic_block bb, basic_block duplicate,
135 edge e, gimple *stmt, tree op, bool ret_zero)
137 gimple_stmt_iterator si, si2;
138 edge_iterator ei;
139 edge e2;
140 bool impossible = true;
141 profile_count count = e->count ();
143 for (si = gsi_start_bb (bb); gsi_stmt (si) != stmt; gsi_next (&si))
144 if (stmt_can_terminate_bb_p (gsi_stmt (si)))
146 impossible = false;
147 break;
149 force_edge_cold (e, impossible);
151 /* First duplicate BB if we have not done so already and remove all
152 the duplicate's outgoing edges as duplicate is going to unconditionally
153 trap. Removing the outgoing edges is both an optimization and ensures
154 we don't need to do any PHI node updates. */
155 if (!duplicate)
157 duplicate = duplicate_block (bb, NULL, NULL);
158 duplicate->count = profile_count::zero ();
159 if (!ret_zero)
160 for (ei = ei_start (duplicate->succs); (e2 = ei_safe_edge (ei)); )
161 remove_edge (e2);
163 bb->count -= count;
165 /* Complete the isolation step by redirecting E to reach DUPLICATE. */
166 e2 = redirect_edge_and_branch (e, duplicate);
167 if (e2)
169 flush_pending_stmts (e2);
171 /* Update profile only when redirection is really processed. */
172 bb->count += e->count ();
175 /* There may be more than one statement in DUPLICATE which exhibits
176 undefined behavior. Ultimately we want the first such statement in
177 DUPLCIATE so that we're able to delete as much code as possible.
179 So each time we discover undefined behavior in DUPLICATE, search for
180 the statement which triggers undefined behavior. If found, then
181 transform the statement into a trap and delete everything after the
182 statement. If not found, then this particular instance was subsumed by
183 an earlier instance of undefined behavior and there's nothing to do.
185 This is made more complicated by the fact that we have STMT, which is in
186 BB rather than in DUPLICATE. So we set up two iterators, one for each
187 block and walk forward looking for STMT in BB, advancing each iterator at
188 each step.
190 When we find STMT the second iterator should point to STMT's equivalent in
191 duplicate. If DUPLICATE ends before STMT is found in BB, then there's
192 nothing to do.
194 Ignore labels and debug statements. */
195 si = gsi_start_nondebug_after_labels_bb (bb);
196 si2 = gsi_start_nondebug_after_labels_bb (duplicate);
197 while (!gsi_end_p (si) && !gsi_end_p (si2) && gsi_stmt (si) != stmt)
199 gsi_next_nondebug (&si);
200 gsi_next_nondebug (&si2);
203 /* This would be an indicator that we never found STMT in BB, which should
204 never happen. */
205 gcc_assert (!gsi_end_p (si));
207 /* If we did not run to the end of DUPLICATE, then SI points to STMT and
208 SI2 points to the duplicate of STMT in DUPLICATE. Insert a trap
209 before SI2 and remove SI2 and all trailing statements. */
210 if (!gsi_end_p (si2))
212 if (ret_zero)
214 greturn *ret = as_a <greturn *> (gsi_stmt (si2));
215 tree zero = build_zero_cst (TREE_TYPE (gimple_return_retval (ret)));
216 gimple_return_set_retval (ret, zero);
217 update_stmt (ret);
219 else
220 insert_trap (&si2, op);
223 return duplicate;
226 /* Return TRUE if STMT is a div/mod operation using DIVISOR as the divisor.
227 FALSE otherwise. */
229 static bool
230 is_divmod_with_given_divisor (gimple *stmt, tree divisor)
232 /* Only assignments matter. */
233 if (!is_gimple_assign (stmt))
234 return false;
236 /* Check for every DIV/MOD expression. */
237 enum tree_code rhs_code = gimple_assign_rhs_code (stmt);
238 if (rhs_code == TRUNC_DIV_EXPR
239 || rhs_code == FLOOR_DIV_EXPR
240 || rhs_code == CEIL_DIV_EXPR
241 || rhs_code == EXACT_DIV_EXPR
242 || rhs_code == ROUND_DIV_EXPR
243 || rhs_code == TRUNC_MOD_EXPR
244 || rhs_code == FLOOR_MOD_EXPR
245 || rhs_code == CEIL_MOD_EXPR
246 || rhs_code == ROUND_MOD_EXPR)
248 /* Pointer equality is fine when DIVISOR is an SSA_NAME, but
249 not sufficient for constants which may have different types. */
250 if (operand_equal_p (gimple_assign_rhs2 (stmt), divisor, 0))
251 return true;
253 return false;
256 /* NAME is an SSA_NAME that we have already determined has the value 0 or NULL.
258 Return TRUE if USE_STMT uses NAME in a way where a 0 or NULL value results
259 in undefined behavior, FALSE otherwise
261 LOC is used for issuing diagnostics. This case represents potential
262 undefined behavior exposed by path splitting and that's reflected in
263 the diagnostic. */
265 bool
266 stmt_uses_name_in_undefined_way (gimple *use_stmt, tree name, location_t loc)
268 /* If we are working with a non pointer type, then see
269 if this use is a DIV/MOD operation using NAME as the
270 divisor. */
271 if (!POINTER_TYPE_P (TREE_TYPE (name)))
273 if (!cfun->can_throw_non_call_exceptions)
274 return is_divmod_with_given_divisor (use_stmt, name);
275 return false;
278 /* NAME is a pointer, so see if it's used in a context where it must
279 be non-NULL. */
280 bool by_dereference
281 = infer_nonnull_range_by_dereference (use_stmt, name);
283 if (by_dereference
284 || infer_nonnull_range_by_attribute (use_stmt, name))
287 if (by_dereference)
289 warning_at (loc, OPT_Wnull_dereference,
290 "potential null pointer dereference");
291 if (!flag_isolate_erroneous_paths_dereference)
292 return false;
294 else
296 if (!flag_isolate_erroneous_paths_attribute)
297 return false;
299 return true;
301 return false;
304 /* Return TRUE if USE_STMT uses 0 or NULL in a context which results in
305 undefined behavior, FALSE otherwise.
307 These cases are explicit in the IL. */
309 bool
310 stmt_uses_0_or_null_in_undefined_way (gimple *stmt)
312 if (!cfun->can_throw_non_call_exceptions
313 && is_divmod_with_given_divisor (stmt, integer_zero_node))
314 return true;
316 /* By passing null_pointer_node, we can use the
317 infer_nonnull_range functions to detect explicit NULL
318 pointer dereferences and other uses where a non-NULL
319 value is required. */
321 bool by_dereference
322 = infer_nonnull_range_by_dereference (stmt, null_pointer_node);
323 if (by_dereference
324 || infer_nonnull_range_by_attribute (stmt, null_pointer_node))
326 if (by_dereference)
328 location_t loc = gimple_location (stmt);
329 warning_at (loc, OPT_Wnull_dereference,
330 "null pointer dereference");
331 if (!flag_isolate_erroneous_paths_dereference)
332 return false;
334 else
336 if (!flag_isolate_erroneous_paths_attribute)
337 return false;
339 return true;
341 return false;
344 /* Describes the property of a return statement that may return
345 the address of one or more local variables. The type must
346 be safely assignable and copyable so that it can be stored in
347 a hash_map. */
348 class args_loc_t
350 public:
352 args_loc_t (): nargs (), locvec (), ptr (&ptr)
354 locvec.create (4);
357 args_loc_t (const args_loc_t &rhs)
358 : nargs (rhs.nargs), locvec (rhs.locvec.copy ()), ptr (&ptr) { }
360 args_loc_t& operator= (const args_loc_t &rhs)
362 nargs = rhs.nargs;
363 locvec.release ();
364 locvec = rhs.locvec.copy ();
365 return *this;
368 ~args_loc_t ()
370 locvec.release ();
371 gcc_assert (ptr == &ptr);
374 /* For a PHI in a return statement its number of arguments. When greater
375 than LOCVEC.LENGTH () implies that an address of one of the locals in
376 LOCVEC may but need not be returned by the statement. Otherwise,
377 unless both are zero, it implies it definitely is returned. */
378 unsigned nargs;
379 /* The locations of local variables/alloca calls returned by the return
380 statement. Avoid using auto_vec here since it's not safe to copy due
381 to pr90904. */
382 vec <location_t> locvec;
383 void *ptr;
386 /* A mapping from a return statement to the locations of local variables
387 whose addresses it may return. */
388 typedef hash_map <gimple *, args_loc_t> locmap_t;
390 /* Given the LOCMAP mapping, issue diagnostics about returning addresses
391 of local variables. When MAYBE is set, all diagnostics will be of
392 the "may return" kind. Otherwise each will be determined based on
393 the equality of the corresponding NARGS and LOCVEC.LENGTH () values. */
395 static void
396 diag_returned_locals (bool maybe, const locmap_t &locmap)
398 for (locmap_t::iterator it = locmap.begin (); it != locmap.end (); ++it)
400 gimple *stmt = (*it).first;
401 const args_loc_t &argsloc = (*it).second;
402 location_t stmtloc = gimple_location (stmt);
403 if (stmtloc == UNKNOWN_LOCATION)
404 /* When multiple return statements are merged into one it
405 may not have an associated location. Use the location
406 of the closing brace instead. */
407 stmtloc = cfun->function_end_locus;
409 auto_diagnostic_group d;
410 unsigned nargs = argsloc.locvec.length ();
411 if (warning_at (stmtloc, OPT_Wreturn_local_addr,
412 (maybe || argsloc.nargs > nargs
413 ? G_("function may return address of local variable")
414 : G_("function returns address of local variable"))))
416 for (unsigned i = 0; i != nargs; ++i)
417 inform (argsloc.locvec[i], "declared here");
422 /* Return true if EXPR is an expression of pointer type that refers
423 to the address of one or more variables with automatic storage
424 duration. If so, add an entry to *PLOCMAP and insert into
425 PLOCMAP->LOCVEC the locations of the corresponding local variables
426 whose address is returned by the RETURN_STMT (which may be set to
427 (gimple*)-1 as a placeholder for such a statement). VISITED is
428 a bitmap of PHI nodes already visited by recursive calls. When
429 null, PHI expressions are not considered. */
431 static bool
432 is_addr_local (gimple *return_stmt, tree exp, locmap_t *plocmap,
433 hash_set<gphi *> *visited)
435 if (TREE_CODE (exp) == ADDR_EXPR)
437 tree baseaddr = get_base_address (TREE_OPERAND (exp, 0));
438 if (TREE_CODE (baseaddr) == MEM_REF)
439 return is_addr_local (return_stmt, TREE_OPERAND (baseaddr, 0),
440 plocmap, visited);
442 if ((!VAR_P (baseaddr)
443 || is_global_var (baseaddr))
444 && TREE_CODE (baseaddr) != PARM_DECL)
445 return false;
447 args_loc_t &argsloc = plocmap->get_or_insert (return_stmt);
448 argsloc.locvec.safe_push (DECL_SOURCE_LOCATION (baseaddr));
449 return true;
452 if (!POINTER_TYPE_P (TREE_TYPE (exp)))
453 return false;
455 if (TREE_CODE (exp) == SSA_NAME)
457 gimple *def_stmt = SSA_NAME_DEF_STMT (exp);
458 enum gimple_code code = gimple_code (def_stmt);
460 if (is_gimple_assign (def_stmt))
462 tree type = TREE_TYPE (gimple_assign_lhs (def_stmt));
463 if (POINTER_TYPE_P (type))
465 tree_code code = gimple_assign_rhs_code (def_stmt);
466 tree ptr1 = NULL_TREE, ptr2 = NULL_TREE;
468 /* Set to the number of arguments examined that should
469 be added to ARGSLOC->NARGS to identify expressions
470 only some but not all of whose operands refer to local
471 addresses. */
472 unsigned nargs = 0;
473 if (code == COND_EXPR)
475 ptr1 = gimple_assign_rhs2 (def_stmt);
476 ptr2 = gimple_assign_rhs3 (def_stmt);
477 nargs = 2;
479 else if (code == MAX_EXPR || code == MIN_EXPR)
481 ptr1 = gimple_assign_rhs1 (def_stmt);
482 ptr2 = gimple_assign_rhs2 (def_stmt);
483 nargs = 2;
485 else if (code == ADDR_EXPR
486 || code == NOP_EXPR
487 || code == POINTER_PLUS_EXPR)
488 /* Leave NARGS at zero and let the recursive call set it. */
489 ptr1 = gimple_assign_rhs1 (def_stmt);
491 /* Avoid short-circuiting the logical OR result in case
492 both operands refer to local variables, in which case
493 both should be considered and identified in the warning. */
494 bool res1 = false, res2 = false;
495 if (ptr1)
496 res1 = is_addr_local (return_stmt, ptr1, plocmap, visited);
497 if (ptr2)
498 res2 = is_addr_local (return_stmt, ptr2, plocmap, visited);
500 if (nargs)
501 if (args_loc_t *argsloc = plocmap->get (return_stmt))
502 argsloc->nargs += nargs;
504 return res1 || res2;
506 return false;
509 if (code == GIMPLE_CALL
510 && gimple_call_builtin_p (def_stmt, BUILT_IN_NORMAL))
512 /* Handle alloca and friends that return pointers to automatic
513 storage. */
514 tree fn = gimple_call_fndecl (def_stmt);
515 int code = DECL_FUNCTION_CODE (fn);
516 if (code == BUILT_IN_ALLOCA
517 || code == BUILT_IN_ALLOCA_WITH_ALIGN
518 || code == BUILT_IN_ALLOCA_WITH_ALIGN_AND_MAX)
520 args_loc_t &argsloc = plocmap->get_or_insert (return_stmt);
521 argsloc.locvec.safe_push (gimple_location (def_stmt));
522 return true;
525 if (gimple_call_num_args (def_stmt) < 1)
526 return false;
528 /* Recursively examine the first argument of calls to built-ins
529 that return it. */
530 switch (code)
532 case BUILT_IN_MEMCPY:
533 case BUILT_IN_MEMCPY_CHK:
534 case BUILT_IN_MEMPCPY:
535 case BUILT_IN_MEMPCPY_CHK:
536 case BUILT_IN_MEMMOVE:
537 case BUILT_IN_MEMMOVE_CHK:
538 case BUILT_IN_STPCPY:
539 case BUILT_IN_STPCPY_CHK:
540 case BUILT_IN_STPNCPY:
541 case BUILT_IN_STPNCPY_CHK:
542 case BUILT_IN_STRCAT:
543 case BUILT_IN_STRCAT_CHK:
544 case BUILT_IN_STRCHR:
545 case BUILT_IN_STRCPY:
546 case BUILT_IN_STRCPY_CHK:
547 case BUILT_IN_STRNCAT:
548 case BUILT_IN_STRNCAT_CHK:
549 case BUILT_IN_STRNCPY:
550 case BUILT_IN_STRNCPY_CHK:
551 case BUILT_IN_STRRCHR:
552 case BUILT_IN_STRSTR:
553 return is_addr_local (return_stmt,
554 gimple_call_arg (def_stmt, 0),
555 plocmap, visited);
556 default:
557 return false;
561 if (code == GIMPLE_PHI && visited)
563 gphi *phi_stmt = as_a <gphi *> (def_stmt);
564 if (visited->add (phi_stmt))
565 return false;
567 unsigned count = 0;
568 unsigned nargs = gimple_phi_num_args (phi_stmt);
569 args_loc_t &argsloc = plocmap->get_or_insert (return_stmt);
570 /* Bump up the number of operands examined by the number of
571 operands of this PHI. */
572 argsloc.nargs += nargs;
573 for (unsigned i = 0; i < gimple_phi_num_args (phi_stmt); ++i)
575 tree arg = gimple_phi_arg_def (phi_stmt, i);
576 if (is_addr_local (return_stmt, arg, plocmap, visited))
577 ++count;
579 return count != 0;
583 return false;
586 /* Detect returning the address of a local variable in a PHI result LHS
587 and argument ARG and PHI edge E in basic block BB. Add an entry for
588 each use to LOCMAP, setting its NARGS member to the NARGS argument
589 (the number of PHI operands) plus the number of arguments in binary
590 expressions refereced by ARG. Call isolate_path for each returned
591 address and set *ISOLATED to true if called.
592 Return either DUPLICATE or the most recent result of isolate_path. */
594 static basic_block
595 handle_return_addr_local_phi_arg (basic_block bb, basic_block duplicate,
596 tree lhs, tree arg, edge e, locmap_t &locmap,
597 unsigned nargs, bool *isolated)
599 /* Use (gimple*)-1 as a temporary placeholder and replace it with
600 the return statement below once it is known. Using a null doesn't
601 work because it's used by the hash_map to mean "no-entry." Pass
602 null instead of a visited_phis bitmap to avoid descending into
603 PHIs since they are being processed by the caller. Those that
604 remain will be checked again later. */
605 if (!is_addr_local ((gimple*)-1, arg, &locmap, NULL))
607 /* Remove the placeholder regardless of success or failure. */
608 locmap.remove ((gimple*)-1);
609 return duplicate;
612 const args_loc_t* const placeargsloc = locmap.get ((gimple*)-1);
613 const unsigned nlocs = placeargsloc->locvec.length ();
614 gcc_assert (nlocs);
616 /* Add to the number of PHI arguments determined by the caller
617 the number of operands of the expressions referenced by ARG.
618 This lets the caller determine whether it's dealing with
619 a "may return" or "definitely returns." */
620 nargs += placeargsloc->nargs;
622 /* Set to true if any expressions referenced by ARG involve
623 multiple addresses only some of which are those of locals. */
624 bool maybe = placeargsloc->nargs > placeargsloc->locvec.length ();
626 gimple *use_stmt;
627 imm_use_iterator iter;
629 /* Look for uses of the PHI result LHS in return statements. */
630 FOR_EACH_IMM_USE_STMT (use_stmt, iter, lhs)
632 greturn *return_stmt = dyn_cast <greturn *> (use_stmt);
633 if (!return_stmt)
634 continue;
636 if (gimple_return_retval (return_stmt) != lhs)
637 continue;
639 /* Add an entry for the return statement and the locations
640 oof the PHI arguments obtained above to the map. */
641 args_loc_t &argsloc = locmap.get_or_insert (use_stmt);
642 argsloc.nargs = nargs;
643 unsigned nelts = argsloc.locvec.length () + nlocs;
644 argsloc.locvec.reserve (nelts);
645 argsloc.locvec.splice (placeargsloc->locvec);
647 if (!maybe
648 && (flag_isolate_erroneous_paths_dereference
649 || flag_isolate_erroneous_paths_attribute)
650 && gimple_bb (use_stmt) == bb)
652 duplicate = isolate_path (bb, duplicate, e,
653 use_stmt, lhs, true);
655 /* Let caller know the path has been isolated. */
656 *isolated = true;
660 locmap.remove ((gimple*)-1);
662 return duplicate;
665 /* Look for PHI nodes which feed statements in the same block where
666 the value of the PHI node implies the statement is erroneous.
668 For example, a NULL PHI arg value which then feeds a pointer
669 dereference.
671 When found isolate and optimize the path associated with the PHI
672 argument feeding the erroneous statement. */
673 static void
674 find_implicit_erroneous_behavior (void)
676 locmap_t locmap;
678 basic_block bb;
680 FOR_EACH_BB_FN (bb, cfun)
682 gphi_iterator si;
684 /* Out of an abundance of caution, do not isolate paths to a
685 block where the block has any abnormal outgoing edges.
687 We might be able to relax this in the future. We have to detect
688 when we have to split the block with the NULL dereference and
689 the trap we insert. We have to preserve abnormal edges out
690 of the isolated block which in turn means updating PHIs at
691 the targets of those abnormal outgoing edges. */
692 if (has_abnormal_or_eh_outgoing_edge_p (bb))
693 continue;
696 /* If BB has an edge to itself, then duplication of BB below
697 could result in reallocation of BB's PHI nodes. If that happens
698 then the loop below over the PHIs would use the old PHI and
699 thus invalid information. We don't have a good way to know
700 if a PHI has been reallocated, so just avoid isolation in
701 this case. */
702 if (find_edge (bb, bb))
703 continue;
705 /* First look for a PHI which sets a pointer to NULL and which
706 is then dereferenced within BB. This is somewhat overly
707 conservative, but probably catches most of the interesting
708 cases. */
709 for (si = gsi_start_phis (bb); !gsi_end_p (si); gsi_next (&si))
711 gphi *phi = si.phi ();
712 tree lhs = gimple_phi_result (phi);
714 /* Initial number of PHI arguments. The result may change
715 from one iteration of the loop below to the next in
716 response to changes to the CFG but only the initial
717 value is stored below for use by diagnostics. */
718 unsigned nargs = gimple_phi_num_args (phi);
720 /* PHI produces a pointer result. See if any of the PHI's
721 arguments are NULL.
723 When we remove an edge, we want to reprocess the current
724 index since the argument at that index will have been
725 removed, hence the ugly way we update I for each iteration. */
726 basic_block duplicate = NULL;
727 for (unsigned i = 0, next_i = 0;
728 i < gimple_phi_num_args (phi); i = next_i)
730 tree arg = gimple_phi_arg_def (phi, i);
731 edge e = gimple_phi_arg_edge (phi, i);
733 /* Advance the argument index unless a path involving
734 the current argument has been isolated. */
735 next_i = i + 1;
736 bool isolated = false;
737 duplicate = handle_return_addr_local_phi_arg (bb, duplicate, lhs,
738 arg, e, locmap,
739 nargs, &isolated);
740 if (isolated)
742 cfg_altered = true;
743 next_i = i;
746 if (!integer_zerop (arg))
747 continue;
749 location_t phi_arg_loc = gimple_phi_arg_location (phi, i);
751 imm_use_iterator iter;
752 gimple *use_stmt;
754 /* We've got a NULL PHI argument. Now see if the
755 PHI's result is dereferenced within BB. */
756 FOR_EACH_IMM_USE_STMT (use_stmt, iter, lhs)
758 /* We only care about uses in BB. Catching cases in
759 in other blocks would require more complex path
760 isolation code. */
761 if (gimple_bb (use_stmt) != bb)
762 continue;
764 location_t loc = gimple_location (use_stmt)
765 ? gimple_location (use_stmt)
766 : phi_arg_loc;
768 if (stmt_uses_name_in_undefined_way (use_stmt, lhs, loc))
770 duplicate = isolate_path (bb, duplicate, e,
771 use_stmt, lhs, false);
773 /* When we remove an incoming edge, we need to
774 reprocess the Ith element. */
775 next_i = i;
776 cfg_altered = true;
783 diag_returned_locals (false, locmap);
786 /* Detect and diagnose returning the address of a local variable
787 in RETURN_STMT in basic block BB. This only becomes undefined
788 behavior if the result is used, so we do not insert a trap and
789 only return NULL instead. */
791 static void
792 warn_return_addr_local (basic_block bb, greturn *return_stmt)
794 tree val = gimple_return_retval (return_stmt);
795 if (!val)
796 return;
798 locmap_t locmap;
799 hash_set<gphi *> visited_phis;
800 if (!is_addr_local (return_stmt, val, &locmap, &visited_phis))
801 return;
803 /* We only need it for this particular case. */
804 calculate_dominance_info (CDI_POST_DOMINATORS);
806 const args_loc_t *argsloc = locmap.get (return_stmt);
807 gcc_assert (argsloc);
809 bool maybe = argsloc->nargs > argsloc->locvec.length ();
810 if (!maybe)
811 maybe = !dominated_by_p (CDI_POST_DOMINATORS,
812 single_succ (ENTRY_BLOCK_PTR_FOR_FN (cfun)), bb);
814 diag_returned_locals (maybe, locmap);
816 /* Bail if the statement isn't certain to return the address
817 of a local (e.g., if it involves a conditional expression
818 that wasn't trasnformed into a PHI or if it involves
819 a MAX_EXPR or MIN_EXPR only one of whose operands is a local
820 (even though such an expression isn't valid in C or has
821 defined semantics in C++). */
822 if (maybe)
823 return;
825 /* Do not modify code if the user only asked for warnings. */
826 if (flag_isolate_erroneous_paths_dereference
827 || flag_isolate_erroneous_paths_attribute)
829 tree zero = build_zero_cst (TREE_TYPE (val));
830 gimple_return_set_retval (return_stmt, zero);
831 update_stmt (return_stmt);
835 /* Look for statements which exhibit erroneous behavior. For example
836 a NULL pointer dereference.
838 When found, optimize the block containing the erroneous behavior. */
839 static void
840 find_explicit_erroneous_behavior (void)
842 basic_block bb;
844 FOR_EACH_BB_FN (bb, cfun)
846 gimple_stmt_iterator si;
848 /* Out of an abundance of caution, do not isolate paths to a
849 block where the block has any abnormal outgoing edges.
851 We might be able to relax this in the future. We have to detect
852 when we have to split the block with the NULL dereference and
853 the trap we insert. We have to preserve abnormal edges out
854 of the isolated block which in turn means updating PHIs at
855 the targets of those abnormal outgoing edges. */
856 if (has_abnormal_or_eh_outgoing_edge_p (bb))
857 continue;
859 /* Now look at the statements in the block and see if any of
860 them explicitly dereference a NULL pointer. This happens
861 because of jump threading and constant propagation. */
862 for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))
864 gimple *stmt = gsi_stmt (si);
866 if (stmt_uses_0_or_null_in_undefined_way (stmt))
868 insert_trap (&si, null_pointer_node);
869 bb = gimple_bb (gsi_stmt (si));
871 /* Ignore any more operands on this statement and
872 continue the statement iterator (which should
873 terminate its loop immediately. */
874 cfg_altered = true;
875 break;
878 /* Look for a return statement that returns the address
879 of a local variable or the result of alloca. */
880 if (greturn *return_stmt = dyn_cast <greturn *> (stmt))
881 warn_return_addr_local (bb, return_stmt);
886 /* Search the function for statements which, if executed, would cause
887 the program to fault such as a dereference of a NULL pointer.
889 Such a program can't be valid if such a statement was to execute
890 according to ISO standards.
892 We detect explicit NULL pointer dereferences as well as those implied
893 by a PHI argument having a NULL value which unconditionally flows into
894 a dereference in the same block as the PHI.
896 In the former case we replace the offending statement with an
897 unconditional trap and eliminate the outgoing edges from the statement's
898 basic block. This may expose secondary optimization opportunities.
900 In the latter case, we isolate the path(s) with the NULL PHI
901 feeding the dereference. We can then replace the offending statement
902 and eliminate the outgoing edges in the duplicate. Again, this may
903 expose secondary optimization opportunities.
905 A warning for both cases may be advisable as well.
907 Other statically detectable violations of the ISO standard could be
908 handled in a similar way, such as out-of-bounds array indexing. */
910 static unsigned int
911 gimple_ssa_isolate_erroneous_paths (void)
913 initialize_original_copy_tables ();
915 /* Search all the blocks for edges which, if traversed, will
916 result in undefined behavior. */
917 cfg_altered = false;
919 /* First handle cases where traversal of a particular edge
920 triggers undefined behavior. These cases require creating
921 duplicate blocks and thus new SSA_NAMEs.
923 We want that process complete prior to the phase where we start
924 removing edges from the CFG. Edge removal may ultimately result in
925 removal of PHI nodes and thus releasing SSA_NAMEs back to the
926 name manager.
928 If the two processes run in parallel we could release an SSA_NAME
929 back to the manager but we could still have dangling references
930 to the released SSA_NAME in unreachable blocks.
931 that any released names not have dangling references in the IL. */
932 find_implicit_erroneous_behavior ();
933 find_explicit_erroneous_behavior ();
935 free_original_copy_tables ();
937 /* We scramble the CFG and loop structures a bit, clean up
938 appropriately. We really should incrementally update the
939 loop structures, in theory it shouldn't be that hard. */
940 free_dominance_info (CDI_POST_DOMINATORS);
941 if (cfg_altered)
943 free_dominance_info (CDI_DOMINATORS);
944 loops_state_set (LOOPS_NEED_FIXUP);
945 return TODO_cleanup_cfg | TODO_update_ssa;
947 return 0;
950 namespace {
951 const pass_data pass_data_isolate_erroneous_paths =
953 GIMPLE_PASS, /* type */
954 "isolate-paths", /* name */
955 OPTGROUP_NONE, /* optinfo_flags */
956 TV_ISOLATE_ERRONEOUS_PATHS, /* tv_id */
957 ( PROP_cfg | PROP_ssa ), /* properties_required */
958 0, /* properties_provided */
959 0, /* properties_destroyed */
960 0, /* todo_flags_start */
961 0, /* todo_flags_finish */
964 class pass_isolate_erroneous_paths : public gimple_opt_pass
966 public:
967 pass_isolate_erroneous_paths (gcc::context *ctxt)
968 : gimple_opt_pass (pass_data_isolate_erroneous_paths, ctxt)
971 /* opt_pass methods: */
972 opt_pass * clone () { return new pass_isolate_erroneous_paths (m_ctxt); }
973 virtual bool gate (function *)
975 /* If we do not have a suitable builtin function for the trap statement,
976 then do not perform the optimization. */
977 return (flag_isolate_erroneous_paths_dereference != 0
978 || flag_isolate_erroneous_paths_attribute != 0
979 || warn_null_dereference);
982 virtual unsigned int execute (function *)
984 return gimple_ssa_isolate_erroneous_paths ();
987 }; // class pass_isolate_erroneous_paths
990 gimple_opt_pass *
991 make_pass_isolate_erroneous_paths (gcc::context *ctxt)
993 return new pass_isolate_erroneous_paths (ctxt);