Commit | Line | Data |
---|---|---|
b6ba6518 | 1 | # Copyright 1998, 1999 Free Software Foundation, Inc. |
c906108c SS |
2 | |
3 | # This program is free software; you can redistribute it and/or modify | |
4 | # it under the terms of the GNU General Public License as published by | |
5 | # the Free Software Foundation; either version 2 of the License, or | |
6 | # (at your option) any later version. | |
7 | # | |
8 | # This program is distributed in the hope that it will be useful, | |
9 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | # GNU General Public License for more details. | |
12 | # | |
13 | # You should have received a copy of the GNU General Public License | |
14 | # along with this program; if not, write to the Free Software | |
15 | # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. | |
16 | ||
17 | # Please email any bugs, comments, and/or additions to this file to: | |
18 | # bug-gdb@prep.ai.mit.edu | |
19 | ||
20 | # This file was written by Elena Zannoni (ezannoni@cygnus.com) | |
21 | ||
22 | # This file is part of the gdb testsuite | |
23 | ||
24 | # | |
25 | # tests for correctenss of logical operators, associativity and precedence | |
26 | # with integer type variables | |
27 | # | |
28 | ||
29 | if $tracelevel then { | |
30 | strace $tracelevel | |
31 | } | |
32 | ||
33 | # | |
34 | # test running programs | |
35 | # | |
36 | set prms_id 0 | |
37 | set bug_id 0 | |
38 | ||
39 | set testfile "int-type" | |
40 | set srcfile ${testfile}.c | |
41 | set binfile ${objdir}/${subdir}/${testfile} | |
42 | ||
43 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug additional_flags=-w}] != "" } { | |
44 | gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail." | |
45 | } | |
46 | ||
085dd6e6 JM |
47 | if [get_compiler_info ${binfile}] { |
48 | return -1; | |
49 | } | |
c906108c SS |
50 | |
51 | gdb_exit | |
52 | gdb_start | |
53 | gdb_reinitialize_dir $srcdir/$subdir | |
54 | gdb_load ${binfile} | |
55 | ||
56 | ||
57 | # | |
58 | # set it up at a breakpoint so we can play with the variable values | |
59 | # | |
60 | ||
61 | if ![runto_main] then { | |
62 | perror "couldn't run to breakpoint" | |
63 | continue | |
64 | } | |
65 | ||
66 | # | |
67 | # test expressions with "int" types | |
68 | # | |
69 | ||
70 | gdb_test "set variable x=0" "" "set variable x=0" | |
71 | gdb_test "set variable y=0" "" "set variable y=0" | |
72 | gdb_test "set variable z=0" "" "set variable z=0" | |
73 | ||
74 | send_gdb "print x\n" | |
75 | gdb_expect { | |
76 | -re ".*0.*$gdb_prompt $" { | |
77 | pass "print value of x" | |
78 | } | |
79 | -re ".*$gdb_prompt $" { fail "print value of x" } | |
80 | timeout { fail "(timeout) print value of x" } | |
81 | } | |
82 | ||
83 | ||
84 | send_gdb "print y\n" | |
85 | gdb_expect { | |
86 | -re ".*0.*$gdb_prompt $" { | |
87 | pass "print value of y" | |
88 | } | |
89 | -re ".*$gdb_prompt $" { fail "print value of y" } | |
90 | timeout { fail "(timeout) print value of y" } | |
91 | } | |
92 | ||
93 | send_gdb "print z\n" | |
94 | gdb_expect { | |
95 | -re ".*0.*$gdb_prompt $" { | |
96 | pass "print value of z" | |
97 | } | |
98 | -re ".*$gdb_prompt $" { fail "print value of z" } | |
99 | timeout { fail "(timeout) print value of z" } | |
100 | } | |
101 | ||
102 | ||
103 | # truth tables for && , || , ! | |
104 | ||
105 | send_gdb "print x && y\n" | |
106 | gdb_expect { | |
085dd6e6 | 107 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
108 | pass "print value of x<y" |
109 | } | |
110 | -re ".*$gdb_prompt $" { fail "print value of x<y" } | |
111 | timeout { fail "(timeout) print value of x<y" } | |
112 | } | |
113 | ||
114 | ||
115 | ||
116 | send_gdb "print x || y\n" | |
117 | gdb_expect { | |
085dd6e6 | 118 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
119 | pass "print value of x<=y" |
120 | } | |
121 | -re ".*$gdb_prompt $" { fail "print value of x<=y" } | |
122 | timeout { fail "(timeout) print value of x<=y" } | |
123 | } | |
124 | ||
125 | send_gdb "print !x\n" | |
126 | gdb_expect { | |
085dd6e6 | 127 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
128 | pass "print value of x>y" |
129 | } | |
130 | -re ".*$gdb_prompt $" { fail "print value of x>y" } | |
131 | timeout { fail "(timeout) print value of x>y" } | |
132 | } | |
133 | ||
134 | gdb_test "set variable y=1" "" "set variable y=1" | |
135 | ||
136 | send_gdb "print x && y\n" | |
137 | gdb_expect { | |
085dd6e6 | 138 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
139 | pass "print value of x<y" |
140 | } | |
141 | -re ".*$gdb_prompt $" { fail "print value of x<y" } | |
142 | timeout { fail "(timeout) print value of x<y" } | |
143 | } | |
144 | ||
145 | ||
146 | ||
147 | send_gdb "print x || y\n" | |
148 | gdb_expect { | |
085dd6e6 | 149 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
150 | pass "print value of x<=y" |
151 | } | |
152 | -re ".*$gdb_prompt $" { fail "print value of x<=y" } | |
153 | timeout { fail "(timeout) print value of x<=y" } | |
154 | } | |
155 | ||
156 | gdb_test "set variable x=1" "" "set variable x=1" | |
157 | ||
158 | send_gdb "print x && y\n" | |
159 | gdb_expect { | |
085dd6e6 | 160 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
161 | pass "print value of x<y" |
162 | } | |
163 | -re ".*$gdb_prompt $" { fail "print value of x<y" } | |
164 | timeout { fail "(timeout) print value of x<y" } | |
165 | } | |
166 | ||
167 | ||
168 | ||
169 | send_gdb "print x || y\n" | |
170 | gdb_expect { | |
085dd6e6 | 171 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
172 | pass "print value of x<=y" |
173 | } | |
174 | -re ".*$gdb_prompt $" { fail "print value of x<=y" } | |
175 | timeout { fail "(timeout) print value of x<=y" } | |
176 | } | |
177 | ||
178 | send_gdb "print !x\n" | |
179 | gdb_expect { | |
085dd6e6 | 180 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
181 | pass "print value of x>y" |
182 | } | |
183 | -re ".*$gdb_prompt $" { fail "print value of x>y" } | |
184 | timeout { fail "(timeout) print value of x>y" } | |
185 | } | |
186 | ||
187 | gdb_test "set variable y=0" "" "set variable y=0" | |
188 | ||
189 | send_gdb "print x && y\n" | |
190 | gdb_expect { | |
085dd6e6 | 191 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
192 | pass "print value of x<y" |
193 | } | |
194 | -re ".*$gdb_prompt $" { fail "print value of x<y" } | |
195 | timeout { fail "(timeout) print value of x<y" } | |
196 | } | |
197 | ||
198 | ||
199 | ||
200 | send_gdb "print x || y\n" | |
201 | gdb_expect { | |
085dd6e6 | 202 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
203 | pass "print value of x<=y" |
204 | } | |
205 | -re ".*$gdb_prompt $" { fail "print value of x<=y" } | |
206 | timeout { fail "(timeout) print value of x<=y" } | |
207 | } | |
208 | ||
209 | ||
210 | # end truth tables for &&, ||, ! | |
211 | ||
212 | ||
213 | # test associativity of && , || , ! | |
214 | ||
215 | gdb_test "set variable x=0" "" "set variable x=0" | |
216 | gdb_test "set variable y=0" "" "set variable y=0" | |
217 | gdb_test "set variable z=0" "" "set variable z=0" | |
218 | ||
219 | send_gdb "print x && y && z\n" | |
220 | gdb_expect { | |
085dd6e6 | 221 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
222 | pass "print value of x && y && z (000)" |
223 | } | |
224 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (000) " } | |
225 | timeout { fail "(timeout) print value of x && y && z (000) " } | |
226 | } | |
227 | ||
228 | send_gdb "print x || y || z\n" | |
229 | gdb_expect { | |
085dd6e6 | 230 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
231 | pass "print value of x || y || z (000)" |
232 | } | |
233 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (000)" } | |
234 | timeout { fail "(timeout) print value of x || y || z (000) " } | |
235 | } | |
236 | ||
237 | send_gdb "print !!x\n" | |
238 | gdb_expect { | |
085dd6e6 | 239 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
240 | pass "print value of !!x (0)" |
241 | } | |
242 | -re ".*$gdb_prompt $" { fail "print value of !!x (0)" } | |
243 | timeout { fail "(timeout) print value of !!x (0) " } | |
244 | } | |
245 | ||
246 | ||
247 | gdb_test "set variable y=1" "" "set variable y=1" | |
248 | ||
249 | send_gdb "print x && y && z\n" | |
250 | gdb_expect { | |
085dd6e6 | 251 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
252 | pass "print value of x && y && z (010)" |
253 | } | |
254 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (010) " } | |
255 | timeout { fail "(timeout) print value of x && y && z (010) " } | |
256 | } | |
257 | ||
258 | send_gdb "print x || y || z\n" | |
259 | gdb_expect { | |
085dd6e6 | 260 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
261 | pass "print value of x || y || z (010)" |
262 | } | |
263 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (010)" } | |
264 | timeout { fail "(timeout) print value of x || y || z (010) " } | |
265 | } | |
266 | ||
267 | ||
268 | gdb_test "set variable z=1" "" "set variable z=1" | |
269 | ||
270 | send_gdb "print x && y && z\n" | |
271 | gdb_expect { | |
085dd6e6 | 272 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
273 | pass "print value of x && y && z (011)" |
274 | } | |
275 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (011) " } | |
276 | timeout { fail "(timeout) print value of x && y && z (011) " } | |
277 | } | |
278 | ||
279 | send_gdb "print x || y || z\n" | |
280 | gdb_expect { | |
085dd6e6 | 281 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
282 | pass "print value of x || y || z (011)" |
283 | } | |
284 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (011)" } | |
285 | timeout { fail "(timeout) print value of x || y || z (011) " } | |
286 | } | |
287 | ||
288 | ||
289 | gdb_test "set variable x=1" "" "set variable x=1" | |
290 | ||
291 | send_gdb "print x && y && z\n" | |
292 | gdb_expect { | |
085dd6e6 | 293 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
294 | pass "print value of x && y && z (111)" |
295 | } | |
296 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (111) " } | |
297 | timeout { fail "(timeout) print value of x && y && z (111) " } | |
298 | } | |
299 | ||
300 | send_gdb "print x || y || z\n" | |
301 | gdb_expect { | |
085dd6e6 | 302 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
303 | pass "print value of x || y || z (111)" |
304 | } | |
305 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (111)" } | |
306 | timeout { fail "(timeout) print value of x || y || z (111) " } | |
307 | } | |
308 | ||
309 | send_gdb "print !!x\n" | |
310 | gdb_expect { | |
085dd6e6 | 311 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
312 | pass "print value of !!x (1)" |
313 | } | |
314 | -re ".*$gdb_prompt $" { fail "print value of !!x (1)" } | |
315 | timeout { fail "(timeout) print value of !!x (1) " } | |
316 | } | |
317 | ||
318 | ||
319 | gdb_test "set variable z=0" "" "set variable z=0" | |
320 | ||
321 | send_gdb "print x && y && z\n" | |
322 | gdb_expect { | |
085dd6e6 | 323 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
324 | pass "print value of x && y && z (110)" |
325 | } | |
326 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (110) " } | |
327 | timeout { fail "(timeout) print value of x && y && z (110) " } | |
328 | } | |
329 | ||
330 | send_gdb "print x || y || z\n" | |
331 | gdb_expect { | |
085dd6e6 | 332 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
333 | pass "print value of x || y || z (110)" |
334 | } | |
335 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (110)" } | |
336 | timeout { fail "(timeout) print value of x || y || z (110) " } | |
337 | } | |
338 | ||
339 | ||
340 | ||
341 | ||
342 | gdb_test "set variable y=0" "" "set variable y=0" | |
343 | ||
344 | send_gdb "print x && y && z\n" | |
345 | gdb_expect { | |
085dd6e6 | 346 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
347 | pass "print value of x && y && z (100)" |
348 | } | |
349 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (100) " } | |
350 | timeout { fail "(timeout) print value of x && y && z (100) " } | |
351 | } | |
352 | ||
353 | send_gdb "print x || y || z\n" | |
354 | gdb_expect { | |
085dd6e6 | 355 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
356 | pass "print value of x || y || z (100)" |
357 | } | |
358 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (100)" } | |
359 | timeout { fail "(timeout) print value of x || y || z (100) " } | |
360 | } | |
361 | ||
362 | ||
363 | ||
364 | ||
365 | gdb_test "set variable z=1" "" "set variable z=1" | |
366 | ||
367 | send_gdb "print x && y && z\n" | |
368 | gdb_expect { | |
085dd6e6 | 369 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
370 | pass "print value of x && y && z (101)" |
371 | } | |
372 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (101) " } | |
373 | timeout { fail "(timeout) print value of x && y && z (101) " } | |
374 | } | |
375 | ||
376 | send_gdb "print x || y || z\n" | |
377 | gdb_expect { | |
085dd6e6 | 378 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
379 | pass "print value of x || y || z (101)" |
380 | } | |
381 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (101)" } | |
382 | timeout { fail "(timeout) print value of x || y || z (101) " } | |
383 | } | |
384 | ||
385 | ||
386 | gdb_test "set variable x=0" "" "set variable x=0" | |
387 | ||
388 | send_gdb "print x && y && z\n" | |
389 | gdb_expect { | |
085dd6e6 | 390 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
391 | pass "print value of x && y && z (001)" |
392 | } | |
393 | -re ".*$gdb_prompt $" { fail "print value of x && y && z (001) " } | |
394 | timeout { fail "(timeout) print value of x && y && z (001) " } | |
395 | } | |
396 | ||
397 | send_gdb "print x || y || z\n" | |
398 | gdb_expect { | |
085dd6e6 | 399 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
400 | pass "print value of x || y || z (001)" |
401 | } | |
402 | -re ".*$gdb_prompt $" { fail "print value of x || y || z (001)" } | |
403 | timeout { fail "(timeout) print value of x || y || z (001) " } | |
404 | } | |
405 | ||
406 | ||
407 | ||
408 | ||
409 | # test precedence of &&, || ,! | |
410 | ||
411 | ||
412 | send_gdb "print !x && y\n" | |
413 | gdb_expect { | |
085dd6e6 | 414 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
415 | pass "print value of !x && y (00)" |
416 | } | |
417 | -re ".*$gdb_prompt $" { fail "print value of !x && y (00)" } | |
418 | timeout { fail "(timeout) print value of !x && y (00) " } | |
419 | } | |
420 | ||
421 | ||
422 | gdb_test "set variable x=1" "" "set variable x=1" | |
423 | ||
424 | ||
425 | send_gdb "print !x && y\n" | |
426 | gdb_expect { | |
085dd6e6 | 427 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
428 | pass "print value of !x && y (10)" |
429 | } | |
430 | -re ".*$gdb_prompt $" { fail "print value of !x && y (10)" } | |
431 | timeout { fail "(timeout) print value of !x && y (10) " } | |
432 | } | |
433 | ||
434 | ||
435 | ||
436 | ||
437 | gdb_test "set variable y=1" "" "set variable y=1" | |
438 | ||
439 | send_gdb "print !x || y\n" | |
440 | gdb_expect { | |
085dd6e6 | 441 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
442 | pass "print value of !x || y (11)" |
443 | } | |
444 | -re ".*$gdb_prompt $" { fail "print value of !x || y (11)" } | |
445 | timeout { fail "(timeout) print value of !x || y (11) " } | |
446 | } | |
447 | ||
448 | ||
449 | gdb_test "set variable x=0" "" "set variable x=0" | |
450 | ||
451 | ||
452 | send_gdb "print !x || y\n" | |
453 | gdb_expect { | |
085dd6e6 | 454 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
455 | pass "print value of !x || y (01)" |
456 | } | |
457 | -re ".*$gdb_prompt $" { fail "print value of !x || y (01)" } | |
458 | timeout { fail "(timeout) print value of !x || y (01) " } | |
459 | } | |
460 | ||
461 | ||
462 | ||
463 | gdb_test "set variable x=1" "" "set variable x=1" | |
464 | gdb_test "set variable z=0" "" "set variable z=0" | |
465 | ||
466 | send_gdb "print x || y && z\n" | |
467 | gdb_expect { | |
085dd6e6 | 468 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
469 | pass "print value of x || y && z (110)" |
470 | } | |
471 | -re ".*$gdb_prompt $" { fail "print value of x || y && z (110)" } | |
472 | timeout { fail "(timeout) print value of x || y && z (110) " } | |
473 | } | |
474 | ||
475 | ||
476 | gdb_test "set variable y=0" "" "set variable y=0" | |
477 | ||
478 | ||
479 | send_gdb "print x || y && z\n" | |
480 | gdb_expect { | |
085dd6e6 | 481 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
482 | pass "print value of x || y && z (100)" |
483 | } | |
484 | -re ".*$gdb_prompt $" { fail "print value of x || y && z (100)" } | |
485 | timeout { fail "(timeout) print value of x || y && z (100) " } | |
486 | } | |
487 | ||
488 | ||
489 | ||
490 | gdb_test "set variable x=0" "" "set variable x=0" | |
491 | ||
492 | send_gdb "print x || !y && z\n" | |
493 | gdb_expect { | |
085dd6e6 | 494 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
495 | |
496 | gdb_test "set variable x=1" "" "set variable x=1" | |
497 | send_gdb "print x || !y && z\n" | |
498 | gdb_expect { | |
085dd6e6 | 499 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
500 | pass "print value of x || !y && z " |
501 | } | |
502 | -re ".*$gdb_prompt $" { fail "print value of x || !y && z" } | |
503 | timeout { fail "(timeout) print value of x || !y && z " } | |
504 | } | |
505 | } | |
506 | -re ".*$gdb_prompt $" { fail "print value of x || y && z " } | |
507 | timeout { fail "(timeout) print value of x || y && z " } | |
508 | } | |
509 | ||
510 | ||
511 | ||
512 | ||
513 | ||
514 | gdb_test "set variable x=1" "" "set variable x=1" | |
515 | gdb_test "set variable y=2" "" "set variable y=2" | |
516 | gdb_test "set variable w=3" "" "set variable w=3" | |
517 | gdb_test "set variable z=3" "" "set variable z=3" | |
518 | ||
519 | ||
520 | send_gdb "print x > y || w == z\n" | |
521 | gdb_expect { | |
085dd6e6 | 522 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
523 | pass "print value of x > y || w == z" |
524 | } | |
525 | -re ".*$gdb_prompt $" { fail "print value of x > y || w == z" } | |
526 | timeout { fail "(timeout) print value of x > y || w == z " } | |
527 | } | |
528 | ||
529 | ||
530 | gdb_test "set variable x=1" "" "set variable x=1" | |
531 | gdb_test "set variable y=2" "" "set variable y=2" | |
532 | gdb_test "set variable w=1" "" "set variable w=1" | |
533 | gdb_test "set variable z=3" "" "set variable z=3" | |
534 | ||
535 | ||
536 | send_gdb "print x >= y && w != z\n" | |
537 | gdb_expect { | |
085dd6e6 | 538 | -re ".*$false.*$gdb_prompt $" { |
c906108c SS |
539 | pass "print value of x >= y || w != z" |
540 | } | |
541 | -re ".*$gdb_prompt $" { fail "print value of x >= y || w != z" } | |
542 | timeout { fail "(timeout) print value of x >= y || w != z " } | |
543 | } | |
544 | ||
545 | ||
546 | ||
547 | gdb_test "set variable x=2" "" "set variable x=2" | |
548 | gdb_test "set variable y=2" "" "set variable y=2" | |
549 | gdb_test "set variable w=2" "" "set variable w=2" | |
550 | gdb_test "set variable z=3" "" "set variable z=3" | |
551 | ||
552 | ||
553 | send_gdb "print ! x > y || w + z\n" | |
554 | gdb_expect { | |
085dd6e6 | 555 | -re ".*$true.*$gdb_prompt $" { |
c906108c SS |
556 | pass "print value of x > y || w != z" |
557 | } | |
558 | -re ".*$gdb_prompt $" { fail "print value of x > y || w != z" } | |
559 | timeout { fail "(timeout) print value of x > y || w != z " } | |
560 | } | |
561 | ||
562 | ||
563 | ||
564 | ||
565 | ||
566 | ||
567 | ||
568 | ||
569 | ||
570 | ||
571 | ||
572 | ||
573 | ||
574 | ||
575 | ||
576 | ||
577 |