mirror of
https://git.proxmox.com/git/mirror_frr
synced 2025-05-25 22:00:41 +00:00
24 lines
285 B
Plaintext
24 lines
285 B
Plaintext
@@
|
|
identifier idx;
|
|
identifier argv;
|
|
identifier argc;
|
|
expression e1;
|
|
expression e2;
|
|
identifier I;
|
|
@@
|
|
|
|
(
|
|
- argv_find(argv, argc, e1, &idx);
|
|
if (
|
|
- idx
|
|
+ argv_find(argv, argc, e1, &idx)
|
|
)
|
|
{
|
|
e2;
|
|
}
|
|
|
|
|
- argv_find(argv, argc, e1, &idx);
|
|
... when != I = idx;
|
|
when strict
|
|
)
|