xref: /freebsd/sys/contrib/dev/acpica/compiler/aslanalyze.c (revision b5daf675efc746611c7cfcd1fa474b8905064c4b)
1 /******************************************************************************
2  *
3  * Module Name: aslanalyze.c - Support functions for parse tree walks
4  *
5  *****************************************************************************/
6 
7 /******************************************************************************
8  *
9  * 1. Copyright Notice
10  *
11  * Some or all of this work - Copyright (c) 1999 - 2025, Intel Corp.
12  * All rights reserved.
13  *
14  * 2. License
15  *
16  * 2.1. This is your license from Intel Corp. under its intellectual property
17  * rights. You may have additional license terms from the party that provided
18  * you this software, covering your right to use that party's intellectual
19  * property rights.
20  *
21  * 2.2. Intel grants, free of charge, to any person ("Licensee") obtaining a
22  * copy of the source code appearing in this file ("Covered Code") an
23  * irrevocable, perpetual, worldwide license under Intel's copyrights in the
24  * base code distributed originally by Intel ("Original Intel Code") to copy,
25  * make derivatives, distribute, use and display any portion of the Covered
26  * Code in any form, with the right to sublicense such rights; and
27  *
28  * 2.3. Intel grants Licensee a non-exclusive and non-transferable patent
29  * license (with the right to sublicense), under only those claims of Intel
30  * patents that are infringed by the Original Intel Code, to make, use, sell,
31  * offer to sell, and import the Covered Code and derivative works thereof
32  * solely to the minimum extent necessary to exercise the above copyright
33  * license, and in no event shall the patent license extend to any additions
34  * to or modifications of the Original Intel Code. No other license or right
35  * is granted directly or by implication, estoppel or otherwise;
36  *
37  * The above copyright and patent license is granted only if the following
38  * conditions are met:
39  *
40  * 3. Conditions
41  *
42  * 3.1. Redistribution of Source with Rights to Further Distribute Source.
43  * Redistribution of source code of any substantial portion of the Covered
44  * Code or modification with rights to further distribute source must include
45  * the above Copyright Notice, the above License, this list of Conditions,
46  * and the following Disclaimer and Export Compliance provision. In addition,
47  * Licensee must cause all Covered Code to which Licensee contributes to
48  * contain a file documenting the changes Licensee made to create that Covered
49  * Code and the date of any change. Licensee must include in that file the
50  * documentation of any changes made by any predecessor Licensee. Licensee
51  * must include a prominent statement that the modification is derived,
52  * directly or indirectly, from Original Intel Code.
53  *
54  * 3.2. Redistribution of Source with no Rights to Further Distribute Source.
55  * Redistribution of source code of any substantial portion of the Covered
56  * Code or modification without rights to further distribute source must
57  * include the following Disclaimer and Export Compliance provision in the
58  * documentation and/or other materials provided with distribution. In
59  * addition, Licensee may not authorize further sublicense of source of any
60  * portion of the Covered Code, and must include terms to the effect that the
61  * license from Licensee to its licensee is limited to the intellectual
62  * property embodied in the software Licensee provides to its licensee, and
63  * not to intellectual property embodied in modifications its licensee may
64  * make.
65  *
66  * 3.3. Redistribution of Executable. Redistribution in executable form of any
67  * substantial portion of the Covered Code or modification must reproduce the
68  * above Copyright Notice, and the following Disclaimer and Export Compliance
69  * provision in the documentation and/or other materials provided with the
70  * distribution.
71  *
72  * 3.4. Intel retains all right, title, and interest in and to the Original
73  * Intel Code.
74  *
75  * 3.5. Neither the name Intel nor any other trademark owned or controlled by
76  * Intel shall be used in advertising or otherwise to promote the sale, use or
77  * other dealings in products derived from or relating to the Covered Code
78  * without prior written authorization from Intel.
79  *
80  * 4. Disclaimer and Export Compliance
81  *
82  * 4.1. INTEL MAKES NO WARRANTY OF ANY KIND REGARDING ANY SOFTWARE PROVIDED
83  * HERE. ANY SOFTWARE ORIGINATING FROM INTEL OR DERIVED FROM INTEL SOFTWARE
84  * IS PROVIDED "AS IS," AND INTEL WILL NOT PROVIDE ANY SUPPORT, ASSISTANCE,
85  * INSTALLATION, TRAINING OR OTHER SERVICES. INTEL WILL NOT PROVIDE ANY
86  * UPDATES, ENHANCEMENTS OR EXTENSIONS. INTEL SPECIFICALLY DISCLAIMS ANY
87  * IMPLIED WARRANTIES OF MERCHANTABILITY, NONINFRINGEMENT AND FITNESS FOR A
88  * PARTICULAR PURPOSE.
89  *
90  * 4.2. IN NO EVENT SHALL INTEL HAVE ANY LIABILITY TO LICENSEE, ITS LICENSEES
91  * OR ANY OTHER THIRD PARTY, FOR ANY LOST PROFITS, LOST DATA, LOSS OF USE OR
92  * COSTS OF PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES, OR FOR ANY INDIRECT,
93  * SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THIS AGREEMENT, UNDER ANY
94  * CAUSE OF ACTION OR THEORY OF LIABILITY, AND IRRESPECTIVE OF WHETHER INTEL
95  * HAS ADVANCE NOTICE OF THE POSSIBILITY OF SUCH DAMAGES. THESE LIMITATIONS
96  * SHALL APPLY NOTWITHSTANDING THE FAILURE OF THE ESSENTIAL PURPOSE OF ANY
97  * LIMITED REMEDY.
98  *
99  * 4.3. Licensee shall not export, either directly or indirectly, any of this
100  * software or system incorporating such software without first obtaining any
101  * required license or other approval from the U. S. Department of Commerce or
102  * any other agency or department of the United States Government. In the
103  * event Licensee exports any such software from the United States or
104  * re-exports any such software from a foreign destination, Licensee shall
105  * ensure that the distribution and export/re-export of the software is in
106  * compliance with all laws, regulations, orders, or other restrictions of the
107  * U.S. Export Administration Regulations. Licensee agrees that neither it nor
108  * any of its subsidiaries will export/re-export any technical data, process,
109  * software, or service, directly or indirectly, to any country for which the
110  * United States government or any agency thereof requires an export license,
111  * other governmental approval, or letter of assurance, without first obtaining
112  * such license, approval or letter.
113  *
114  *****************************************************************************
115  *
116  * Alternatively, you may choose to be licensed under the terms of the
117  * following license:
118  *
119  * Redistribution and use in source and binary forms, with or without
120  * modification, are permitted provided that the following conditions
121  * are met:
122  * 1. Redistributions of source code must retain the above copyright
123  *    notice, this list of conditions, and the following disclaimer,
124  *    without modification.
125  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
126  *    substantially similar to the "NO WARRANTY" disclaimer below
127  *    ("Disclaimer") and any redistribution must be conditioned upon
128  *    including a substantially similar Disclaimer requirement for further
129  *    binary redistribution.
130  * 3. Neither the names of the above-listed copyright holders nor the names
131  *    of any contributors may be used to endorse or promote products derived
132  *    from this software without specific prior written permission.
133  *
134  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
135  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
136  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
137  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
138  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
139  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
140  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
141  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
142  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
143  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
144  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
145  *
146  * Alternatively, you may choose to be licensed under the terms of the
147  * GNU General Public License ("GPL") version 2 as published by the Free
148  * Software Foundation.
149  *
150  *****************************************************************************/
151 
152 #include <contrib/dev/acpica/compiler/aslcompiler.h>
153 #include "aslcompiler.y.h"
154 #include <contrib/dev/acpica/include/acnamesp.h>
155 #include <string.h>
156 
157 
158 #define _COMPONENT          ACPI_COMPILER
159         ACPI_MODULE_NAME    ("aslanalyze")
160 
161 
162 /* Local Prototypes */
163 
164 static ACPI_STATUS
165 ApDeviceSubtreeWalk (
166     ACPI_PARSE_OBJECT       *Op,
167     UINT32                  Level,
168     void                    *Context);
169 
170 
171 /*******************************************************************************
172  *
173  * FUNCTION:    AnIsInternalMethod
174  *
175  * PARAMETERS:  Op                  - Current op
176  *
177  * RETURN:      Boolean
178  *
179  * DESCRIPTION: Check for an internal control method.
180  *
181  ******************************************************************************/
182 
183 BOOLEAN
AnIsInternalMethod(ACPI_PARSE_OBJECT * Op)184 AnIsInternalMethod (
185     ACPI_PARSE_OBJECT       *Op)
186 {
187 
188     if ((!strcmp (Op->Asl.ExternalName, "\\_OSI")) ||
189         (!strcmp (Op->Asl.ExternalName, "_OSI")))
190     {
191         return (TRUE);
192     }
193 
194     return (FALSE);
195 }
196 
197 
198 /*******************************************************************************
199  *
200  * FUNCTION:    AnGetInternalMethodReturnType
201  *
202  * PARAMETERS:  Op                  - Current op
203  *
204  * RETURN:      Btype
205  *
206  * DESCRIPTION: Get the return type of an internal method
207  *
208  ******************************************************************************/
209 
210 UINT32
AnGetInternalMethodReturnType(ACPI_PARSE_OBJECT * Op)211 AnGetInternalMethodReturnType (
212     ACPI_PARSE_OBJECT       *Op)
213 {
214 
215     if ((!strcmp (Op->Asl.ExternalName, "\\_OSI")) ||
216         (!strcmp (Op->Asl.ExternalName, "_OSI")))
217     {
218         return (ACPI_BTYPE_STRING);
219     }
220 
221     return (0);
222 }
223 
224 
225 /*******************************************************************************
226  *
227  * FUNCTION:    AnCheckId
228  *
229  * PARAMETERS:  Op                  - Current parse op
230  *              Type                - HID or CID
231  *
232  * RETURN:      None
233  *
234  * DESCRIPTION: Perform various checks on _HID and _CID strings. Only limited
235  *              checks can be performed on _CID strings.
236  *
237  ******************************************************************************/
238 
239 void
AnCheckId(ACPI_PARSE_OBJECT * Op,ACPI_NAME Type)240 AnCheckId (
241     ACPI_PARSE_OBJECT       *Op,
242     ACPI_NAME               Type)
243 {
244     UINT32                  i;
245     ACPI_SIZE               Length;
246 
247 
248     /* Only care about string versions of _HID/_CID (integers are legal) */
249 
250     if (Op->Asl.ParseOpcode != PARSEOP_STRING_LITERAL)
251     {
252         return;
253     }
254 
255     /* For both _HID and _CID, the string must be non-null */
256 
257     Length = strlen (Op->Asl.Value.String);
258     if (!Length)
259     {
260         AslError (ASL_ERROR, ASL_MSG_NULL_STRING, Op, NULL);
261         return;
262     }
263 
264     /*
265      * One of the things we want to catch here is the use of a leading
266      * asterisk in the string -- an odd construct that certain platform
267      * manufacturers are fond of. Technically, a leading asterisk is OK
268      * for _CID, but a valid use of this has not been seen.
269      */
270     if (*Op->Asl.Value.String == '*')
271     {
272         AslError (ASL_ERROR, ASL_MSG_LEADING_ASTERISK,
273             Op, Op->Asl.Value.String);
274         return;
275     }
276 
277     /* _CID strings are bus-specific, no more checks can be performed */
278 
279     if (Type == ASL_TYPE_CID)
280     {
281         return;
282     }
283 
284     /* For _HID, all characters must be alphanumeric */
285 
286     for (i = 0; Op->Asl.Value.String[i]; i++)
287     {
288         if (!isalnum ((int) Op->Asl.Value.String[i]))
289         {
290             AslError (ASL_ERROR, ASL_MSG_ALPHANUMERIC_STRING,
291                 Op, Op->Asl.Value.String);
292             return;
293         }
294     }
295 
296     /*
297      * _HID String must be one of these forms:
298      *
299      * "AAA####"    A is an uppercase letter and # is a hex digit
300      * "ACPI####"   # is a hex digit
301      * "NNNN####"   N is an uppercase letter or decimal digit (0-9)
302      *              # is a hex digit (ACPI 5.0)
303      */
304     if ((Length < 7) || (Length > 8))
305     {
306         AslError (ASL_ERROR, ASL_MSG_HID_LENGTH,
307             Op, Op->Asl.Value.String);
308         return;
309     }
310 
311     /* _HID Length is valid (7 or 8), now check prefix (first 3 or 4 chars) */
312 
313     if (Length == 7)
314     {
315         /* AAA####: Ensure the alphabetic prefix is all uppercase */
316 
317         for (i = 0; i < 3; i++)
318         {
319             if (!isupper ((int) Op->Asl.Value.String[i]))
320             {
321                 AslError (ASL_ERROR, ASL_MSG_UPPER_CASE,
322                     Op, &Op->Asl.Value.String[i]);
323                 return;
324             }
325         }
326     }
327     else /* Length == 8 */
328     {
329         /*
330          * ACPI#### or NNNN####:
331          * Ensure the prefix contains only uppercase alpha or decimal digits
332          */
333         for (i = 0; i < 4; i++)
334         {
335             if (!isupper ((int) Op->Asl.Value.String[i]) &&
336                 !isdigit ((int) Op->Asl.Value.String[i]))
337             {
338                 AslError (ASL_ERROR, ASL_MSG_HID_PREFIX,
339                     Op, &Op->Asl.Value.String[i]);
340                 return;
341             }
342         }
343     }
344 
345     /* Remaining characters (suffix) must be hex digits */
346 
347     for (; i < Length; i++)
348     {
349         if (!isxdigit ((int) Op->Asl.Value.String[i]))
350         {
351             AslError (ASL_ERROR, ASL_MSG_HID_SUFFIX,
352                 Op, &Op->Asl.Value.String[i]);
353             break;
354         }
355     }
356 }
357 
358 
359 /*******************************************************************************
360  *
361  * FUNCTION:    AnLastStatementIsReturn
362  *
363  * PARAMETERS:  Op                  - A method parse node
364  *
365  * RETURN:      TRUE if last statement is an ASL RETURN. False otherwise
366  *
367  * DESCRIPTION: Walk down the list of top level statements within a method
368  *              to find the last one. Check if that last statement is in
369  *              fact a RETURN statement.
370  *
371  ******************************************************************************/
372 
373 BOOLEAN
AnLastStatementIsReturn(ACPI_PARSE_OBJECT * Op)374 AnLastStatementIsReturn (
375     ACPI_PARSE_OBJECT       *Op)
376 {
377     ACPI_PARSE_OBJECT       *Next;
378 
379 
380     /* Check if last statement is a return */
381 
382     Next = ASL_GET_CHILD_NODE (Op);
383     while (Next)
384     {
385         if ((!Next->Asl.Next) &&
386             (Next->Asl.ParseOpcode == PARSEOP_RETURN))
387         {
388             return (TRUE);
389         }
390 
391         Next = ASL_GET_PEER_NODE (Next);
392     }
393 
394     return (FALSE);
395 }
396 
397 
398 /*******************************************************************************
399  *
400  * FUNCTION:    AnCheckMethodReturnValue
401  *
402  * PARAMETERS:  Op                  - Parent
403  *              OpInfo              - Parent info
404  *              ArgOp               - Method invocation op
405  *              RequiredBtypes      - What caller requires
406  *              ThisNodeBtype       - What this node returns (if anything)
407  *
408  * RETURN:      None
409  *
410  * DESCRIPTION: Check a method invocation for 1) A return value and if it does
411  *              in fact return a value, 2) check the type of the return value.
412  *
413  ******************************************************************************/
414 
415 void
AnCheckMethodReturnValue(ACPI_PARSE_OBJECT * Op,const ACPI_OPCODE_INFO * OpInfo,ACPI_PARSE_OBJECT * ArgOp,UINT32 RequiredBtypes,UINT32 ThisNodeBtype)416 AnCheckMethodReturnValue (
417     ACPI_PARSE_OBJECT       *Op,
418     const ACPI_OPCODE_INFO  *OpInfo,
419     ACPI_PARSE_OBJECT       *ArgOp,
420     UINT32                  RequiredBtypes,
421     UINT32                  ThisNodeBtype)
422 {
423     ACPI_PARSE_OBJECT       *OwningOp;
424     ACPI_NAMESPACE_NODE     *Node;
425     char                    *ExternalPath;
426 
427 
428     Node = ArgOp->Asl.Node;
429 
430     if (!Node)
431     {
432         /* No error message, this can happen and is OK */
433 
434         return;
435     }
436 
437     /* Examine the parent op of this method */
438 
439     OwningOp = Node->Op;
440     ExternalPath = AcpiNsGetNormalizedPathname (Node, TRUE);
441 
442     if (OwningOp->Asl.CompileFlags & OP_METHOD_NO_RETVAL)
443     {
444         /* Method NEVER returns a value */
445 
446         AslError (ASL_ERROR, ASL_MSG_NO_RETVAL, Op, ExternalPath);
447     }
448     else if (OwningOp->Asl.CompileFlags & OP_METHOD_SOME_NO_RETVAL)
449     {
450         /* Method SOMETIMES returns a value, SOMETIMES not */
451 
452         AslError (ASL_WARNING, ASL_MSG_SOME_NO_RETVAL, Op, ExternalPath);
453     }
454     else if (!(ThisNodeBtype & RequiredBtypes))
455     {
456         /* Method returns a value, but the type is wrong */
457 
458         AnFormatBtype (AslGbl_StringBuffer, ThisNodeBtype);
459         AnFormatBtype (AslGbl_StringBuffer2, RequiredBtypes);
460 
461         /*
462          * The case where the method does not return any value at all
463          * was already handled in the namespace cross reference
464          * -- Only issue an error if the method in fact returns a value,
465          * but it is of the wrong type
466          */
467         if (ThisNodeBtype != 0)
468         {
469             sprintf (AslGbl_MsgBuffer,
470                 "Method returns [%s], %s operator requires [%s]",
471                 AslGbl_StringBuffer, OpInfo->Name, AslGbl_StringBuffer2);
472 
473             AslError (ASL_WARNING, ASL_MSG_INVALID_TYPE, ArgOp, AslGbl_MsgBuffer);
474         }
475     }
476 
477     if (ExternalPath)
478     {
479         ACPI_FREE (ExternalPath);
480     }
481 }
482 
483 
484 /*******************************************************************************
485  *
486  * FUNCTION:    AnIsResultUsed
487  *
488  * PARAMETERS:  Op                  - Parent op for the operator
489  *
490  * RETURN:      TRUE if result from this operation is actually consumed
491  *
492  * DESCRIPTION: Determine if the function result value from an operator is
493  *              used.
494  *
495  ******************************************************************************/
496 
497 BOOLEAN
AnIsResultUsed(ACPI_PARSE_OBJECT * Op)498 AnIsResultUsed (
499     ACPI_PARSE_OBJECT       *Op)
500 {
501     ACPI_PARSE_OBJECT       *Parent;
502 
503 
504     switch (Op->Asl.ParseOpcode)
505     {
506     case PARSEOP_INCREMENT:
507     case PARSEOP_DECREMENT:
508 
509         /* These are standalone operators, no return value */
510 
511         return (TRUE);
512 
513     default:
514 
515         break;
516     }
517 
518     /* Examine parent to determine if the return value is used */
519 
520     Parent = Op->Asl.Parent;
521     switch (Parent->Asl.ParseOpcode)
522     {
523     /* If/While - check if the operator is the predicate */
524 
525     case PARSEOP_IF:
526     case PARSEOP_WHILE:
527 
528         /* First child is the predicate */
529 
530         if (Parent->Asl.Child == Op)
531         {
532             return (TRUE);
533         }
534 
535         return (FALSE);
536 
537     /* Not used if one of these is the parent */
538 
539     case PARSEOP_METHOD:
540     case PARSEOP_DEFINITION_BLOCK:
541     case PARSEOP_ELSE:
542 
543         return (FALSE);
544 
545     default:
546 
547         /* Any other type of parent means that the result is used */
548 
549         return (TRUE);
550     }
551 }
552 
553 
554 /*******************************************************************************
555  *
556  * FUNCTION:    ApCheckForGpeNameConflict
557  *
558  * PARAMETERS:  Op                  - Current parse op
559  *
560  * RETURN:      None
561  *
562  * DESCRIPTION: Check for a conflict between GPE names within this scope.
563  *              Conflict means two GPE names with the same GPE number, but
564  *              different types -- such as _L1C and _E1C.
565  *
566  ******************************************************************************/
567 
568 void
ApCheckForGpeNameConflict(ACPI_PARSE_OBJECT * Op)569 ApCheckForGpeNameConflict (
570     ACPI_PARSE_OBJECT       *Op)
571 {
572     ACPI_PARSE_OBJECT       *NextOp;
573     UINT32                  GpeNumber;
574     char                    Name[ACPI_NAMESEG_SIZE + 1];
575     char                    Target[ACPI_NAMESEG_SIZE] ACPI_NONSTRING;
576 
577 
578     /**
579      * Need a null-terminated string version of NameSeg
580      *
581      * NOTE: during a review on Name[ACPI_NAMESEG_SIZE + 1] having an extra
582      *       byte[1], compiler testing exhibited a difference in behavior between
583      *       GCC and Clang[2] (at least; MSVC may also exhibit the same) in
584      *       how optimization is done. The extra byte is needed to ensure
585      *       the signature does not get mangled, subsequently avoiding
586      *       GpeNumber being a completely different return value from strtoul.
587      *
588      *       [1] https://github.com/acpica/acpica/pull/1019#discussion_r2058687704
589      *       [2] https://github.com/acpica/acpica/pull/1019#discussion_r2061953039
590      */
591 
592     ACPI_MOVE_32_TO_32 (Name, Op->Asl.NameSeg);
593     Name[ACPI_NAMESEG_SIZE] = 0;
594 
595     /*
596      * For a GPE method:
597      * 1st char must be underscore
598      * 2nd char must be L or E
599      * 3rd/4th chars must be a hex number
600      */
601     if ((Name[0] != '_') ||
602        ((Name[1] != 'L') && (Name[1] != 'E')))
603     {
604         return;
605     }
606 
607     /* Verify 3rd/4th chars are a valid hex value */
608 
609     GpeNumber = strtoul (&Name[2], NULL, 16);
610     if (GpeNumber == ACPI_UINT32_MAX)
611     {
612         return;
613     }
614 
615     /*
616      * We are now sure we have an _Lxx or _Exx.
617      * Create the target name that would cause collision (Flip E/L)
618      */
619     ACPI_MOVE_32_TO_32 (Target, Name);
620 
621     /* Inject opposite letter ("L" versus "E") */
622 
623     if (Name[1] == 'L')
624     {
625         Target[1] = 'E';
626     }
627     else /* Name[1] == 'E' */
628     {
629         Target[1] = 'L';
630     }
631 
632     /* Search all peers (objects within this scope) for target match */
633 
634     NextOp = Op->Asl.Next;
635     while (NextOp)
636     {
637         /*
638          * We mostly care about methods, but check Name() constructs also,
639          * even though they will get another error for not being a method.
640          * All GPE names must be defined as control methods.
641          */
642         if ((NextOp->Asl.ParseOpcode == PARSEOP_METHOD) ||
643             (NextOp->Asl.ParseOpcode == PARSEOP_NAME))
644         {
645             if (ACPI_COMPARE_NAMESEG (Target, NextOp->Asl.NameSeg))
646             {
647                 /* Found both _Exy and _Lxy in the same scope, error */
648 
649                 AslError (ASL_ERROR, ASL_MSG_GPE_NAME_CONFLICT, NextOp,
650                     Name);
651                 return;
652             }
653         }
654 
655         NextOp = NextOp->Asl.Next;
656     }
657 
658     /* OK, no conflict found */
659 
660     return;
661 }
662 
663 
664 /*******************************************************************************
665  *
666  * FUNCTION:    ApCheckRegMethod
667  *
668  * PARAMETERS:  Op                  - Current parse op
669  *
670  * RETURN:      None
671  *
672  * DESCRIPTION: Ensure that a _REG method has a corresponding Operation
673  *              Region declaration within the same scope. Note: _REG is defined
674  *              to have two arguments and must therefore be defined as a
675  *              control method.
676  *
677  ******************************************************************************/
678 
679 void
ApCheckRegMethod(ACPI_PARSE_OBJECT * Op)680 ApCheckRegMethod (
681     ACPI_PARSE_OBJECT       *Op)
682 {
683     ACPI_PARSE_OBJECT       *Next;
684     ACPI_PARSE_OBJECT       *Parent;
685 
686 
687     /* We are only interested in _REG methods */
688 
689     if (!ACPI_COMPARE_NAMESEG (METHOD_NAME__REG, &Op->Asl.NameSeg))
690     {
691         return;
692     }
693 
694     /* Get the start of the current scope */
695 
696     Parent = Op->Asl.Parent;
697     Next = Parent->Asl.Child;
698 
699     /* Search entire scope for an operation region declaration */
700 
701     while (Next)
702     {
703         if (Next->Asl.ParseOpcode == PARSEOP_OPERATIONREGION)
704         {
705             return; /* Found region, OK */
706         }
707 
708         Next = Next->Asl.Next;
709     }
710 
711     /* No region found, issue warning */
712 
713     AslError (ASL_WARNING, ASL_MSG_NO_REGION, Op, NULL);
714 }
715 
716 
717 /*******************************************************************************
718  *
719  * FUNCTION:    ApFindNameInDeviceTree
720  *
721  * PARAMETERS:  Name                - Name to search for
722  *              Op                  - Current parse op
723  *
724  * RETURN:      TRUE if name found in the same scope as Op.
725  *
726  * DESCRIPTION: Determine if a name appears in the same scope as Op, as either
727  *              a Method() or a Name(). "Same scope" can mean under an If or
728  *              Else statement.
729  *
730  * NOTE: Detects _HID/_ADR in this type of construct (legal in ACPI 6.1+)
731  *
732  * Scope (\_SB.PCI0)
733  * {
734  *     Device (I2C0)
735  *     {
736  *         If (SMD0 != 4) {
737  *             Name (_HID, "INT3442")
738  *         } Else {
739  *             Name (_ADR, 0x400)
740  *         }
741  *     }
742  * }
743  ******************************************************************************/
744 
745 BOOLEAN
ApFindNameInDeviceTree(char * Name,ACPI_PARSE_OBJECT * Op)746 ApFindNameInDeviceTree (
747     char                    *Name,
748     ACPI_PARSE_OBJECT       *Op)
749 {
750     ACPI_STATUS             Status;
751 
752 
753     Status = TrWalkParseTree (Op, ASL_WALK_VISIT_DOWNWARD,
754         ApDeviceSubtreeWalk, NULL, Name);
755 
756     if (Status == AE_CTRL_TRUE)
757     {
758         return (TRUE);  /* Found a match */
759     }
760 
761     return (FALSE);
762 }
763 
764 
765 /* Callback function for interface above */
766 
767 static ACPI_STATUS
ApDeviceSubtreeWalk(ACPI_PARSE_OBJECT * Op,UINT32 Level,void * Context)768 ApDeviceSubtreeWalk (
769     ACPI_PARSE_OBJECT       *Op,
770     UINT32                  Level,
771     void                    *Context)
772 {
773     char                    *Name = ACPI_CAST_PTR (char, Context);
774 
775 
776     switch (Op->Asl.ParseOpcode)
777     {
778     case PARSEOP_DEVICE:
779 
780         /* Level 0 is the starting device, ignore it */
781 
782         if (Level > 0)
783         {
784             /* Ignore sub-devices */
785 
786             return (AE_CTRL_DEPTH);
787         }
788         break;
789 
790     case PARSEOP_NAME:
791     case PARSEOP_METHOD:
792 
793         /* These are what we are looking for */
794 
795         if (ACPI_COMPARE_NAMESEG (Name, Op->Asl.NameSeg))
796         {
797             return (AE_CTRL_TRUE);
798         }
799         return (AE_CTRL_DEPTH);
800 
801     case PARSEOP_SCOPE:
802     case PARSEOP_FIELD:
803     case PARSEOP_OPERATIONREGION:
804 
805         /*
806          * We want to ignore these, because either they can be large
807          * subtrees or open a scope to somewhere else.
808          */
809         return (AE_CTRL_DEPTH);
810 
811     default:
812         break;
813     }
814 
815     return (AE_OK);
816 }
817 
818 
819 /*******************************************************************************
820  *
821  * FUNCTION:    ApFindNameInScope
822  *
823  * PARAMETERS:  Name                - Name to search for
824  *              Op                  - Current parse op
825  *
826  * RETURN:      TRUE if name found in the same scope as Op.
827  *
828  * DESCRIPTION: Determine if a name appears in the same scope as Op, as either
829  *              a Method() or a Name().
830  *
831  ******************************************************************************/
832 
833 BOOLEAN
ApFindNameInScope(char * Name,ACPI_PARSE_OBJECT * Op)834 ApFindNameInScope (
835     char                    *Name,
836     ACPI_PARSE_OBJECT       *Op)
837 {
838     ACPI_PARSE_OBJECT       *Next;
839     ACPI_PARSE_OBJECT       *Parent;
840 
841 
842     /* Get the start of the current scope */
843 
844     Parent = Op->Asl.Parent;
845     Next = Parent->Asl.Child;
846 
847     /* Search entire scope for a match to the name */
848 
849     while (Next)
850     {
851         if ((Next->Asl.ParseOpcode == PARSEOP_METHOD) ||
852             (Next->Asl.ParseOpcode == PARSEOP_NAME))
853         {
854             if (ACPI_COMPARE_NAMESEG (Name, Next->Asl.NameSeg))
855             {
856                 return (TRUE);
857             }
858         }
859 
860         Next = Next->Asl.Next;
861     }
862 
863     return (FALSE);
864 }
865