Skip to content

Commit 76e9c83

Browse files
committed
Remove now unnecessary stripParenLocal from C11 generic Cabs2cil
1 parent ddd59c1 commit 76e9c83

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/frontc/cabs2cil.ml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4860,16 +4860,16 @@ and doExp (asconst: bool) (* This expression is used as a constant *)
48604860
| _ -> true
48614861
| exception (Failure _) -> false
48624862
in
4863-
let (_, _, e_typ) = doExp false (stripParenLocal e) (AExp None) in (* TODO: why stripParenLocal? *)
4863+
let (_, _, e_typ) = doExp false e (AExp None) in
48644864
let al_compatible = List.filter (fun (at, _) -> typ_compatible e_typ (doOnlyType at JUSTBASE)) al_nondefault in
48654865

48664866
(* TODO: error when multiple compatible associations or defaults even when unused? *)
48674867

48684868
begin match al_compatible with
4869-
| [(_, ae)] -> doExp false (stripParenLocal ae) (AExp None) (* TODO: why stripParenLocal? *)
4869+
| [(_, ae)] -> doExp false ae (AExp None)
48704870
| [] ->
48714871
begin match al_default with
4872-
| [(_, ae)] -> doExp false (stripParenLocal ae) (AExp None) (* TODO: why stripParenLocal? *)
4872+
| [(_, ae)] -> doExp false ae (AExp None)
48734873
| [] -> E.s (error "No compatible associations or default in generic")
48744874
| _ -> E.s (error "Multiple defaults in generic")
48754875
end

0 commit comments

Comments
 (0)