Skip to content
Snippets Groups Projects
Commit add497d8 authored by David Bühler's avatar David Bühler Committed by Andre Maroneze
Browse files

[Eva] Eval_term: fixes a comment.

parent d5726d8d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/legacy/eval_terms.ml
+ 1
− 2
View file @ add497d8
......@@ -388,8 +388,7 @@ let infer_binop_res_type op targ =
| Lt | Gt | Le | Ge | Eq | Ne | LAnd | LOr ->
Cil.intType (* those operators always return a boolean *)
(* This function could probably be in Logic_utils. It computes [*tsets],
assuming that [tsets] has a pointer type. *)
(* Computes [*tsets], assuming that [tsets] has a pointer type. *)
let deref_tsets tsets = Cil.mkTermMem ~addr:tsets ~off:TNoOffset
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment