[dhcwg] Any documentation for handling /32 IPv4 assignments from DHCP?

[Matthew Dempsky <[e-mail]>]

In dhcp-4.2.5-P1/client/scripts/linux, there's this code for adding
routes based on the Router (3) and Subnet Mask (1) options:

    for router in $new_routers; do
      if [ "x$new_subnet_mask" = "x255.255.255.255" ] ; then
        route add -host $router dev $interface
      fi
      route add default gw $router $metric_arg dev $interface
    done

Is this special case logic for subnet_mask==255.255.255.255 codified
anywhere?  I'm working on adding similar logic to OpenBSD's DHCP
client (so OpenBSD can connect to a network currently supported by ISC
DHCP on Linux), but I'm having trouble finding any authoritative
documentation explaining the correct behavior here.

In particular, ISC DHCP 4.2.5-P1 only adds the "dev" route for Router
(3), but I'm wondering if they should be added for Static Route (33)
and/or Classless Static Route Option (121) too?

Thanks