OLD | NEW |
1 /* Thread Safety Annotations and Analysis. | 1 /* Thread Safety Annotations and Analysis. |
2 Copyright (C) 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc. | 2 Copyright (C) 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc. |
3 Contributed by Le-Chun Wu <lcwu@google.com>. | 3 Contributed by Le-Chun Wu <lcwu@google.com>. |
4 | 4 |
5 This file is part of GCC. | 5 This file is part of GCC. |
6 | 6 |
7 GCC is free software; you can redistribute it and/or modify | 7 GCC is free software; you can redistribute it and/or modify |
8 it under the terms of the GNU General Public License as published by | 8 it under the terms of the GNU General Public License as published by |
9 the Free Software Foundation; either version 3, or (at your option) | 9 the Free Software Foundation; either version 3, or (at your option) |
10 any later version. | 10 any later version. |
(...skipping 3553 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3564 function. */ | 3564 function. */ |
3565 if (old_mismatched_lock_acq_rel != warn_thread_mismatched_lock_acq_rel) | 3565 if (old_mismatched_lock_acq_rel != warn_thread_mismatched_lock_acq_rel) |
3566 warn_thread_mismatched_lock_acq_rel = old_mismatched_lock_acq_rel; | 3566 warn_thread_mismatched_lock_acq_rel = old_mismatched_lock_acq_rel; |
3567 | 3567 |
3568 return 0; | 3568 return 0; |
3569 } | 3569 } |
3570 | 3570 |
3571 static bool | 3571 static bool |
3572 gate_threadsafe_analyze (void) | 3572 gate_threadsafe_analyze (void) |
3573 { | 3573 { |
3574 return warn_thread_safety != 0; | 3574 /* FIXME google/main - Annotalysis is currently broken. */ |
| 3575 return false; |
3575 } | 3576 } |
3576 | 3577 |
3577 struct gimple_opt_pass pass_threadsafe_analyze = | 3578 struct gimple_opt_pass pass_threadsafe_analyze = |
3578 { | 3579 { |
3579 { | 3580 { |
3580 GIMPLE_PASS, | 3581 GIMPLE_PASS, |
3581 "threadsafe_analyze", /* name */ | 3582 "threadsafe_analyze", /* name */ |
3582 gate_threadsafe_analyze, /* gate */ | 3583 gate_threadsafe_analyze, /* gate */ |
3583 execute_threadsafe_analyze, /* execute */ | 3584 execute_threadsafe_analyze, /* execute */ |
3584 NULL, /* sub */ | 3585 NULL, /* sub */ |
3585 NULL, /* next */ | 3586 NULL, /* next */ |
3586 0, /* static_pass_number */ | 3587 0, /* static_pass_number */ |
3587 TV_TREE_THREADSAFE, /* tv_id */ | 3588 TV_TREE_THREADSAFE, /* tv_id */ |
3588 PROP_cfg | PROP_ssa, /* properties_required */ | 3589 PROP_cfg | PROP_ssa, /* properties_required */ |
3589 0, /* properties_provided */ | 3590 0, /* properties_provided */ |
3590 0, /* properties_destroyed */ | 3591 0, /* properties_destroyed */ |
3591 0, /* todo_flags_start */ | 3592 0, /* todo_flags_start */ |
3592 TODO_dump_func /* todo_flags_finish */ | 3593 TODO_dump_func /* todo_flags_finish */ |
3593 } | 3594 } |
3594 }; | 3595 }; |
3595 | 3596 |
3596 #include "gt-tree-threadsafe-analyze.h" | 3597 #include "gt-tree-threadsafe-analyze.h" |
OLD | NEW |