74 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: random number generator seeded with a constant value w…  in f()
76 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: random number generator seeded with a constant value w…  in f()
78 …// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: random number generator seeded with a disallowed sourc…  in f()
82 …// CHECK-MESSAGES: :[[@LINE-1]]:30: warning: random number generator seeded with a default argumen…  in f()
84 …// CHECK-MESSAGES: :[[@LINE-1]]:30: warning: random number generator seeded with a constant value …  in f()
86 …// CHECK-MESSAGES: :[[@LINE-1]]:30: warning: random number generator seeded with a constant value …  in f()
88 …// CHECK-MESSAGES: :[[@LINE-1]]:30: warning: random number generator seeded with a disallowed sour…  in f()
90 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a default argumen…  in f()
92 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a constant value …  in f()
94 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a constant value …  in f()
96 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a disallowed sour…  in f()
99 …// CHECK-MESSAGES: :[[@LINE-1]]:16: warning: random number generator seeded with a default argumen…  in f()
101 …// CHECK-MESSAGES: :[[@LINE-1]]:16: warning: random number generator seeded with a constant value …  in f()
103 …// CHECK-MESSAGES: :[[@LINE-1]]:16: warning: random number generator seeded with a constant value …  in f()
105 …// CHECK-MESSAGES: :[[@LINE-1]]:16: warning: random number generator seeded with a disallowed sour…  in f()
107 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a default argumen…  in f()
109 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a constant value …  in f()
111 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a constant value …  in f()
113 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a disallowed sour…  in f()
116 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a default argumen…  in f()
118 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a constant value …  in f()
120 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a constant value …  in f()
122 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a disallowed sour…  in f()
124 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a default argumen…  in f()
126 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a constant value …  in f()
128 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a constant value …  in f()
130 …// CHECK-MESSAGES: :[[@LINE-1]]:11: warning: random number generator seeded with a disallowed sour…  in f()
133 …// CHECK-MESSAGES: :[[@LINE-1]]:17: warning: random number generator seeded with a default argumen…  in f()
135 …// CHECK-MESSAGES: :[[@LINE-1]]:17: warning: random number generator seeded with a constant value …  in f()
137 …// CHECK-MESSAGES: :[[@LINE-1]]:17: warning: random number generator seeded with a constant value …  in f()
139 …// CHECK-MESSAGES: :[[@LINE-1]]:17: warning: random number generator seeded with a disallowed sour…  in f()
141 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a default argumen…  in f()
143 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a constant value …  in f()
145 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a constant value …  in f()
147 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a disallowed sour…  in f()
150 …// CHECK-MESSAGES: :[[@LINE-1]]:25: warning: random number generator seeded with a default argumen…  in f()
152 …// CHECK-MESSAGES: :[[@LINE-1]]:25: warning: random number generator seeded with a constant value …  in f()
154 …// CHECK-MESSAGES: :[[@LINE-1]]:25: warning: random number generator seeded with a constant value …  in f()
156 …// CHECK-MESSAGES: :[[@LINE-1]]:25: warning: random number generator seeded with a disallowed sour…  in f()
158 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a default argumen…  in f()
160 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a constant value …  in f()
162 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a constant value …  in f()
164 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a disallowed sour…  in f()
167 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a default argumen…  in f()
169 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a constant value …  in f()
171 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a constant value …  in f()
173 …// CHECK-MESSAGES: :[[@LINE-1]]:22: warning: random number generator seeded with a disallowed sour…  in f()
175 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a default argumen…  in f()
177 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a constant value …  in f()
179 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a constant value …  in f()
181 …// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: random number generator seeded with a disallowed sour…  in f()