aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/eval/premature-examination.c
AgeCommit message (Collapse)AuthorFilesLines
2019-12-09fix premature examination of dereferenced objectLuc Van Oostenryck1-0/+27
in the fixes 696b243a5ae0 ("fix: evaluate_dereference() unexamined base type"), the pointer's examination was done prematurely, before the undereferenceable types are filtered out. This allows to examine the base abstract types when the expression was in fact not dereferenceable. Fix that by moving the examination to the top of the SYM_PTR's case since only pointers are concerned. Fixes: 696b243a5ae0 ("fix: evaluate_dereference() unexamined base type") Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>