diff options
| author | aldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-02-20 23:43:31 +0000 |
|---|---|---|
| committer | aldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-02-20 23:43:31 +0000 |
| commit | 43156aa32f62a10adaef58313f6414708e7e5bcc (patch) | |
| tree | ecc42fa4efdac72cf8b9746e66dae3721a9e7497 /gcc/trans-mem.c | |
| parent | 9ba809dedb043afded02a3b3c299eeea68750bba (diff) | |
| download | gcc-43156aa32f62a10adaef58313f6414708e7e5bcc.tar.gz | |
PR middle-end/52141
* trans-mem.c (ipa_tm_scan_irr_block): Error out on GIMPLE_ASM's
in a transaction safe function.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184417 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/trans-mem.c')
| -rw-r--r-- | gcc/trans-mem.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/trans-mem.c b/gcc/trans-mem.c index d760db34b2a..aa330dd95c4 100644 --- a/gcc/trans-mem.c +++ b/gcc/trans-mem.c @@ -3736,6 +3736,13 @@ ipa_tm_scan_irr_block (basic_block bb) assembly statement is not relevant to the transaction is to wrap it in a __tm_waiver block. This is not yet implemented, so we can't check for it. */ + if (is_tm_safe (current_function_decl)) + { + tree t = build1 (NOP_EXPR, void_type_node, size_zero_node); + SET_EXPR_LOCATION (t, gimple_location (stmt)); + TREE_BLOCK (t) = gimple_block (stmt); + error ("%Kasm not allowed in %<transaction_safe%> function", t); + } return true; default: |