https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124648

--- Comment #5 from Ivan Lazaric <ivan.lazaric.gcc at gmail dot com> ---
On condition with an otherwise unused variable:
IMO the following is reasonable:
```cpp
// in body of main:
int process_count = ...;
int process_limit = ...;

auto launch_process = [&, &process_limit] pre(process_count < process_limit) {
  // ... forking ...
  ++process_count;
};
```

Notable is `process_limit` variable is never used in the body,
only in the precondition.

With this comment I am just noting a use case I had,
I am not suggesting any specific actions.

The `(void)process_limit` suggestion is nice.

Reply via email to