Don't emit duplicate decorations. (#3635)
It is invalid if the same decoration is applied to the same id multiple times. This adds a check before adding a decoration that the decoration is not already in the list. If it is, then the duplicate is not added. Fixes #3627
This commit is contained in:
parent
7c40de7aa2
commit
33c7e30860
575 changed files with 3482 additions and 3414 deletions
|
|
@ -37,14 +37,14 @@ WARNING: 0:139: 'switch' : last case/default label not followed by statements
|
|||
Name 246 "param"
|
||||
Name 248 "param"
|
||||
Name 250 "param"
|
||||
Decorate 15(foo1(vf4;vf4;i1;) RelaxedPrecision
|
||||
Decorate 12(v1) RelaxedPrecision
|
||||
Decorate 13(v2) RelaxedPrecision
|
||||
Decorate 14(i1) RelaxedPrecision
|
||||
Decorate 20(foo2(vf4;vf4;i1;) RelaxedPrecision
|
||||
Decorate 15(foo1(vf4;vf4;i1;) RelaxedPrecision
|
||||
Decorate 17(v1) RelaxedPrecision
|
||||
Decorate 18(v2) RelaxedPrecision
|
||||
Decorate 19(i1) RelaxedPrecision
|
||||
Decorate 20(foo2(vf4;vf4;i1;) RelaxedPrecision
|
||||
Decorate 22 RelaxedPrecision
|
||||
Decorate 27 RelaxedPrecision
|
||||
Decorate 29 RelaxedPrecision
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue