This factors out the various cases where a marker for an unknown value is
output by the -gnatR switches. No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2018-05-29 Eric Botcazou
gcc/ada/
* repinfo.adb (Write_Unknown_Val): New procedure.
(List_GCC_Exp
This removes the Truth_Andif_Expr and Truth_Orif_Expr codes for expressions
handled by the repinfo unit, since they are redundant with Truth_And_Expr
and Truth_Or_Expr respectively in this context. No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2018-05-28 Eric Botcazou