blob: 6e76290456c547748a99edb478c6598c399accdf (
plain)
1
2
3
4
5
6
7
8
9
10
|
%warning "Good warning"
[warning push]
[warning -user]
%warning "Bad warning"
[warning pop]
%warning "Good warning"
[warning -user]
%warning "Bad warning"
[warning pop] ; should warn but reset all
%warning "Good warning"
|