In using the PinMux Utility (Version 1.0.1), it appears the code generated for the Analog Comparator's output pin (C0o or C1o on the LM4F120H5QR) is configuring the output pin as an input by calling the GPIOPinTypeComparator() function, which is used to configure the input pins of the Analog Comparator.
In the Stellarisware Peripheral Driver Library, there does not appear to be an API function to specifically configure the output pin of an Analog Comparator. Instead, the GPIODirModeSet() and GPIOPadConfigSet() functions have to be used with the appropriate parameters to have the output of an Analog Comparator routed to its designated output pin.
Dan