// Tests the `$if bsd` family predicate, which should evaluate to true on
// any BSD-family host (macos, freebsd, openbsd, netbsd, dragonfly) and
// false on every other host.  Prior to the fix in
// vlib/v/ast/comptime_valid_idents.v, `$if bsd` was accepted by the parser
// but silently evaluated to false everywhere.

// host_is_bsd returns the runtime truth: whether this build targets a
// BSD-family OS.  Uses the exact-OS predicates, which are independently
// known to work.
fn host_is_bsd() bool {
	$if macos {
		return true
	}
	$if freebsd {
		return true
	}
	$if openbsd {
		return true
	}
	$if netbsd {
		return true
	}
	$if dragonfly {
		return true
	}
	return false
}

// comptime_bsd returns what `$if bsd` resolves to on this host.
fn comptime_bsd() bool {
	$if bsd {
		return true
	}
	return false
}

// comptime_not_bsd returns what `$if !bsd` resolves to on this host.
fn comptime_not_bsd() bool {
	$if !bsd {
		return true
	}
	return false
}

fn test_bsd_matches_exact_bsd_family_targets() {
	assert comptime_bsd() == host_is_bsd()
}

fn test_not_bsd_is_the_inverse_of_bsd() {
	assert comptime_not_bsd() == !comptime_bsd()
}

// An exact-OS predicate implies `bsd` on that OS.  This guards against a
// regression where `$if freebsd` and `$if bsd` could disagree on a FreeBSD
// build (for example if someone changed the is_bsd_target() list but not
// the comptime evaluator, or vice versa).
fn test_exact_bsd_os_implies_bsd() {
	$if macos {
		$if !bsd {
			assert false, '`\$if bsd` should be true on macos'
		}
	}
	$if freebsd {
		$if !bsd {
			assert false, '`\$if bsd` should be true on freebsd'
		}
	}
	$if openbsd {
		$if !bsd {
			assert false, '`\$if bsd` should be true on openbsd'
		}
	}
	$if netbsd {
		$if !bsd {
			assert false, '`\$if bsd` should be true on netbsd'
		}
	}
	$if dragonfly {
		$if !bsd {
			assert false, '`\$if bsd` should be true on dragonfly'
		}
	}
}

// Non-BSD hosts must see `$if bsd` as false.
fn test_non_bsd_os_implies_not_bsd() {
	$if linux {
		$if bsd {
			assert false, '`\$if bsd` should be false on linux'
		}
	}
	$if windows {
		$if bsd {
			assert false, '`\$if bsd` should be false on windows'
		}
	}
	$if solaris {
		$if bsd {
			assert false, '`\$if bsd` should be false on solaris'
		}
	}
	$if haiku {
		$if bsd {
			assert false, '`\$if bsd` should be false on haiku'
		}
	}
}

// `bsd` must compose with other comptime conditions the same as any
// other OS predicate.
fn test_bsd_in_compound_conditions() {
	mut linux_or_bsd := false
	$if linux || bsd {
		linux_or_bsd = true
	}
	// On any supported Unix-like host, at least one of these is true.
	$if linux {
		assert linux_or_bsd
	}
	$if bsd {
		assert linux_or_bsd
	}
	// On Windows, neither should be true.
	$if windows {
		assert !linux_or_bsd
	}

	mut bsd_and_not_windows := false
	$if bsd && !windows {
		bsd_and_not_windows = true
	}
	assert bsd_and_not_windows == comptime_bsd()
}