compcert: fix minor regression in desc
compcert: fix minor regression in desc

* and a casing nit

Closes #47198.

Signed-off-by: Dominyk Tiller <53e438f55903875d07efdd98a8aaf887e7208dd3@gmail.com>

dunn/homebrew,Chilledheart/homebrew,mobileoverlord/homebrew-1,sferik/homebrew,jamer/homebrew,kenips/homebrew,recruit-tech/homebrew,frodeaa/homebrew,jarrettmeyer/homebrew,cosmo0920/homebrew,tutumcloud/homebrew,hongkongkiwi/homebrew,SuperNEMO-DBD/cadfaelbrew,DoomHammer/linuxbrew,johanhammar/homebrew,gicmo/homebrew,influxdata/homebrew,Gasol/homebrew,Angeldude/linuxbrew,kenips/homebrew,TaylorMonacelli/homebrew,benjaminfrank/homebrew,getgauge/homebrew,emcrisostomo/homebrew,ExtremeMan/homebrew,sakra/homebrew,davydden/linuxbrew,mobileoverlord/homebrew-1,menivaitsi/homebrew,blogabe/homebrew,michaKFromParis/homebrew-sparks,brunchboy/homebrew,nandub/homebrew,zchee/homebrew,SuperNEMO-DBD/cadfaelbrew,youtux/homebrew,slyphon/homebrew,Homebrew/homebrew,gicmo/homebrew,esamson/homebrew,brunchboy/homebrew,ablyler/homebrew,polishgeeks/homebrew,scorphus/homebrew,Angeldude/linuxbrew,iandennismiller/homebrew,arnested/homebrew,chadcatlett/homebrew,booi/homebrew,ento/homebrew,princeofdarkness76/homebrew,hanxue/homebrew,iandennismiller/homebrew,SuperNEMO-DBD/cadfaelbrew,bigbes/homebrew,slyphon/homebrew,kodabb/homebrew,dalanmiller/homebrew,gawbul/homebrew,youtux/homebrew,theeternalsw0rd/homebrew,benjaminfrank/homebrew,OJFord/homebrew,recruit-tech/homebrew,knpwrs/homebrew,LinusU/homebrew,jconley/homebrew,decors/homebrew,zhipeng-jia/homebrew,hanxue/homebrew,tutumcloud/homebrew,Angeldude/linuxbrew,utzig/homebrew,SteveClement/homebrew,recruit-tech/homebrew,influxdata/homebrew,Red54/homebrew,sometimesfood/homebrew,reelsense/homebrew,lrascao/homebrew,saketkc/linuxbrew,dericed/homebrew,redpen-cc/homebrew,ybott/homebrew,nelstrom/homebrew,saketkc/linuxbrew,TaylorMonacelli/homebrew,davydden/linuxbrew,reelsense/homebrew,jsjohnst/homebrew,filcab/homebrew,johanhammar/homebrew,AlexejK/homebrew,tutumcloud/homebrew,eighthave/homebrew,drbenmorgan/linuxbrew,manphiz/homebrew,dgageot/homebrew,dplarson/homebrew,eighthave/homebrew,bigbes/homebrew,dplarson/homebrew,dericed/homebrew,Red54/homebrew,liamstask/homebrew,cprecioso/homebrew,alebcay/homebrew,influxdata/homebrew,3van/homebrew,mmizutani/homebrew,hyuni/homebrew,DoomHammer/linuxbrew,Asuranceturix/homebrew,hakamadare/homebrew,optikfluffel/homebrew,redpen-cc/homebrew,hyuni/homebrew,emcrisostomo/homebrew,cprecioso/homebrew,Homebrew/homebrew,afh/homebrew,Asuranceturix/homebrew,tschoonj/homebrew,davydden/linuxbrew,ExtremeMan/homebrew,nelstrom/homebrew,dongcarl/homebrew,dplarson/homebrew,totalvoidness/homebrew,quantumsteve/homebrew,retrography/homebrew,gnubila-france/linuxbrew,getgauge/homebrew,keith/homebrew,feelpp/homebrew,utzig/homebrew,Asuranceturix/homebrew,dutchcoders/homebrew,galaxy001/homebrew,adamliter/homebrew,jiashuw/homebrew,menivaitsi/homebrew,mactkg/homebrew,princeofdarkness76/homebrew,liamstask/homebrew,sakra/homebrew,ralic/homebrew,kevinastone/homebrew,influxdb/homebrew,bukzor/linuxbrew,galaxy001/homebrew,osimola/homebrew,haihappen/homebrew,Gasol/homebrew,elgertam/homebrew,redpen-cc/homebrew,eighthave/homebrew,josa42/homebrew,sakra/homebrew,haihappen/homebrew,pdxdan/homebrew,mmizutani/homebrew,skinny-framework/homebrew,kodabb/homebrew,mkrapp/homebrew,joshfriend/homebrew,yumitsu/homebrew,jab/homebrew,TaylorMonacelli/homebrew,dunn/homebrew,Homebrew/homebrew,jab/homebrew,BrewTestBot/homebrew,kodabb/homebrew,Linuxbrew/linuxbrew,reelsense/linuxbrew,sometimesfood/homebrew,OJFord/homebrew,knpwrs/homebrew,ebouaziz/linuxbrew,afh/homebrew,cosmo0920/homebrew,jamer/homebrew,ebouaziz/linuxbrew,Homebrew/linuxbrew,3van/homebrew,reelsense/linuxbrew,joshfriend/homebrew,gicmo/homebrew,drewwells/homebrew,cscetbon/homebrew,haihappen/homebrew,dutchcoders/homebrew,teslamint/homebrew,yazuuchi/homebrew,dalanmiller/homebrew,marcwebbie/homebrew,Chilledheart/homebrew,adamliter/homebrew,saketkc/linuxbrew,mkrapp/homebrew,gawbul/homebrew,emcrisostomo/homebrew,ear/homebrew,MartinDelille/homebrew,hyuni/homebrew,cprecioso/homebrew,ablyler/homebrew,dgageot/homebrew,scpeters/homebrew,getgauge/homebrew,esamson/homebrew,jsjohnst/homebrew,Angeldude/linuxbrew,dunn/homebrew,muellermartin/homebrew,josa42/homebrew,booi/homebrew,feelpp/homebrew,pcottle/homebrew,afh/homebrew,TaylorMonacelli/homebrew,sferik/homebrew,frodeaa/homebrew,jconley/homebrew,Red54/homebrew,ear/homebrew,danieroux/homebrew,apjanke/homebrew,skatsuta/homebrew,keith/homebrew,dutchcoders/homebrew,marcwebbie/homebrew,jamer/homebrew,apjanke/homebrew,cscetbon/homebrew,Gasol/homebrew,manphiz/homebrew,teslamint/homebrew,elgertam/homebrew,zchee/homebrew,dalanmiller/homebrew,jconley/homebrew,marcwebbie/homebrew,johanhammar/homebrew,iostat/homebrew2,feelpp/homebrew,booi/homebrew,jiashuw/homebrew,sferik/homebrew,kevinastone/homebrew,menivaitsi/homebrew,optikfluffel/homebrew,manphiz/homebrew,base10/homebrew,iostat/homebrew2,ryanfb/homebrew,3van/homebrew,hongkongkiwi/homebrew,galaxy001/homebrew,hongkongkiwi/homebrew,mmizutani/homebrew,hakamadare/homebrew,jamer/homebrew,MartinDelille/homebrew,pdxdan/homebrew,ryanfb/homebrew,teslamint/homebrew,SteveClement/homebrew,knpwrs/homebrew,deorth/homebrew,treyharris/homebrew,utzig/homebrew,kevinastone/homebrew,joshfriend/homebrew,muellermartin/homebrew,polishgeeks/homebrew,ebouaziz/linuxbrew,slyphon/homebrew,sometimesfood/homebrew,pcottle/homebrew,deorth/homebrew,pcottle/homebrew,galaxy001/homebrew,SuperNEMO-DBD/cadfaelbrew,AlexejK/homebrew,dickeyxxx/homebrew,ralic/homebrew,treyharris/homebrew,nandub/homebrew,iandennismiller/homebrew,bukzor/linuxbrew,influxdata/homebrew,reelsense/linuxbrew,ilovezfs/homebrew,zchee/homebrew,yumitsu/homebrew,ento/homebrew,mobileoverlord/homebrew-1,scorphus/homebrew,dongcarl/homebrew,scorphus/homebrew,chadcatlett/homebrew,zchee/homebrew,apjanke/homebrew,jarrettmeyer/homebrew,saketkc/linuxbrew,chadcatlett/homebrew,ento/homebrew,vigo/homebrew,pdxdan/homebrew,sjackman/linuxbrew,gawbul/homebrew,hakamadare/homebrew,elgertam/homebrew,DoomHammer/linuxbrew,dongcarl/homebrew,drewwells/homebrew,davydden/linuxbrew,dongcarl/homebrew,cscetbon/homebrew,yazuuchi/homebrew,ryanfb/homebrew,ilovezfs/homebrew,Chilledheart/homebrew,dickeyxxx/homebrew,tschoonj/homebrew,jsjohnst/homebrew,Homebrew/linuxbrew,drbenmorgan/linuxbrew,georgschoelly/homebrew,ablyler/homebrew,tschoonj/homebrew,LinusU/homebrew,hongkongkiwi/homebrew,base10/homebrew,dickeyxxx/homebrew,polishgeeks/homebrew,skinny-framework/homebrew,feelpp/homebrew,royhodgman/homebrew,hanxue/homebrew,thinker0/homebrew,michaKFromParis/homebrew-sparks,dickeyxxx/homebrew,nandub/homebrew,dgageot/homebrew,elyscape/homebrew,youtux/homebrew,decors/homebrew,optikfluffel/homebrew,nelstrom/homebrew,brunchboy/homebrew,quantumsteve/homebrew,pcottle/homebrew,ento/homebrew,ear/homebrew,esamson/homebrew,iandennismiller/homebrew,frodeaa/homebrew,base10/homebrew,jab/homebrew,arnested/homebrew,elyscape/homebrew,BrewTestBot/homebrew,SteveClement/homebrew,utzig/homebrew,scorphus/homebrew,MartinDelille/homebrew,skatsuta/homebrew,influxdb/homebrew,theeternalsw0rd/homebrew,tutumcloud/homebrew,jiashuw/homebrew,ralic/homebrew,mkrapp/homebrew,nelstrom/homebrew,keith/homebrew,elyscape/homebrew,reelsense/homebrew,eighthave/homebrew,manphiz/homebrew,bigbes/homebrew,slyphon/homebrew,blogabe/homebrew,pcottle/homebrew,dericed/homebrew,iostat/homebrew2,adamliter/homebrew,treyharris/homebrew,elyscape/homebrew,ralic/homebrew,dunn/homebrew,drbenmorgan/linuxbrew,MoSal/homebrew,youtux/homebrew,brunchboy/homebrew,optikfluffel/homebrew,miketheman/homebrew,princeofdarkness76/homebrew,lrascao/homebrew,dalanmiller/homebrew,georgschoelly/homebrew,muellermartin/homebrew,totalvoidness/homebrew,gnubila-france/linuxbrew,blogabe/homebrew,Asuranceturix/homebrew,influxdb/homebrew,nandub/homebrew,frodeaa/homebrew,vigo/homebrew,elgertam/homebrew,royhodgman/homebrew,MoSal/homebrew,ilovezfs/homebrew,dutchcoders/homebrew,gnubila-france/linuxbrew,3van/homebrew,drewwells/homebrew,polishgeeks/homebrew,Homebrew/linuxbrew,blogabe/homebrew,keith/homebrew,muellermartin/homebrew,ybott/homebrew,afh/homebrew,danieroux/homebrew,retrography/homebrew,adamliter/homebrew,sjackman/linuxbrew,reelsense/linuxbrew,esamson/homebrew,ExtremeMan/homebrew,miketheman/homebrew,hakamadare/homebrew,ilovezfs/homebrew,thinker0/homebrew,kevinastone/homebrew,osimola/homebrew,MoSal/homebrew,lrascao/homebrew,skinny-framework/homebrew,yazuuchi/homebrew,jconley/homebrew,teslamint/homebrew,SteveClement/homebrew,miketheman/homebrew,zhipeng-jia/homebrew,drewwells/homebrew,arnested/homebrew,yumitsu/homebrew,marcwebbie/homebrew,SteveClement/homebrew,AlexejK/homebrew,mobileoverlord/homebrew-1,dplarson/homebrew,recruit-tech/homebrew,cosmo0920/homebrew,totalvoidness/homebrew,danieroux/homebrew,mactkg/homebrew,ybott/homebrew,alebcay/homebrew,bukzor/linuxbrew,Homebrew/linuxbrew,gnubila-france/linuxbrew,dgageot/homebrew,ear/homebrew,jiashuw/homebrew,alebcay/homebrew,scpeters/homebrew,retrography/homebrew,hyuni/homebrew,benjaminfrank/homebrew,ryanfb/homebrew,Asuranceturix/homebrew,liamstask/homebrew,decors/homebrew,jarrettmeyer/homebrew,scpeters/homebrew,vigo/homebrew,retrography/homebrew,deorth/homebrew,BrewTestBot/homebrew,redpen-cc/homebrew,josa42/homebrew,miketheman/homebrew,kenips/homebrew,ybott/homebrew,royhodgman/homebrew,drbenmorgan/linuxbrew,jab/homebrew,kenips/homebrew,Linuxbrew/linuxbrew,MartinDelille/homebrew,johanhammar/homebrew,mmizutani/homebrew,filcab/homebrew,mactkg/homebrew,emcrisostomo/homebrew,OJFord/homebrew,zhipeng-jia/homebrew,BrewTestBot/homebrew,thinker0/homebrew,knpwrs/homebrew,thinker0/homebrew,tschoonj/homebrew,base10/homebrew,dericed/homebrew,apjanke/homebrew,mactkg/homebrew,danieroux/homebrew,sferik/homebrew,decors/homebrew,theeternalsw0rd/homebrew,OJFord/homebrew,benjaminfrank/homebrew,zhipeng-jia/homebrew,LinusU/homebrew,Linuxbrew/linuxbrew,iostat/homebrew2,georgschoelly/homebrew,LinusU/homebrew,gicmo/homebrew,osimola/homebrew,kodabb/homebrew,skatsuta/homebrew,michaKFromParis/homebrew-sparks,vigo/homebrew,sjackman/linuxbrew,jarrettmeyer/homebrew,royhodgman/homebrew,menivaitsi/homebrew,jsjohnst/homebrew,ablyler/homebrew,sjackman/linuxbrew,sakra/homebrew,bigbes/homebrew,haihappen/homebrew,alebcay/homebrew,quantumsteve/homebrew,DoomHammer/linuxbrew,totalvoidness/homebrew,arnested/homebrew,pdxdan/homebrew,getgauge/homebrew,georgschoelly/homebrew,yazuuchi/homebrew,skinny-framework/homebrew,skatsuta/homebrew,sometimesfood/homebrew,cosmo0920/homebrew,ebouaziz/linuxbrew,treyharris/homebrew,influxdb/homebrew,MoSal/homebrew,hanxue/homebrew,liamstask/homebrew,osimola/homebrew,AlexejK/homebrew,bukzor/linuxbrew,cprecioso/homebrew,theeternalsw0rd/homebrew,filcab/homebrew,quantumsteve/homebrew,Red54/homebrew,reelsense/homebrew,Chilledheart/homebrew,princeofdarkness76/homebrew,Homebrew/homebrew,scpeters/homebrew,ExtremeMan/homebrew,Gasol/homebrew,filcab/homebrew,Linuxbrew/linuxbrew